Declarative semantics of programming in residuated lattice-valued logic

被引：0
|
作者：
应明生
机构：
[1] Beijing 100084
[2] Department of Computer Science and Technology
[3] China
[4] Tsinghua University
[5] State Key Laboratory of Intelligent Technology and Systems
来源：
Science in China(Series E:Technological Sciences) | 2000年 / 05期
关键词：
logic programming; declarative semantics; residuated lattice; fixpoint theorem; completion of program;
D O I：
暂无
中图分类号：
B811 [辩证逻辑];
学科分类号：
010104 ; 010105 ;
摘要：
We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.
引用
收藏
页码：481 / 494
页数：14
相关论文
共 50 条
  • [41] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 : 75 - 84
  • [42] α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 270 - 275
  • [43] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Weitao Xu
    Wenqiang Zhang
    Dexian Zhang
    Yang Xu
    Xiaodong Pan
    International Journal of Computational Intelligence Systems, 2015, 8 : 75 - 84
  • [44] α-Minimal Resolution Principle For A Lattice-Valued Logic
    Jia, Hairui
    Xu, Yang
    Liu, Yi
    Liu, Jun
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 (01) : 34 - 43
  • [45] Tautologies in some lattice-valued logic systems
    Li, HM
    Qin, KY
    Xu, Y
    2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 2563 - 2568
  • [46] Multiary α-Resolution Principle for a Lattice-Valued Logic
    Xu, Yang
    Liu, Jun
    Zhong, Xiaomei
    Chen, Shuwei
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (05) : 898 - 912
  • [47] α-Minimal Resolution Principle For A Lattice-Valued Logic
    Hairui Jia
    Yang Xu
    Yi Liu
    Jun Liu
    International Journal of Computational Intelligence Systems, 2015, 8 (1) : 34 - 43
  • [48] α-Lock paramodulation for lattice-valued propositional logic
    He, Xingxing
    Xu, Yang
    Liu, J.
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 18 - 20
  • [49] A Duality for Algebras of Lattice-Valued Modal Logic
    Maruyama, Yoshihiro
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 281 - 295
  • [50] Linguistic truth-valued concept lattice based on lattice-valued logic
    Yang, Li
    Xu, Yang
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
12345