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

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

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

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

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

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

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

университет„курс(информатика) у йзд:верситет_курс (алгебра) университет_курс(геометрия) университет_курс (английский) му эыка„курс(хор) муэыка_курс(сольфеджио}
И задана цель
? знает (иван,Х)
Пролог с ап оставляет цель со всеми фактами для факта «знает». Результаты всех этих сопостааленийнеуспешны , так как имя объекта * Мария => несопоставимо с именем: «Иван*. Пролог переходит к правилу. Цель и голова правила сопоставимы, так как их переменные свободны. Теперь факты правой части правила становятся подцелями. Пергой подцелью является
? знает (мария,х}
Это новая подцель, поэтому Пролог снова начинает просмотр базы знаний с первого факта для факта * знает» и находит
знает(мария,хор)
Этот факт сопоставим с подцелью. Значением переменной X становится «хор*. Однако существуют дру-
Искусственный интеллект и базы знаний____________283
тие утверждения, которые могли быть использованы для доказательства первой подцели. Поэтому Пролог устанавливает указатель отката в точку 1. С этого указателя Пролог сделает попытку найти другое решение, если вся цель окажется неуспешной.
Так как область действия переменной — это все правило, то вторая подцель есть
? университет_^урс Схор)
так как переменная X имеет значение *хор&. Все сопоставления этой подцели с фактами базы знаний неуспешны. Поэтому первая попытка доказать цель завершилась неудачей.
Пролог выполняет откат к указателю 1. Переменная X становится свободной из-за неуспешного вычисления цели. В точке, определяемой указателем отката, Пролог находит утверждение
знает (мария. сольфеджио)
и устанавливает указатель отката 2 на следующий факт для факта *энает*. Переменная X принимает значение «сольфеджио#. Подцель
?университет_курс (сольфеджио)
не может быть доказана, следовательно, доказательство цели снова привело к неудаче. Переменная X освобождается, а дяя доятЁСзтчглъегвя цедят буд&г сделная следующая попытка. Пролог выполняет откат в точку
2. Теперь первая подцель сопоставляется с фактом
знает(мария,информатика}
X получает значение «информатика», а указатель отката устанавливается в точку 3. Вторая подцель принимает вид;
?универсйтеф_курс(информатика)
Успешное сопоставление этой подцели доказывает цель. Следовательно, ответ на поставленный вопрос формулируется так: «Иван: знает информатику*, Цель
284__________________^______________________Часть 3
успешно доказана* поэтому неременная X становится свободной и может быть вновь означена при .поиске других решений.
6. В каждой конкретной реализации системы программирования на Прологе имеются свои особенности в синтаксисе языка* в правилах построений программы. Одна из распространенных версий — система Турбо Пролог! используемая на IBM PC. Кратко опишем основные правила Турбо Пролога*
Турбо Пролог допускает использование следующих символов (алфавит):
— прописные буквы латинского алфавита от А до Z*
— строчные буквы латинского алфавита от а до г;
— цифры от 0 до 9;
— специальные символы и др. (остальные
специальные символы используются в особых случаях, которые здесь не рассматриваются)*
Правила образования, имен. Имя “ последовательность букв и/и л и цифр, начинающаяся с буквы. Имена предикатов и объектов выбираются произвольно. Однако имена должны быть подобраны так, чтобы наилучшим образом отражать смысл тех понятий, которые они представляют. Имена предикатов и объектов дол-жпы начинаться со строчных букв.
Описание бкзы знгяштй на Турбо Црологе состоит из двук разделов:
— описания предикатов;
— описания утверждений: фактов и правил.
Ключевые слова predicates, clauses отмечают начало соответствующего раздела:
predicates
<описание предикатов> clauses
<факты и правила>
В разделе predicates необходимо указать имена предикатов, количество и типы аргументов {объектов).
Искусственный интеллект и базы знаний_____________285
Объекты могут иметь числовые или символьные типы, В разделе предикатов факт know (знает) должен быть представлен следующим описанием:
predicates
know(symbol,symbol}
Это описание означает, что оба аргумента предиката know относятся к символьному типу — symbol. Этот тип является одним из стандартных типов Пролога (табл. 17.1).
Таблица 17.1 Стандартные типы Турбо Пролога
Тип данных Ключевое слова Диапазон значений Примерь| использования
Символы char Любые символы *а\‘б\'с1
Целые числа integer от -32768 до 32767 -63 89
J Действитель-1 ные числа real от -1Е-307 до 1Е30Й 1.25Е27 -56478
Строки String Последователь^ ность символов 1 "Ноте"
Символические имена Symbol 1. Имя: первый символ — строчная буква 2. Последовательность CY1MBO-лов, заключенная в каеычкл flow/er "Window" —?—. —-—
Опишем на Турбо Прологе базу знаний * Знатоки* и сформулируем цель.
predicates
know (sytabol, symbol)
clauses
know(wary,informaticsJ know (шагу, algebrjl'V
256___________________________________________Часть 2
know (шагу t geometry) know(шагу,eng1ish} know (j ohn, wha. t) know (шагу,what)
Данное описание БЗ формируется вводом с клавиа туры в окне редактора. Для обозначения цели используется служебное слово goal. Цель может быть внутренняя и внешняя- Внутренние дели записываются непосредственно в текст БЗ между разделами predicates и clauses. В таком случае программа выполняется автоматически при запуске на исполнение, доказываются все цели и выполнение программы завершается.
Предыдущая << 1 .. 80 81 82 83 84 85 < 86 > 87 88 89 90 91 92 .. 147 >> Следующая