Forma logica

Una forma logica è una rappresentazione in logica del prim'ordine di una frase in lingua naturale. Tale rappresentazione è costituita dalla congiunzione logica di predicati concettuali correlati da argomenti comuni. Nomi, verbi, aggettivi, avverbi, pronomi, preposizioni e congiunzioni in una frase danno luogo a un predicato. Le forme logiche possono essere "decorate" con significati per disambiguare la semantica delle parole. Un esempio di forma logica è il seguente:

Frase in lingua naturale:  Luigi mangia la minestra.
Forma logica corrispondente: Luigi:n_#1(x1) mangia:v_#2(e1, x1, x2) minestra:n_#1(x2)

Le forme logiche sono utilizzate da tecniche di elaborazione del linguaggio naturale quali il question answering, l'inferenza, ecc.

Valutazioni

SENSEVAL-3 Archiviato il 16 dicembre 2008 in Internet Archive., la competizione internazionale di disambiguazione ha introdotto nel 2004 un task di identificazione delle forme logiche.

Bibliografia

• (EN) Vasile Rus, Logic Form for WordNet Glosses, Ph.D. thesis, Southern Methodist University, 2002.
• (EN) Vasile Rus and Dan Moldovan, High performance logic form transformation, in International Journal for Tools with Artificial Intelligence. IEEE Computer Society, IEEE Press, 11, No. 3, settembre 2002, pp. 437–454.
• (EN) Dan Moldovan and Vasile Rus, Logic Form transformation of wordNet and its Applicability to question answering (ps), in Proceedings of ACL 2001, Toulouse, France, 2001 (archiviato dall'url originale il 13 settembre 2006).
• (EN) Jerry R. Hobbs, Overview of the TACITUS project, in Computational Linguistics, 1986, pp. 12(3).
• (EN) Vasile Rus, A First Evaluation of Logic Form Identification Systems (PDF), in SENSEVAL-3: Third International Workshop on the Evaluation of Systems for the Semantic Analysis of Text, 2004 (archiviato dall'url originale il 3 novembre 2005).