Книги
чёрным по белому
Главное меню
Главная О нас Добавить материал Поиск по сайту Карта книг Карта сайта
Книги
Археология Архитектура Бизнес Биология Ветеринария Военная промышленность География Геология Гороскоп Дизайн Журналы Инженерия Информационные ресурсы Искусство История Компьютерная литература Криптология Кулинария Культура Лингвистика Математика Медицина Менеджмент Металлургия Минералогия Музыка Научная литература Нумизматика Образование Охота Педагогика Политика Промышленные производства Психология Путеводители Религия Рыбалка Садоводство Саморазвитие Семиотика Социология Спорт Столярное дело Строительство Техника Туризм Фантастика Физика Футурология Химия Художественная литература Экология Экономика Электроника Энергетика Этика Юриспруденция
Новые книги
Цуканов Б.И. "Время в психике человека" (Медицина)

Суворов С. "Танк Т-64. Первенец танков 2-го поколения " (Военная промышленность)

Нестеров В.А. "Основы проэктирования ракет класса воздух- воздух и авиационных катапульных установок для них" (Военная промышленность)

Фогль Б. "101 вопрос, который задала бы ваша кошка своему ветеринару если бы умела говорить" (Ветеринария)

Яблоков Н.П. "Криминалистика" (Юриспруденция)
Реклама

Преподавание базового курса информатики в средней школе - Семакин И.Г.

Семакин И.Г., Шеина Т.Ю. Преподавание базового курса информатики в средней школе — Бином лаборатория знаний, 2004. — 542 c.
ISBN 5-94774-093-1
Скачать (прямая ссылка): prepodavaniyebazovogokursa2004.pdf
Предыдущая << 1 .. 79 80 81 82 83 84 < 85 > 86 87 88 89 90 91 .. 147 >> Следующая

Правила: знает(иван,Х):- знае^(мария,X)
Здесь используются предикаты — конструкции вида: имя (аргументы). Предикат обозначает некоторое отношение между аргументами или свойство (если аргумент один).
Сформулируем цель: знает ли Иван английский язык?
Искусственный интеллект и базы знаний____________279
?экает(иван,английский!
Это цель первого типа, на которую может быть получен альтернативный ответ «да* или «нет».
Поиск ответа заключается в доказательстве цели, Это значит, что Пролог-система на основании базы знаний пытается доказать справедливость факта, записанного в формулировке цели. Если факт доказывается, то выдается ответ «да», в противном случае — «нет» *
Пролог ищет в БЗ факты и заголовки правил, сопоставимые с целью. Два предиката сопоставимы {или соответствуют друг другу), если выполняются следующие три условия:
1. Предикаты имеют одинаковые кшена (побуквенное совпадение).
2. Предикаты имеют одинаковое число аргументов.
3. Аргументы, расположенные э одинаковых позициях, сопоставимы. Сопоставление аргументов осу-ществдяется по следующим правилам:
3,1- Имена конкретных объектов сопоставимы» если они совпадают;
3,2. Переменная сопоставима с именем конкретного объекта;
3*3- Переменная сопоставима с другой переменной; 3.4. Переменная и константа сопоставимы с пустым аргументом (_).
Пролог просматривает утверждения в том порядке, в каком о ни вводились в базу знаний {на печатной странице это соответствует просмотру сверху вниз). Поэтому сначала сравнивается цель
?знает(иван,английский)
и факт
знает Садария, английский.)
200___________________________________________Часть г
Первые аргументы несопоставимы (см. правило 3.1). Следовательно, попытка сод оставить цель и факт неуспешна. Такой же результат дают сопоставления и с другими фактами БЗ. Последовательно просматривая базу, система выходит на правило:
знает?иваы,Х):- эяает(мария,X)
Цель и заголовок правила сопоставимы» так как выполнены условия 1, 2 и 3.2* В результате сопоставления переменная X означиваете^ то есть прижимает значение * английский*. Теперь каждому появлению переменной X в правиле соответствует значение #английский*:
знает(иван,английский!: знает(мария,английский)
На следующем этапе Пролог должен проверить истинность тела правила для того, чтобы доказать или опровергнуть его голову. Следовательно, теперь нужно доказывать дополнительную цель (подцель)
?знает (мария, английский)
которая создается самим Прологом. Для доказательства подцели Пролог скова просматривает базу знаний и находит факт
знает (мария, английский)
который сопоставим с подцелью. Из доказательства подцели следует, что исходная цель доказана* Значит, иа первоначально поставленный вопрос получен по* ложительный ответ *да».
Теперь обсудим работу механизма вывода Пролога при поиске ответа на вопросы второго типа. Требуется узнать» какие дисциплины знает Мария. Соответствующая цель записывается так:
?знает(мария,Х)
Пролог-система ищет все возможные значения переменной X, при которых доказывается цель.
Искусственный интеллект и базы знаний___________281
Сначала у переменной дели X нет значения, В этом случае говорят, что переменная не означена. Неозвученные переменные называют свободными.
Пролог сопоставляет цель с первым фактом. Согласно правилам сопоставление дает положительный результат. После этого переменная X перестает быть свободной, она связывается с объектом «английский», Пролог выводит на экран имя этого объекта как первый результат.
Теперь необходимо найти другой объект, который могла бы обозначать переменная X. Это значит, что Пролог должен * забыть & о том, что переменная X связана с объектом «английский» и снова продолжить поиск с веоз каченной переменной X. Таким образом, неременная вновь становится свободной, если цель успешно доказана.
Следующий факт, соответствующий цели;
знает(мария,информатика)
I
Переменная X означивается объектом * информатика*. Пролог выводят новое значение переменной, «забывает* о том, что X обозначает «информатика» и снова продолжает поиск со свободной переменной X. В результате сопоставления цели и третьего факта переменная X означивается объектом «муэлка**
В нашем дримере нет больше информации о том, что знает Мария, поэтому Пролог завершает поиск.
Теперь рассмотрим алгоритм механизма вывода йри получении ответа на вопрос к базе знаний, содержащей сложные правила с конъюнкцией*
Дополним базу знаний о Марии и Иване новой информацией. Будем считать, что Мария учится в университете и музыкальном училище. Для изучаемых курсов введем предикаты;
университет_курс (X)
му эыка_курс(Y)
282__________________________________________Часть а
смысл которых заключается в следующем: курс X изучается в университете, а курс У — в музыкальном училище.
Новая база знаний теперь выглядит так:
знает(мария,хор)
(1) знает(мария,сольфеджио)
(2;) з на ет(мария, информатик а)
{2 ) з яа.ет (мария, алг ебра)
знает (мария, геометрия) знает (марля, английский) знает(иван f X} ; -знает (мария, X), университет_курс ( X } .
Предыдущая << 1 .. 79 80 81 82 83 84 < 85 > 86 87 88 89 90 91 .. 147 >> Следующая