Реификация (поиск информации)

В поиске информации и обработке естественного языка овеществление — это процесс, посредством которого абстрактное представление о человеке, месте или предмете превращается в явную модель данных или другой объект, созданный на языке программирования, например набор функций демографического ^[1] или психографический ^[2] атрибуты или и то, и другое. Посредством овеществления нечто, что ранее было неявным, невыраженным и, возможно, невыразимым, явно формулируется и становится доступным для концептуальных (логических или вычислительных) манипуляций.

Процесс, посредством которого высказывание на естественном языке преобразуется так, что действия и события в нем становятся измеримыми переменными, называется семантическим анализом . ^[3] Например, фразу «Джон яростно гонялся за уткой» можно преобразовать во что-то вроде

(Существует e)(погоня(e) & Past_tense(e) & актер(e,Джон) & яростно(e) & пациент(e,утка)).

Другой пример: «Салли сказала, что Джон злой», что можно выразить примерно так:

(Существует u,v)(высказывание(u) & Past_tense(u) & актер(u,Sally) & that(u,v) & is(v) & актер(v,John) & среднее(v)).

Такие формальные представления значения позволяют использовать инструменты классического исчисления предикатов первого порядка даже для утверждений, которые из-за использования времени, модальности, наречных конструкций, пропозициональных аргументов ( например , «Салли сказала, что X») и т. д. казались неразрешимыми. Это преимущество, поскольку исчисление предикатов лучше понятно и проще, чем более сложные альтернативы (логики более высокого порядка, модальная логика, темпоральная логика и т. д.), и существуют более совершенные автоматизированные инструменты ( например, автоматизированные средства доказательства теорем и средства проверки моделей ) для манипулирования. это.

Представления значений могут использоваться для других целей, помимо применения логики первого порядка; Одним из примеров является автоматическое обнаружение синонимичных фраз. ^[4]^[5]

Смысловые представления иногда называют квазилогическими формами , а экзистенциальные переменные иногда рассматриваются как константы Скулема . ^[5]

Не все конструкции естественного языка допускают единый перевод в логику первого порядка. см . в предложении «Осел» Примеры и обсуждение .

См. также [ править ]

Ссылки [ править ]

^ http://cs.iit.edu/~culotta/pubs/culotta15predicting.pdf
^ https://arxiv.org/abs/2403.14380
^ https://cs.stanford.edu/~pliang/papers/executable-cacm2016.pdf
^ Декан Лин и Патрик Пантел, «DIRT – обнаружение правил вывода из текста», (2001) KDD01-Материалы седьмой международной конференции ACM SIGKDD по открытию знаний и интеллектуальному анализу данных
^ Jump up to: Перейти обратно: ^а ^б Хойфунг Пун и Педро Домингос «Семантический анализ без присмотра» (2009) EMNLP09: Материалы конференции 2009 года по эмпирическим методам обработки естественного языка

[Culotta-1] ttp://cs.iit.edu/~culotta/pubs/culotta15predicting.pdf

[Salvi-2] ttps://arxiv.org/abs/2403.14380

[Liang-3] ttps://cs.stanford.edu/~pliang/papers/executable-cacm2016.pdf

[4] Декан Лин и Патрик Пантел, «DIRT – обнаружение правил вывода из текста», (2001) KDD01-Материалы седьмой международной конференции ACM SIGKDD по открытию знаний и интеллектуальному анализу данных

[Poon-5] Jump up to: Перейти обратно: ^а ^б Хойфунг Пун и Педро Домингос «Семантический анализ без присмотра» (2009) EMNLP09: Материалы конференции 2009 года по эмпирическим методам обработки естественного языка

[1]

[2]

[3]

[4]

[5]