Browsing by Subject "Temporal reasoning"

Now showing 1 - 3 of 3
  • Thumbnail Image
    Publication
    Open Access
    Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog
    (2024-07-12) Cárdenas-Viedma, María-Antonia; Ingeniería de la Información y las Comunicaciones
    The management of time is essential in most AI-related applications. In addition, we know that temporal information is often not precise. In fact, in most cases, it is necessary to deal with imprecision and/or uncertainty. On the other hand, there is the need to handle the implicit commonsense information present in many temporal statements. In this paper, we present FTCProlog, a logic programming language capable of handling fuzzy temporal constraints soundly and efficiently. The main difference of FTCProlog with respect to its predecessor, PROLogic, is its ability to associate a certainty index with deductions obtained through SLD-resolution. This resolution is based on a proposal within the theoretical logical framework FTCLogic. This model integrates a first-order logic based on possibilistic logic with the Fuzzy Temporal Constraint Networks (FTCNs) that allow efficient time management. The calculation of the certainty index can be useful in applications where one wants to verify the extent to which the times elapsed between certain events follow a given temporal pattern. In this paper, we demonstrate that the calculation of this index respects the properties of the theoretical model regarding its semantics. FTCProlog is implemented in Haskell.
  • Thumbnail Image
    Publication
    Restricted
    FTCLogic: Fuzzy Temporal Constraint Logic
    (Elsevier, 2019-02-26) Cárdenas Viedma, María Antonia; Marín, R.; Ingeniería de la Información y las Comunicaciones
    In this paper we present FTCLogic, a formal first-order logic that can manage fuzzy temporal constraints between variables efficiently. In this logic, the use of explicit temporal axioms is unnecessary, and therefore the deduction mechanism doesn’t slow down for this reason. FTCLogic has an immediate precedent: the Extended Fuzzy Temporal Constraint Logic or EFTCL. However, while EFTCL is based on Timed Possibilistic Logic, FTCLogic uses the Possibilistic Logic to formulate an original semantics according to its syntax. In fact, FTCLogic defines both syntax and semantics from a powerful combination of two formalisms: the Possibilistic Logic and the Fuzzy Temporal Constraints Networks. FTCLogic has provided the basis for the creation of a fuzzy temporal PROLOG: PROLogic, which is implemented through Haskell, and which is currently undergoing evaluation.
  • Repository logo
    Publication
    Open Access
    FTCProlog: Fuzzy Temporal Constraint Prolog
    Cardenas Viedma, María Antonia.; Ingeniería de la Información y las Comunicaciones
    FTCProlog is a language similar to Prolog but with the ability to handle fuzzy temporal constraints between variables. It is based on the first-order logic FTCLogic. FTCProlog is implemented in Haskell and corresponds to the second version of the application PROLogic. It is available at https://github.com/mariantocv/FTCProlog.