Естественно-языковые системы. Евдокимова И.С. - 18 стр.

информации, т.е. нечетких посылках. Еще один тип неопределенности может появляться при
агрегации правил, исходящих от разных источников знаний или от разных экспертов. Эти
правила могут быть противоречивыми или избыточными.
     Различие между декларативным и процедурным представлением можно выразить как
различие между «знать что» и «знать как». Каждое представление имеет свои достоинства и
недостатки. В заключение необходимо отметить, что деление моделей представления знаний
на декларативные и процедурные весьма условно, так как стремление наиболее полно
использовать достоинства обоих видов представления знаний привело к разработке
смешанных представлений, т.е. декларативных представлений с присоединенными
процедурами (например, фреймовые модели и модели, использующие расширенные
семантические сети).
     Оптимальное решение задачи выбора: первый прототип реализуется на
специализированных средствах, и в случае достаточной эффективности этих средств на них
могут быть написаны действующий прототип, и даже промышленная система. Однако в
большинстве случаев прототип следует "переписать" на традиционных средствах.

Программные средства создания ЕЯ-систем
     Рассмотрим наиболее известные и широко применяемые программные средства
искусственного интеллекта.
     Язык программирования Лисп. Самое популярное средство для программирования
систем ИИ. Создан в 60-х годах американским ученым Дж. Маккарти и его учениками.
Наиболее известными диалектами этого языка являются InterLisp, QLisp, CommonLisp. На
языке Лисп написаны многие ЭС (Mycin, Internist, Kee), системы естественно-языкового
общения (Margie, Shrdlu, Дилос), интеллектуальные ОС (Flex).
     Популярность Лиспа объясняется тем, что он с помощью довольно простых
конструкций позволяет писать сложные и изящные системы обработки символьной
информации. Правда все Лисп-системы имеют низкую вычислительную эффективность.
     Существенной особенностью языка Лисп является то, что здесь "данные" и
"программы" внешне ничем не отличаются друг от друга. Это дает возможность писать на
Лиспе программы, манипулирующие не только "данными", но и "программами". Именно
данное свойство позволяет Лиспу стать изящным средством программирования систем ИИ.
     Язык программирования FRL (Frame Representation Language). Относится к классу
фрейм-ориентированных языков. Фрейм в FRL - это совокупность поименованных,
ассоциативных списков, содержащая до пяти уровней подструктур. Подструктурами
фреймов могут быть слоты, аспекты, данные, комментарии и сообщения.
     Важным свойством FRL является наличие в нем встроенного механизма "наследования
свойств". Т.е. все понятия предметной области в БЗ организовываются в виде иерархической
классификационной системы, где каждое общее (родовое) понятие связывается с более
конкретным (видом). Применяется механизм наследования свойств.
     На сегодняшний день большинство FRL-систем написаны на Лиспе.
     Язык программирования Пролог. Наиболее известные Пролог - системы: MProlog,


                                            18