Browsing by Subject "Soundness and completeness of logic"

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