характеризующие абстрактный синтаксис (грамматику) любого языка. К ним
относятся:
ТЕРМ - лингвистический объект, обозначающий сущность;
ПРЕДЛОЖЕНИЕ - лингвистический объект, представляющий определенное
высказывание;
ФУНКТОР - лингвистический объект, который обозначает функцию от других
лингвистических объектов, имеющую в качестве аргументов (вход) список
лингвистическихобъектовивыдающуювкачествезначения(выход)
единственный уникально определенный лингвистический объект.
Функтор есть средство, позволяющее конструировать лингвистические
объекты произвольной сложности. Все, что представляется необходимым для
концептуальной схемы и информационной базы - это функторы первого уровня,
т.е. функторы, аргументами которых являются только термы и предложения
(никогда - функторы) и значениями которых являются термы или предложения
(никогда - функторы). Тем не менее, ничто из поясняемого ниже не препятствует
введению функторов высшего уровня в тех случаях, когда это требуется для
концептуальной схемы и информационной базы.
Функторыназываютсячистыми,еслиихспискиаргументоввсегда
представляют собой или только предложения, или только термы. Функторы
называются функторами подстановки, если существует шаблон, в который могут
быть подставлены элементы списка аргументов. Функторы могут быть
фиксированными или независящими от того, фиксирован список аргументов по
длине или нет.
Элементарнымифунктораминазываютсяфиксированныефункторы
подстановки первого уровня. Существуют четыре вида чистых элементарных
функторов подстановки. Это:
Очевидно, что каждый из характеризуемых выше чистых элементарных
функторов применим к концептуальным схемам. Два других вида функторов,
являющихся элементарными, но не чистыми, также важны для концептуальных
схем: кванторы и абстракторы. Переменные являются видом терма
Аргументы
Значение
Термы
Терм
Термы
Предложение
Предложения
Предложение
Предложения
Терм
Аргументы
Значение
Переменная+предложение
Предложение