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