Достаточность источников данных для получения информации о состоянии среды

Размер используемого шрифта в задаче

Причины изменения среды

Состояние среды

Характер изменения среды

Условные эффекты действий

Ограничение на количество предикатов

Квантифицированные эффекты

Дизъюнкции в условиях

Автоматическое упрощение логических выражений

Множество состояний

Множество шагов

Множество причинных связей

Множество защитных ограничений

Множество агентов

Выводы всегда остаются неизменными при добавлении новой информации

Всегда достоверен

Индуктивные рассуждения относятся к немонотонным рассуждениям

Может быть формализован с помощью немонотонных логик

Добавление новой информации может привести к отмене ранее сделанных выводов

Используют посылки с неопределенным истинностным значением

Правдоподобные

Всегда достоверные

Контекстно-зависимые

Поиск связей фрагментов объектов со свойствами

Построение логических выводов на основе матрицы связей

Формулирование теорем на основе матрицы связей

Формулирование гипотез о наличии или отсутствии свойств у объектов

Доопределение функции F путем заполнения ячеек значениями, отличными от τ

Гипотезы

Теоремы

Факты

Решения

Признаки

Сбор данных

Редукция множества гипотез

Подтверждение или отвержение гипотез

Выдвижение гипотез

Анализ рынка