 |
 |
 |
 |
|
 |
 |
57
программирования Пролог, который в 90-х годах был принят японским правительством в основу
проекта нового поколения ЭВМ.
Вопросы
1. Могут ли машины думать?
2. Что такое «искусственный интеллект»?
3. Что такое экспертные системы?
4. Что такое предикат?
5. Что такое импликация?
6. Когда истинна импликация?
7. В чем состоит закон логического вывода?
8. В чем заключен принцип логического вывода?
9. Как выводятся отрицания предпосылок?
Задания
1. Найдите в Интернет шахматную программу и попробуйте сыгрыть с ней в шахматы.
2. Найдите в шахматном программе:
а) уровень, когда Вы стабильно обыгрываете ЭВМ;
б) уровень, когда Вы играет с ЭВМ на равных.
3. Составьте таблицы истинности для утверждений:
а) А > (не В);
б) не (А > В);
в) (не А) > В;
г) (не А) > (не В).
4. Сравните с помощью таблиц истинности логические выражения:
а) А > (не В) и (не А) > В;
б) не (А > В) и (не А) > (не В).
5. Проверьте по таблицам истинности логические законы:
а) отрицание импликации:
не (А (В)
?
(не В) > (не А);
б) двойная импликация:
(А > А)
?
А.
3.4. Базы знаний на ЭВМ
Основная перспектива развития механизмов поиска информации в Интернет и баз данных на ЭВМ
— создание более универсальных языков запросов, все более приближающихся к обычным
естественным языкам по выразительным возможностям. Эта идея лежала в основе японского проекта
ЭВМ пятого поколения.
Одним из основных в японском проекте ЭВМ являлось понятие баз знаний, принятых в языке
Пролог, а также экспертных систем, моделирующих поведение экспертов в некоторой предметной
области знаний или профессиональной деятельности.
База знаний в ЭВМ
— это совокупность фактов и правил вывода, хранящихся в памяти ЭВМ. С
математической точки зрения базы знаний могут описываться в форме наборов предикатов и правил
логического вывода.
Содержание баз знаний составляют конкретные и обобщенные факты и сведения об определенной
предметной области или сфере деятельности. Примеры предметных областей — семья, школа, вуз,
магазин, рынок, ферма, фирма, завод, офис, банк и т. п.
Любая база данных в ЭВМ может быть описана набором предикатов, описывающих имеющиеся в
ней сведения. Примеры записи конкретных фактов в форме предикатов:
мама (Люба, Оля)
— Люба — мама Оли
папа (Вова, Лена)
— Вова — папа Лены
оценка (Вова, физика, 5)
— Вова имеет 5 по физике
оценка (Лена, русский, 5)
— У Лены 5 по русскому языку
любит (Лена, музыка)
— Лена любит музыку