Browsing by Subject "Fuzzy constraint satisfaction"

Now showing 1 - 2 of 2
  • 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.
  • 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.