Argument technology

Вики

Анализ аргументов

Поиск аргументов Определение и цели интеллектуального анализа аргументов Интеллектуальный анализ аргументов — это область исследований, которая автоматизирует извлечение аргументативных структур […]

Вики

Теория риторической структуры

Теория риторической структуры Сопоставление бизнес-решений Визуализация данных  Графическая коммуникация  Инфографика  Информационный дизайн  Визуализация знаний  Ментальная модель  Морфологический анализ  Онтология (информатика) 

Вики

Машинная этика

Машинная этика Определение и важность этики ИИ Этика ИИ — это изучение и применение этических принципов к системам искусственного интеллекта. 

Вики

Компьютерное доказательство

Компьютерное доказательство Компьютерное доказательство — математическое доказательство, частично сгенерированное компьютером.  Большинство компьютерных доказательств основаны на реализации больших доказательств путем исчерпания

Вики

Помощник по доказательствам

Помощник по проверке Помощник по доказательству или интерактивный проверяющий теорем — программный инструмент для разработки формальных доказательств.  Включает в себя

Вики

Проект Дебатер

Участник обсуждения проекта Project Debater — проект IBM по искусственному интеллекту для участия в дебатах с опытными участниками.  Проект является

Прокрутить вверх