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