Базы знаний на ЭВМ

Вопросы

1. Могут ли машины думать?

2. Что такое «искусственный интеллект»?

3. Что такое экспертные системы?

4. Что такое предикат?

5. Что такое импликация?

6. Когда истинна импликация?

7. В чем состоит закон логического вывода?

8. В чем заключен принцип логического вывода?

9. Как выводятся отрицания предпосылок?

Задания

1. Найдите в Интернет шахматную программу и попробуйте сыгрыть с ней в шахматы.

2. Найдите в шахматном программе:

а) уровень, когда Вы стабильно обыгрываете ЭВМ;

б) уровень, когда Вы играет с ЭВМ на равных.

3. Составьте таблицы истинности для утверждений:

а) А → (не В);

б) не (А → В);

в)(не А) → В;

г)(не А) → (не В).

4. Сравните с помощью таблиц истинности логические выражения:

а) А → (не В) и(не А) → В;

б) не (А → В) и(не А) → (не В).

5. Проверьте по таблицам истинности логические законы:

а) отрицание импликации:

не (А (В) ≡(не В) → (не А);

б) двойная импликация:

(А → А) ≡ А.

Основная перспектива развития механизмов поиска информации в Интернет и баз данных на ЭВМ — создание более универсальных языков запросов, все более приближающихся к обычным естественным языкам по выразительным возможностям. Эта идея лежала в основе японского проекта ЭВМ пятого поколения.

Одним из основных в японском проекте ЭВМ являлось понятие баз знаний, принятых в языке Пролог, а также экспертных систем, моделирующих поведение экспертов в некоторой предметной области знаний или профессиональной деятельности.

База знаний в ЭВМ — это совокупность фактов и правил вывода, хранящихся в памяти ЭВМ. С математической точки зрения базы знаний могут описываться в форме наборов предикатов и правил логического вывода.

Содержание баз знаний составляют конкретные и обобщенные факты и сведения об определенной предметной области или сфере деятельности. Примеры предметных областей — семья, школа, вуз, магазин, рынок, ферма, фирма, завод, офис, банк и т. п.

Любая база данных в ЭВМ может быть описана набором предикатов, описывающих имеющиеся в ней сведения. Примеры записи конкретных фактов в форме предикатов:

мама (Люба, Оля) — Люба — мама Оли

папа (Вова, Лена) — Вова — папа Лены

оценка (Вова, физика, 5) — Вова имеет 5 по физике

оценка (Лена, русский, 5) — У Лены 5 по русскому языку

любит (Лена, музыка) — Лена любит музыку

Перечисленные предикаты в языке Пролог называются фактами. Факты в Прологе — это конкретные предикаты с конкретными значениями. В качестве значений предикатов могут выступать слова, числа и словосочетания, в которых слова соединяются знаком подчеркивания.

Вопросы в языке Пролог — это запросы к базам данных и базам знаний в ЭВМ. С точки зрения математики любой вопрос на Прологе — это некоторое суждение об объектах, хранящихся в базе знаний.

Эти суждения могут быть истинными или ложными. Задача системы Пролог состоит в том, чтобы найти такие конкретные значения, которые дают положительные ответы на указанные вопросы.

Примеры простых вопросов на языке Пролог и ответов на них ЭВМ, в памяти которой содержится указанная выше группа фактов (предикатов):

? папа (х, Лена) — Кто папа Лены?

х = Вова

? мама (х, Лена) — Кто мама Лены?

Дата добавления: 2014-11-25