Программирование на языке Пролог для искусственного интеллекта

         

К настоящему моменту мы изучили


К настоящему моменту мы изучили нечто вроде базового Пролога, который называют еще "чистый Пролог". Он "чист", потому что довольно точно соответствует формальной логике. Расширения, преследующие цель приспособить язык к некоторым практическим нуждам, будут изучены дальше (гл. 3, 5, 6. 7). Важными моментами данной главы являются следующие:
  • Простые объекты в Прологе - это атомы, переменные
    и числа. Структурные объекты, или структуры, используются для представления объектов, которые состоят из нескольких компонент.

  • Структуры строятся посредством функторов. Каждый функтор определяется своими именем и арностью.

  • Тип объекта распознается исключительно по его синтаксической форме.

  • Область известности (лексический диапазон)
    переменных - одно предложение. Поэтому одно и то же имя в двух предложениях обозначает две разные переменные.

  • Структуры могут быть естественным образом изображены в виде деревьев. Пролог можно рассматривать как язык обработки деревьев.

  • Операция сопоставление берет два терма и пытается сделать их идентичными, подбирая соответствующую конкретизацию переменных в обоих термах.

  • Сопоставление, если оно завершается успешно, в качестве результата выдает наиболее общую
    конкретизацию переменных.

  • Декларативная семантика Пролога определяет, является ли целевое утверждение истинным, исходя из данной программы, и если оно истинно, то для какой конкретизации переменных.

  • Запятая между целями означает их конъюнкцию. Точка с запятой между целями означает их дизъюнкцию.

  • Процедурная семантика Пролога - это процедура достижения списка целей в контексте данной программы. Процедура выдает истинность или ложность списка целей и соответствующую конкретизацию переменных. Процедура осуществляет автоматический возврат для перебора различных вариантов.

  • Декларативный смысл программ на "чистом Прологе" не зависит от порядка предложений и от порядка целей в предложениях.

  • Процедурный смысл существенно зависит от порядка целей и предложений.

    Содержание  Назад  Вперед




    Forekc.ru
    Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий