Syntax and semantics for a fuzzy temporal constraint logic

被引：1
|
作者：
Cárdenas Viedma M.A. [1 ]
Marín Morales R. [1 ]
机构：
[1] Depto. Ing. Info. Comunicaciones, Universidad de Murcia, Campus de Espinardo
来源：
Annals of Mathematics and Artificial Intelligence | 2002年 / 36卷 / 4期
关键词：
Fuzzy temporal constraint; Logic programming; Possibility theory; Syntax and semantics of formal logic; Temporal reasoning;
D O I：
10.1023/A:1016345810582
中图分类号：
学科分类号：
摘要：
In this paper we establish the relationship between the syntax and semantics of a fuzzy temporal constraint logic (FTCL) proposed by Cárdenas et al. FTCL enables us to express interrelated events by means of fuzzy temporal constraints. Moreover, it provides a resolution principle for performing inferences which take these constraints into account. FTCL is compatible with the theoretical temporal reasoning model proposed by Marín et al. - the Fuzzy Temporal Constraint Networks (FTCN). The main contributions of this paper are, on the one hand, the proofs of the FTCL-deduction and the FTCL-refutation theorems, and, on the other, the proof of the soundness of the refutation by resolution in this formal system, together with an exhaustive study of its completeness.
引用
收藏
页码：357 / 380
页数：23
相关论文
共 50 条
  • [1] Syntax and semantics for a fuzzy temporal constraint logic
    Viedma, MAC
    Morales, RM
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2002, 36 (04) : 357 - 380
  • [2] A semantics and a logic for Fuzzy Arden Syntax
    Gomes, Leandro
    Madeira, Alexandre
    Barbosa, Luis Soares
    [J]. SOFT COMPUTING, 2021, 25 (09) : 6789 - 6805
  • [3] A semantics and a logic for Fuzzy Arden Syntax
    Leandro Gomes
    Alexandre Madeira
    Luís Soares Barbosa
    [J]. Soft Computing, 2021, 25 : 6789 - 6805
  • [4] Semiring-based Constraint Logic Programming: Syntax and semantics
    Bistarelli, S
    Montanari, U
    Rossi, F
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2001, 23 (01): : 1 - 29
  • [5] FTCLogic: Fuzzy Temporal Constraint Logic
    Cardenas-Viedma, M. A.
    Marin, R.
    [J]. FUZZY SETS AND SYSTEMS, 2019, 363 : 84 - 112
  • [6] Fuzzy constraint logic programming with answer set semantics
    Wang, Jie
    Liu, Chunnian
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 52 - +
  • [7] Two semantics for temporal annotated constraint logic programming
    Raffaetà, A
    Frühwirth, T
    [J]. INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 78 - 92
  • [8] A sound and complete fuzzy temporal constraint logic
    Cárdenas-Viedma, MA
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 36 (01): : 223 - 228
  • [9] Fuzzy temporal constraint logic:: a valid resolution principle
    Viedma, MAC
    Morales, RM
    Sánchez, IN
    [J]. FUZZY SETS AND SYSTEMS, 2001, 117 (02) : 231 - 250
  • [10] Efficient resolution mechanism for fuzzy temporal constraint logic
    Cárdenas, MA
    Navarrete, I
    Marín, R
    [J]. SEVENTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - TIME 2000, PROCEEDINGS, 2000, : 39 - 46
12345