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