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

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

Вход: Земля дает нам пищу, которую мы едим каждый день.Выход: земной шар: n_ # 1 (x1) предоставлять: v_ # 2 (e1, x1, x2) еда: n_ # 1 (x2) мы(x3) есть: v_ # 1 (e2, x3, x2; x4) день: n_ # 1 (x4)

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

Оценки

СЕНСЕВАЛ-3 в 2004 году представил.

Рекомендации

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