Browsing by Subject "Logic programming"

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.
  • 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.
  • Thumbnail Image
    Publication
    Open Access
    PROLogic: a fuzzy temporal constraint prolog
    (Academic Publications, 2019) Cárdenas Viedma, María Antonia; Galindo Navarro, F. M.; Ingeniería de la Información y las Comunicaciones
    In this paper we present PROLogic, a logic programming language based on a formal first-order fuzzy temporal logic: FTCLogic. FTCLogic integrates the advantages of a formal system (a first-order logic based on Possibilistic Logic) and an efficient mechanism with which to reason about time: the Fuzzy Temporal Constraints Networks or FTCN. PROLogic, therefore, is a Fuzzy Temporal PROLOG, which is implemented in Haskell.