Forma lógica

Las formas lógicas son representaciones simples de conocimiento lógico de primer orden de oraciones en lenguaje natural formadas por la conjunción de predicados conceptuales relacionados a través de argumentos compartidos. Cada sustantivo, verbo, adjetivo, adverbio, pronombre, preposición y conjunción genera un predicado. Las formas lógicas se pueden decorar con los sentidos de las palabras para desambiguar la semántica de la palabra. Hay dos tipos de predicados: los eventos se marcan con e y las entidades se marcan con x . Los argumentos compartidos conectan los sujetos y objetos de los verbos y las preposiciones. Un ejemplo de entrada/salida podría verse así:

Entrada:   La Tierra nos proporciona los alimentos que comemos todos los días. 
Salida: Tierra :n_#1( x1 ) nos proporciona :v_#2( e1 , x1 , x2 ) alimentos :n_#1( x2 ) nosotros ( x3 ) comemos :v_#1( e2 , x3 , x2 ; x4 ) día :n_#1( x4 )

Las formas lógicas se utilizan en algunas técnicas de procesamiento del lenguaje natural , como la respuesta a preguntas , así como en la inferencia tanto para sistemas de bases de datos como para sistemas de control de calidad.

• Vasile Rus (2002). Forma lógica para glosas de WordNet. Tesis doctoral, Southern Methodist University.
• Vasile Rus y Dan Moldovan (septiembre de 2002). "Transformación de formas lógicas de alto rendimiento". Revista internacional sobre herramientas de inteligencia artificial . 11 (3): 437–454. doi :10.1142/S0218213002000976.
• Dan Moldovan y Vasile Rus (2001). "Transformación de la forma lógica de WordNet y su aplicabilidad a la respuesta a preguntas". Actas de la ACL 2001, Toulouse, Francia . Archivado desde el original el 13 de septiembre de 2006.
• Jerry R. Hobbs (1986). "Resumen del proyecto TACITUS". Computational Linguistics . págs. 12(3).
• Vasile Rus (2004). "Una primera evaluación de los sistemas de identificación de formas lógicas" (PDF) . SENSEVAL-3: Tercer taller internacional sobre la evaluación de sistemas para el análisis semántico de textos . Archivado desde el original (PDF) el 2005-11-03.