Browsing by Subject "Possibility theory"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Publication
    Embargo
    A sound and complete fuzzy temporal constraint logic
    (Institute of Electrical and Electronics Engineers, 2006-02) Cárdenas Viedma, María Antonia; Ingeniería de la Información y las Comunicaciones
    In this work, we define an extended fuzzy temporal constraint logic (EFTCL) based on possibilistic logic. EFTCL alto,vs us to handle fuzzy ten1poral constraints between temporal variables and, therefore, enables us to express interrelated events through fuzzy temporal constraints. EFTCL is compatible ,vith a theoretical te111poral reasoning model: the fuzzy tem­poral constraint networks (FTCN). The syntax, the se1nantics and the de­duction and refutation theorems for EFTCL are similar to those defined for the sound and noncom¡>lete fuzzy temporal constraint logic (FTCL). In this paper, a resolutio11 principie for performing inferences which take tl1ese constraints into account is proposed tor EFTCL. Moreover, we prove the soundness and the completeness of the refutation by resolution in EFTCL.
  • 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.