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

• M.A. Cárdenas ^[1] ; R. Marín ^[1] ; M. Balsa ^[1]
  1. [1] Universidad de Murcia

     Universidad de Murcia

     Murcia, España

     
• Localización: CAEPIA'97: actas / coord. por Asociación Española de Inteligencia Artificial, Vicente J. Botti Navarro , 1997, ISBN 84-8498-765-5, págs. 417-426
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen
  • español

    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.

  • English

    In this work we formalize a fuzzy temporal constraint first-order logic. First of all, we provide the formal language which will allow the expression of well-formed formulas related to the temporal events by means of the temporal constraints. Secondly, we introduce a valid resolution principle in orden to solve the queries in this logic. All this will serve to reason within a context of the theoretical model of the temporal reasoning proposed by Marín y Barro (Fuzzy Temporal Constraint Network or FTCN). This model underlies a module for the resolution of temporal queries.