Formalización de una lógica temporal imprecisa de primer orden

  1. M.A. Cárdenas 1
  2. R. Marín 1
  3. M. Balsa 1
  1. 1 Universidad de Murcia
    info

    Universidad de Murcia

    Murcia, España

    ROR https://ror.org/03p3aeb86

Libro:
CAEPIA'97: actas
  1. Botti, Vicent (coord.)

Editorial: Vicent Botti ; Asociación Española para la Inteligencia Artificial (AEPIA)

ISBN: 978-84-8498-765-9,  84-8498-765-5

Año de publicación: 1997

Páginas: 417-426

Congreso: Conferencia de la Asociación Española para la Inteligencia Artificial. (7. 1997. null)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR

Resumen

En este trabajo formalizamos una lógica de restricciones temporales imprecisa de primer orden. En primer lugar, proporcionamos el lenguaje formal que permitirá la expresión de fórmulas bien formadas que relacionen eventos temporales a través de restricciones temporales imprecisas. En segundo lugar, introducimos un principio de resolución válido para resolver consultas en esta lógica. Esto servirá para razonar en el contexto del modelo teórico de razonamiento temporal propuesto por Marín y Barro (red de restricciones temporales imprecisa o FTCN). Este modelo subyace bajo un módulo, actualmente en proceso de implementación, de resolución de consultas temporales.

Fuente de los datos: Dialnet