Сложные понятия, не поддающиеся явному описанию в виде предикатных формул или отношений в диалоговых системах, описываются так называемыми ролевыми языками или аппаратом фреймов [106]. Фрейм состоит из имени понятия /, обязательных ролей р,, р2,. .., рт и необязательных ролей рт + j, pm+2. .... Рп [c.197]
Параграф 2.10 дает лишь самое общее представление о проблеме перевода текстов на естественном языке во внутренние представления. Важные соображения относительно перехода от текстов на естественном языке к записи на ЯСУ, в виде / Х-кодов, в виде формул на УСК, а также в виде предикатных выражении высказаны в работах [2.7 2.12 2.28—2.32]. Хорошее освещение проблем, связанных с построением диалоговых систем, дано в монографии [2.33]. В ней описаны отечественные системы подобного типа, отличающиеся между собой как по выбранным формам внутреннего представления информации, так и по способам построения лингвистического процессора. Обширная библиография, приведенная в монографии, поможет заинтересованному читателю продолжить знакомство с вопросами, относящимися к этой проблеме. Укажем еще на сборник [2.34], в котором помещены доклады с описанием различных подходов к построению систем общения, опирающихся на естественный язык. [c.261]
Логическое исчисление специального вида (исчисление предикатов), о котором говорилось выше, реализовано в языке программирования Пролог. Обычно логика используется для выражения высказываний, отношений между высказываниями и правил вывода одних высказываний из других. Пролог - это первая попытка разработки языка, который позволял бы программисту описывать свои задачи средствами математической логики, а не с помощью традиционных для программирования конструкций, указывающих, что и когда должна делать вычислительная машина. Способы, используемые для представления объектов в Прологе (термы), соответствуют способам, имеющимся в языке исчисления предикатов. Чтобы делать высказывания об объектах, необходимо иметь возможность описывать отношения между объектами. Это делается с помощью предикатов. Формула (атомарное высказывание) состоит из предикатного символа и соответствующего ему упорядоченного множества термов, являющихся его аргументами. В Прологе структура может быть использована и в качестве целевого утверждения, и в качестве аргумента для другой структуры. [c.43]
Работа с правилами, использующими сложную квантифицирован-ную предикатную логику времени в условиях, применимости продукций и расширенный операционный базис действий. Язык позволяет [c.185]
Та семантика, которая реализуется в УСК на метауровне, т. е. без интерпретации символов, входящих в цепочку, является недоговоренной. Она жестко задается семантикой простых ядерных конструкций и синтаксисом производной цепочки. Такое свойство УСК также отличает этот язык от языка исчисления предикатов, в котором смысл предикатных формул зависит от той или иной договоренности. Язык ситуационного управления при заданном списке базовых отношений и их интерпретации приближается в этом смысле к возможностям УСК. [c.71]