Системы искусственного интеллекта

Основным встроенным механизмом, обеспечивающего ра­боту программы, является механизм сопоставления или уни­фикации. Два терма сопоставимы, если они либо идентичны, либо переменны, в обоих термах можно принимать в качестве зна­чений (конкретизировать) объекты таким образом, чтобы по­сле подстановки эти термы стали идентичными. Например, цель: likes(X,Y) при наличии предложений: likesfKat, Mary) likesf Pete, Steve) Процесс работы программы - есть последовательное дока­зательство цели, указанной в предложении goal. Доказательст­во цели требует доказательства промежуточных подцелей, и т.д. Язык Prolog имеет древовидную структуру. Процесс работы программы удобнее всего представить в виде дерева, вершины которого — промежуточные цели, дос­тигаемые или нет при помощи механизма унификации. Существует два типа утверждений: факты и правила. Факт представляется в виде предиката. Например, предложения «Игорь — отец Святослава» записывается в виде «father («Igor», «Sviato-slav»)». Здесь father — имя предиката. Игорь и Святослав — представляют собой символьные константы. Система программирования Turbo Prolog включает в себя: • интегрируемую среду разработки, отладки и выполне­ния логических программ; • язык логического программирования Turbo Prolog. Оболочка Turbo Prolog включает в себя главное меню, со­стоящее из следующих пунктов: • Files — меню загрузки файлов; • Edit — вход в диалоговое окно редактора; • R U N — запуск программы; • Options — опции; • Setup — настройки. А л ф а в и т языка Turbo Prolog состоит из: 1) прописных и строчных букв (учитывается регистр); 29