Hispanopedia Wiki
Articulo de referencia

Forma lógica

Las formas lógicas son representaciones de conocimiento de lógica de primer orden simples de oraciones en lenguaje natural formadas por la conjunción de predicados conceptuales ...

Hispanopedia WikiContenido en espanolLectura gratuita

Las formas lógicas son representaciones de conocimiento de lógica de primer orden simples 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 pueden complementarse con sentidos de las palabras para desambiguar su semántica. Existen dos tipos de predicados: los eventos se marcan con e y las entidades con x . Los argumentos compartidos conectan los sujetos y objetos de los verbos y las preposiciones. Un ejemplo de entrada/salida podría ser el siguiente:

Entrada: La Tierra proporciona los alimentos que comemos cada día. Salida: Tierra :n_#1( x1 ) proporciona :v_#2( e1 , x1 , x2 ) alimento :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.

Referencias

  • Vasile Rus (2002). Forma lógica para glosas de WordNet . Tesis doctoral, Universidad Metodista del Sur.
  • Vasile Rus y Dan Moldovan (septiembre de 2002). "Transformación de forma lógica de alto rendimiento". Revista Internacional de 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 ACL 2001, Toulouse, Francia . Archivado del original el 13 de septiembre de 2006.
  • Jerry R. Hobbs (1986). "Descripción general del proyecto TACITUS". Lingüística Computacional . págs.  12(3).
  • Vasile Rus (2004). "Primera evaluación de 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 texto . Archivado del original (PDF) el 3 de noviembre de 2005.