Formalización de una lógica temporal imprecisa de primer orden
- M.A. Cárdenas 1
- R. Marín 1
- M. Balsa 1
-
1
Universidad de Murcia
info
- Botti, Vicent (coord.)
Argitaletxea: Vicent Botti ; Asociación Española para la Inteligencia Artificial (AEPIA)
ISBN: 978-84-8498-765-9, 84-8498-765-5
Argitalpen urtea: 1997
Orrialdeak: 417-426
Biltzarra: Conferencia de la Asociación Española para la Inteligencia Artificial. (7. 1997. null)
Mota: Biltzar ekarpena
Laburpena
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.