Cтраница 3
В дальнейшем нас интересует исключительно представление бинарных предикатов. Добавим несколько штрихов по поводу терминологии, широко используемой для концептуальных графов бинарных предикатов. Вообще имя бинарного предиката представляет некую функцию. Узел концептуального графа, указывающий это имя, называется связывающим узлом, ибо он связывает два концепта, представленных двумя аргументами бинарного предиката. Функция, представленная этим связывающим узлом, носит по той же причине название концептуального отношения. Термины имя бинарного предиката и аргумент, представляющие соответственно функцию и концепт, часто заменяют на связывающий узел и узел-концепт в графическом представлении. [31]
В данной записи любое имя в угловых скобках представляет собой тип синтаксического объекта. В правой части каждой записи приводятся возможные способы организации синтаксически корректных объектов определяемого типа. Альтернативные варианты разделены знаком, который можно интерпретировать как ИЛИ. Номера идентификаторов следует трактовать в том смысле, что идентификаторы, используемые для обозначения объектов разных типов, должны быть различимыми. Например, константы обозначаются именами идентификатор. Имена переменных идентификатор2 должны начинаться, например, с заглавной буквы. Имена предикатов идентификатор4 должны состоять из прописных букв. Функции, как и предикаты, задают некоторую связь между переменными или константами. Но эта свять или отношение не характеризуются истинностным значением. С помощью функции можно представить сложный объект, например, функция fbook ( Author, Tytle, Publisher, Year) представляет набор информации, характеризующей книгу. Предикат и функция отличаются также на синтаксическом уровне, а именно: функции могут являться аргументами предикатов ( т.е. термами), а предикаты - нет. Следует заметить, что в логике предикатов более высоких порядков по сравнению с первым аргументами предикатов могут быть другие предикаты. Функции с нулевым числом мест ( аргументов) являются аналогами констант. Предикат без аргументов эквивалентен высказыванию. [32]