Структура объекта
В грамматиках фразовой структуры , таких как обобщенная грамматика фразовой структуры , грамматика головной фразовой структуры и лексическая функциональная грамматика , структура признаков по существу представляет собой набор пар атрибут-значение . Например, атрибут с именем Number может иметь значение единственного числа . Значение атрибута может быть либо атомарным , например, символом единственного числа , либо комплексным (чаще всего это структура объектов, но также список или набор).
Структуру признаков можно представить в виде ориентированного ациклического графа (DAG), узлы которого соответствуют значениям переменных, а пути к именам переменных. Операции, определенные над структурами признаков, например унификация , широко используются в грамматиках фразовых структур. В большинстве теорий (например, HPSG ) операции, строго говоря, определяются над уравнениями, описывающими структуры признаков, а не над самими структурами признаков, хотя структуры признаков обычно используются в неформальном изложении.
Часто структуры признаков записываются так:
Здесь есть две функции: категория и соглашение . Категория имеет значение именной фразы , тогда как значение согласия обозначается другой структурой признаков, в которой число признаков и лицо имеют единственное и третье число .
Эта конкретная запись называется матрицей значений атрибутов (AVM).
Матрица имеет два столбца : один для имен объектов, а другой для значений. В этом смысле структура признаков представляет собой список пар ключ-значение. Значение может быть атомарным или другой структурой объектов. Это приводит к другому обозначению структур признаков: использованию деревьев . Фактически, некоторые системы (например, PATR-II ) используют S-выражения для представления структур признаков.
Внешние ссылки [ править ]
- «Структуры функций» Раздел Пролога онлайн -курса
- Структуры функций в кодировании текста для обмена ( TEI )