Cтраница 1
Имена предикатов указывают способ увязывания этих понятий. В частности, эти имена представляют правила соединения, правила грамматики и процедуры. [1]
Пользуется популярностью другое имя предиката сопс / 3 - append. [2]
Факт состоит из имени предиката и заключенного в скобки списка аргументов - констант. [3]
Используем связывающий узел, представляющий имя предиката Подмн для представления отношения между двумя множествами, из которых первое - подмножество второго. Как Элем объявляет о принадлежности элемента множеству, Подмн означает включение одного множества в другое. Элем и Подмн отражают принадлежность множеству. [4]
Для использования стандартных предикатов необходимо знать имя предиката, способы его вызова, число и типы значений параметров, а также режимы их передачи. Режим передачи описывается обычно в виде шаблона, который показывает, какие из параметров являются входными ( в шаблоне обозначается i или вх), а какие выходными ( в шаблоне обозначается о или вых) для предиката. [5]
Цели представляются как выражения, состоящие из имен предикатов и логических связок и, или, не. Ограничения на ходы сторон - это тоже выражения, состоящие из имен предикатов и связок и и затем: связка и имеет обычный логический смысл, а затем задает порядок. [6]
Из термов с помощью предикатных символов ( имен конкретных предикатов) и символов логич. Из элементарных формул строятся более сложные формулы, при этом логич. Наиболее часто в логико-математич. & - знак конъюнкции, v - знак дизъюнкции, - ] - знак отрицания, V - квантор всеобщности, з - квантор существования. [7]
Условие - это логическое выражение, состоящее из имен предикатов, соединенных между собой логическими связками и, или, не. [8]
При графическом представлении бинарных предикатов круги иногда опускают, а имена предикатов указывают на стрелках. [9]
В записи, называемой по-английски slot-assertion ( § 3.1.6), имя предиката соответствует имени слота, а значение - значению слота. Вообще в концептуальных графах значение слота соответствует некоторому концепту. [10]
Следовательно, в процессе выявления ссылок можно не только дать явные значения аргументов и имена предикатов, но также имена представляющих высказывания логических формул. [11]
Цель заголовка какого-либо правила считается достигнутой ( как и для факта) при совпадении имени предиката, числа аргументов в нем и констант, стоящих на соответствующих местах предиката. [12]
Каждое определение взгляда дополняется спецификацией режима, состоящей из терма, основной функтор которого формируется с помощью имени головного предиката правила взгляда. Символ указывает на то, что соответствующая позиция при выполнении предиката взгляда будет означена константой. Эта информация позволяет осуществить оптимизацию при компиляции взгляда. Если при вызове предиката взгляда его динамическая пометка отличается от определенной в спецификации режима, возникает ошибочная ситуация и выполнение предиката завершается неудачей. [13]
Часто набор предположений, составляющих онтологию, имеет форму логической теории первого порядка, где термины словаря являются именами унарных и бинарных предикатов, называемых соответственно концептами и отношениями. В простейшем случае онтология описывает только иерархию концептов, связанных отношениями категоризации. В более сложных случаях в нее добавляются подходящие аксиомы для выражения других отношений между концептами и для того, чтобы ограничить их предполагаемую интерпретацию. Учитывая вышесказанное, онтология представляет собой базу знаний, описывающую факты, которые предполагаются всегда истинными в рамках определенного сообщества на основе общепринятого смысла используемого словаря. [14]
Из методических соображений было принято решение дать перевод на русский язык почти всех мнемонических аббревиатур, которые использованы автором в качестве имен предикатов, функторов структур, констант и переменных. Следует, однако, постоянно помнить о том, что в распространенных Пролог-системах использование кириллицы для обозначения незаковыченных атомов Пролога недопустимо. [15]