Анализ аргументов
Поиск аргументов Определение и цели интеллектуального анализа аргументов Интеллектуальный анализ аргументов – это область исследований, которая автоматизирует извлечение аргументативных структур […]
Вики
Технология аргументации
Вики
Теория риторической структуры
Теория риторической структуры Сопоставление бизнес-решений Визуализация данных Графическая коммуникация Инфографика Информационный дизайн Визуализация знаний Ментальная модель Морфологический анализ Онтология (информатика)
Вики
Машинная этика
Машинная этика Определение и важность этики ИИ Этика ИИ – это изучение и применение этических принципов к системам искусственного интеллекта.
Вики
Компьютерное доказательство
Компьютерное доказательство Компьютерное доказательство – математическое доказательство, частично сгенерированное компьютером. Большинство компьютерных доказательств основаны на реализации больших доказательств путем исчерпания
Вики
Помощник по доказательствам
Помощник по проверке Помощник по доказательству или интерактивный проверяющий теорем – программный инструмент для разработки формальных доказательств. Включает в себя