Вот мы и добрались до третьей части конспекта по мотивам книги С. Рассела и П. Норвига "Искуственный интеллект. Современный подход", для удобства чтения разбитого на несколько отдельных фрагментов.
В нем речь пойдет об одной из наиболее важных проблем, стоящей перед разработчиком ИИ, а именно том, из чего складывается представление ИИ об окружающем мире, что следует включить в эту модель, и, наконец, о том, как заставить ЭВМ делать из этого какие-то выводы.
Первую и вторую части конспекта можно найти здесь >>
Резюме:
- Агент, основанный на знаниях, руководствуется "встроенной" базой знаний, а также алгоритмами логического вывода, позволяющими пополнить БЗ новыми фактами.
- Метод резолюций - мощный, хотя и достаточно громоздкий метод получения новых высказываний в БЗ посредством устранения противоречий. Требует предварительного приведения исходных выражений к конъюктивной нормальной форме (КНФ) и позволяет удалить не более одной пары взаимоисключающих высказываний за раз.
- Если в результате применения алгоритма резолюции все высказывания оказались взаимно уничтожены, то такое множество называется невыполнимым.
- Хорновское выражение - дизъюнкция литералов, содержащая не более одного положительного (т.е. без знака отрицания) значения.
- Прямой алгоритм логического вывода осуществляет поиск в пространстве состояний, начиная с исходного состояния. Обратный логический вывод раскручивает ту же последовательность в обратном порядке, начиная с целевого состояния.
- Логика высказываний оперирует отдельными фактами, принимающими значения True либо False. Логика первого порядка использует факты, объекты и отношения между ними.
- Термом называется логическое выражение, относящееся к некоторому объекту или объектам.
Продолжение следует...