Resumen de Formalización de una lógica temporal imprecisa de primer orden
María Antonia Cárdenas Viedma 
, Roque Luis Marín Morales , Mercedes Balsa Sobejano
- 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.
