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

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.

Fuente de los datos: Dialnet