LINDENBAUM-ALGEBRAIC SEMANTICS OF LOGIC PROGRAMS

被引：0
|
作者：
WAGNER, G
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 619卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We show how to obtain the Lindenbaum algebra of a logic program. In the case of a positive program it is simply a distributive lattice with a greatest element. We also investigate programs with strong negation which allow to represent and process explicit negative information. Although we have double negation elimination and the DeMorgan rules we do not obtain a DeMorgan algebra as the Lindenbaum algebra of a program with strong negation as one could have expected.
引用
收藏
页码：80 / 91
页数：12
相关论文
共 50 条
  • [11] A COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS
    BOSSI, A
    GABBRIELLI, M
    LEVI, G
    MEO, MC
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 3 - 47
  • [12] THE STRONG SEMANTICS FOR LOGIC PROGRAMS
    CHEN, JH
    KUNDU, S
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 490 - 499
  • [13] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 203 - 215
  • [14] PROBABILISTIC LOGIC PROGRAMS AND THEIR SEMANTICS
    DANTSIN, E
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 152 - 164
  • [15] A PROCESS SEMANTICS OF LOGIC PROGRAMS
    BELMESK, M
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 13 - 26
  • [16] Isoinitial semantics for logic programs
    Lau, KK
    Ornaghi, M
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 223 - 238
  • [17] TIGHT SEMANTICS FOR LOGIC PROGRAMS
    Pereira, Luis Moniz
    Pinto, Alexandre Miguel
    [J]. TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 134 - 143
  • [18] The semantics of nominal logic programs
    Cheney, James
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 361 - 375
  • [19] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 501 - 523
  • [20] ALGEBRAIC SEMANTICS FOR MODAL PREDICATE LOGIC
    FREEMAN, JB
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (06): : 523 - 552
12345