Лекция 9

Контрольные вопросы и задание.

Выводы по 3-ой главе.

Линейная по входу стратегия.

Линейное по входу опровержение - это опровержение в котором по крайней мере одно родительское предложение в каждой резольвенте принадлежит базовому множеству.

В этом случае число предложений на первом уровне равно числу предложений на первом уровне как при стратегии полного перебора, а затем число предложений снижается.

Рис.15. Линейная по входу стратегия

Линейная по входу стратегия наиболее распространена из-за своей простоты и эффективности.

Преимущества и ограничения метода резолюций:

Преимущества:

1.Является системным и теоретически обоснованным.

2.Простой алгоритм.

3.Возможно любое направление при доказательстве; как от исходного предложения к целевому, так и наоборот.

Недостатки:

1.Невозможно объединить единую эффективную стратегию для всех задач.

2.Эффективность резко падает с увеличением числа предложений.

3.5.1. Расскажите о логических способах представления знаний. Укажите преимущественную область применения логической модели.

3.5.2. Проведите формализацию небольшого фрагмента знаний средствами логики высказываний (логики предикатов).

Глава 4 Представление и вывод знаний в системах искусственного

Дата добавления: 2015-06-27