-
Системы, основанные на прецедентах (Case Based Reasoning)
В системах, основанных на прецедентах, баз знаний содержит описание наобобщенных ситуаций, а собственно сами ситуации или прецеденты. Тогда поиск решений проблемы сводится к поиску по аналогии (абдуктивному выводу от частного к частному).
Поиск по аналогии в системах CRB
-
Получение подробной информации о текущей проблеме
-
Сопоставление полученной информации со значениями признаков прецедентов из БЗ
-
Выбор прецедента из БЗ ,наиболее близкого к рассматриваемой проблеме
-
В случае необходимости – адаптации выбранного прецедента к текущей проблеме
-
Проверка корректности каждого полученного решения
-
Занесение детальной информации о полученном решении в БЗ.
-
Прямой логический вывод в эс на основе правила Modus Ponens.
Эффективный способ логического вывода – формирование доказательств основан на применении специальных шаблонов логического вывода, называемых правилами логического вывода. Наиболее широко известное правило называется правилом отделения (ModusPonens), которое используется в прямом и обратном алгоритмах логического вывода:
.С
помощью данного правила в процессе
логического вывода можно из двух
высказываний
и
вывести высказывание .
Алгоритм прямого вывода обычно
основан на стратегии поиска в ширину.
начинает свою работу с известных фактов, содержащихся в базе знаний. Эти факты могут рассматриваться в качестве истинных предпосылок правил, содержащихся в базе знаний.
Если для некоторой импликации становятся истинными все предпосылки, то ее заключение добавляется к базе знаний в соответствии с правилом ModusPonens.
Этот процесс продолжается до тех пор, пока к базе знаний не добавляется изначально заданный запрос q, т.е. алгоритм достигает успеха в доказательстве q, или становятся невозможными дальнейшие этапы логического вывода (новые факты не добавляются в базу знаний).
В последнем случае говорят, что алгоритм достиг фиксированной точки. Если при достижении фиксированной точки исходный запрос q не достигнут, то последний не может быть выведен из базы знаний.
Алгоритм прямого логического вывода является непротиворечивым, поскольку каждый этап логического вывода по сути представляет собой применение правила отделения (ModusPonens).
Пример прямого вывода (база знаний)
Пример миниатюрной ЭС для фондовой биржи. БЗ включает, следующие продукционные правила:
1. ЕСЛИ Процентные ставки падают, ТО Уровень цен на бирже растет.
2. ЕСЛИ Процентные ставки растут, ТО Уровень цен на бирже падает.
3. ЕСЛИ Валютный курс доллара падает, ТО Процентные ставки растут.
4. ЕСЛИ Валютный курс доллара растет, ТО Процентные ставки падают.
5. ЕСЛИ Процентные ставки федерального резерва падают И Средства федерального резерва добавлены, ТО Процентные ставки падают.
Пример прямого вывода (начальное состояние)
На основании запроса пользователя инициализируется исходное состояние рабочей памяти путем добавления в нее факта:
Валютный курс доллара падает:
Пример прямого вывода (первый шаг вывода)
После активации правила 3, и в рабочую память добавится новый факт:
Процентные ставки растут:
Пример прямого вывода (второй шаг вывода)
После активации правила 2, и в рабочую память добавится новый факт:
Уровень цен на бирже падает