Логическая форма

Логические формы — это простые логических знаний первого порядка представления предложений естественного языка, образованные соединением концептуальных предикатов, связанных посредством общих аргументов. Каждое существительное, глагол, прилагательное, наречие, местоимение, предлог и союз порождают сказуемое. Логические формы могут быть украшены значениями слов, чтобы устранить неоднозначность семантики слова. Существует два типа предикатов: события отмечаются e , а сущности — x . Общие аргументы соединяют вместе субъекты и объекты глаголов и предлогов. Пример ввода/вывода может выглядеть так:

Input:  The Earth provides the food we eat every day.
Output: Earth:n_#1(x1) provide:v_#2(e1, x1, x2) food:n_#1(x2) we(x3) eat:v_#1(e2, x3, x2; x4) day:n_#1(x4)

Логические формы используются в некоторых методах обработки естественного языка , таких как ответы на вопросы , а также в выводах как для систем баз данных , так и для систем контроля качества.

Ссылки

Василе Рус (2002). Логическая форма для словаря WordNet . доктор философии диссертация, Южный методистский университет.
Василе Рус и Дэн Молдован (сентябрь 2002 г.). «Высокопроизводительная логическая трансформация формы». Международный журнал по инструментам искусственного интеллекта . 11 (3): 437–454. дои : 10.1142/S0218213002000976 .
Дэн Молдован и Василе Рус (2001). «Преобразование логической формы wordNet и ее применимость к ответам на вопросы» . Труды ACL 2001, Тулуза, Франция . Архивировано из оригинала 13 сентября 2006 г.
Джерри Р. Хоббс (1986). «Обзор проекта ТАЦИТУС». Компьютерная лингвистика . стр. 12(3).
Василе Рус (2004). «Первая оценка систем идентификации логической формы» (PDF) . SENSEVAL-3: Третий международный семинар по оценке систем семантического анализа текста . Архивировано из оригинала (PDF) 3 ноября 2005 г.

Эта компьютерной лингвистике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .