2Языки систем искусственного интеллекта

2.1 Общие сведения о языках сии

Модели представления знаний могут быть реализованы программно на процедурно-ориентированных алгоритмических языках. С их помощью можно интерпретировать любую модель представления знаний, т.к. в этих языках (FORTRAN, PL1, РАSCAL) ясно выделяется декларативная часть (описания), так и процедуральная часть (последовательность операторов, реализующих алгоритм).

Однако, высокая сложность и большая трудоемкость таких интерпретаций делает затруднительным создание практически полезных СИИ.

Стремление к эффективной программной реализации моделей представления знаний привело к разработке большого числа языков представления знаний (ЯПЗ) от простых, предназначенных для решения отдельных специальных задач, до мощных универсальных.

Общими свойствами ЯПЗ высокого уровня являются:

- наличие средств описания типов данных и процедур управления более сложных, чем в универсальных языках программирования;

- наличие встроенных механизмов представления поиска и обработки информации;

- наличие средств построения дедуктивных алгоритмов.

Языки СИИ можно условно разделить на три группы:

1. Языки обработки символьной информации. Характерными предспредставителями этой группы являются LISP, РЕФАЛ,SNOBOL.

2. Языки, ориентированные на поиск решения в пространстве состояний и доказательство теорем. К ним относятся PLANNER, QLISP, QA-4 и др.

3. Языки представления знаний "общего" назначения - KPL, FRL. Их иногда называют языками 2-го поколения, т.к. хронологически они появились позднее указанных выше языков и, соответственно, используют более поздние идеи ИИ.

Большинство языков 2 и 3 группы являются расширением языка LISP, либо активно используют написанные на LISP присоединенные процедуры. Последнее время для ИИ все чаще используют PROLOG. Его характерная особенность - наличие нескольких равноправных семантик. Текст на PROLOG может трактоваться как декларативное описание отношений.

Если для описания задачи требуется 100 и более отношений, то PROLOG-программа становится чрезвычайно громоздкой и сложной для понимания, что затрудняет ее модификацию и снижает надежность. Поэтому трудно ожидать, что PROLOG станет доминирующим языком представления знаний. По-видимому, он займет место рядом с языком LISP и его диалектами.

2.2 Язык лисп

ЛИСП - язык программирования, разработанный Джоном Маккарти и его студентами во время его работы в Массачусетском технологическом институте. Существует много диалектов языка ЛИСП, таких как muLISP, InterLISP, CommonLISP и др. Такие компании как Data General, DEC, Hewlett Packard, Texas Instruments, XEROX поставляют версии Common- LISP для своих машин. Все это позволяет утверждать,что серьезное программирование на ЛИСПе перестало быть "привелегией избранных".

В настоящее время область применения ЛИСПа все более расширяется, не ограничиваясь только ИИ. Прежде чем приступить к изучению языка программирования, следует выяснить, каков он:

слишком старый и, следовательно, несовременный, или слишком молодой и, потому недостаточно сформировавшийся.

Многие, вероятно, будут удивлены, что ЛИСП берет начало с конца 50-х гг. и, следовательно, ЛИСП такой же старый, как ФОРТРАН.