Доклад по теме: Методы поиска решений в ИС

Автор:Богдан Е.Ю.

Проверила: доц., к.т.н. Шатохина Н.К.

На данный момент весьма актуальной проблемой в области ИИ и создания ИС является проблема конструирования ИС, ориентированных на открытые и динамические предметные области, а также проблема моделирования рассуждений.

Для решения данной проблемы необходима разработка моделей, методов и программных средств представления и оперирования знаниями, базирующихся на аппарате классических и нетрадиционных логик (например, аппарат теории нечетких множеств нечеткие логики).

Методы вывода (поиска решений):

Дедуктивный вывод;

Индуктивный вывод;

Абдуктивный вывод;

Аргументация;

Вывод на основе аналогий;

Вывод на основе прецедентов.

Методы вывода (рассуждений) на основе аналогий

Аналогия (греч. analogia соответствие, сходство, подобие, близость) определяется как сходство предметов (явлений, процессов) в каких-либо свойствах.

Умозаключением на основе аналогий называется перенос знаний, полученных из рассмотрения какого-либо объекта, на менее изученный, сходный по существенным свойствам, качествам объект. Такие умозаключения являются одним из источников научных гипотез.

Рассуждение (вывод) на основе аналогий (analogous reasoning, reasoning by analogy) можно определить как метод, позволяющий понять некоторую сложившуюся ситуацию в сравнении с другой подобной ситуацией.

Часто можно встретить утверждение, что аналогия вид индукции на основе единственного примера.

Существует огромное количество разнообразных моделей, методов и схем рассуждения на основе аналогий.

Пропорция Лейбница для отношения аналогии

Пропорция Лейбница формулируется следующим образом: “Вещь А так относится к вещи В, как вещь А' к вещи В' ”.

Обычно пропорцию Лейбница представляют в виде диаграммы:

Пропорция Лейбница для отношения аналогии

Рассуждения на основе прецедентов (CBR Case-Based Reasoning) как и рассуждения на основе аналогий, базируются на понятии аналогии, однако методы их реализации имеют отличия.

Вывод на основе прецедентов является подходом, позволяющим решить новую задачу, используя или адаптируя решение уже известной задачи.

Как правило, методы рассуждений на основе прецедентов включают в себя так называемый цикл рассуждения на основе прецедентов или CBR-цикл:

извлечение наиболее соответствующего (подобного) прецедента (или прецедентов) для сложившейся ситуации из БП;

повторное использование извлеченного прецедента для попытки решения текущей проблемы;

пересмотр и адаптация в случае необходимости полученного решения в соответствии с текущей проблемой;

сохранение вновь принятого решения как части нового прецедента.