Предикатные языки

Сложные понятия, не поддающиеся явному описанию в виде предикатных формул или отношений в диалоговых системах, описываются так называемыми ролевыми языками или аппаратом фреймов [106]. Фрейм состоит из имени понятия [c.197]

В диалоговых системах, базирующихся на естественном языке, в вопросно-от-ветных системах нашли применение языки предикатов. Предикатные языки эффективно описывают формальные математические тексты. Разнообразие свойств и состояний производственно-экономических систем, неоднозначность и множественность внешних и внутренних связей и преобразований практически исключают возможность использования предикатных языков для описания экономической среды. [c.196]

Прежде чем перейти к изложению основного материала, нам хотелось бы снабдить читателя кратким его рефератом, т. е. чем-то вроде путеводителя. Ввиду того, что часто (а в этом реферате исключительно) примеры заимствуются из естественного языка, нам важно иметь в качестве фундамента всего построения ассерторический аппарат. Детали эротетической программы зависят от природы и содержания этого аппарата. В работе используется прикладное исчисление предикатов первого порядка с равенством, в котором имеются как функциональные, так и предикатные константы и которое расширено логическими средствами для различения категорий. [c.14]

Язык Ь содержит не более чем счетное множество индивидных констант и счетное множество индивидных пгре-менных. Для обозначения индивидных переменных из Ь в качестве метаязыковых переменных употребляются символы w, X, у и 2, иногда с индексами. Язык 1 содержит также списки п-арных функциональных и п-арных предикатных констант. Для первых в качестве метаязыковых переменных используются символы f и g, а для вторых — символы Р и О, арности которых могут определяться из контекста. В Ь входят следующие символы = для обозначения равенства, —для конъюнкции, V — для дизъюнкции,-(или иногда — для отрицания, з — для материальной импликации и = — для материальной эквиваленции. Далее, язык Ь имеет символы з и у, которые употребляются соответственно для обозначения квантора существования дл и квантора общности ух. Скобки используются обычным образом, а термы и формулы определяются, как обычно, рекурсивно, за одним, однако, исключением если А-,, , А — формулы, то мы полагаем, что не только (Лх Ла), но также и (Л . . . Л ) являются формулами. Аналогично формулой считается выражение [c.18]

Программа на ПРОЛОГе состоит из двух основных конструкций фактов и правил. Факт — это структура, завершающаяся символом точка . Факты представляют собой те данные, с которыми оперирует программа. Совокупность фактов, относящихся к некоторой задаче ПРОЛОГа, называется базой данных ПРОЛОГа. С помощью фактов описываются свойства объектов и отношения между ними. Факт, состоящий из структуры с одним элементом, обычно описывает некоторое свойство, например факт трубопровод (Р) определяет, что объект Р имеет свойство быть трубопроводом . Этот факт можно интерпретировать на естественном языке так Р есть трубопровод , или более строго так Высказывание Р есть трубопровод истинно . Факты с более чем одним элементом описывают взаимосвязи объектов (отношения между ними) [6]. Рассмотрим пример сложного предикатного выражения состояние (вентиль 4, открыт), трубопровод (трубопровод 5). источник (вх поток, вентиль 4, он есть 3). температура (вх поток, вентиль 4, нормальный). [c.219]

В последние годы при разработке фреймовых ЯПЗ для математической формализации ФР используют A- < i v h [13,15, 82, 83]. Каждому <1 Р соответствует свое -опрсдсяснио> ( выражение ). В основе разработанного формализованного языка представления ФР лежит использование Х-конверсии , основными достоинствами которой являются простота понимания и универсальность. В данной системе поддерживается предикатная трактовка ФР и конкретизируется его понятие. ФР рассматривается как ориентированный граф, в котором помечены вершины и дуги. Одна из вершин выделена для предикатного символа. Остальные вершины предназначены для ар17ментов, находящихся в некотором падежном отношении (метка на дуге) с выделенным предикатом. Каждая вершина имеет область допустимых значений, называемую сортом. Сорта, или типы, переменных используются в МПЗ для повышения эффективности алгоритмов поиска знаний и вывода решений (83[. В исчислении предикатов сорта переменных не рассматриваются, а поэтому исчисление предикатов мол/сно рассматривать как односортную логику. С принципиальной точки зрения, сорта переменных могут быть исключены путем введения соответствующих одноместных предикатов. Однако с введением таких дополнительных предикатов падает эффективность алгоритмов поиска решений и вывода. [c.240]

Справочник химика 21

Химия и химическая технология