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 条

[1] INDUCTIVE INFERENCE OF LOGIC PROGRAMS BASED ON ALGEBRAIC SEMANTICS
SAKAKIBARA, Y
[J]. NEW GENERATION COMPUTING, 1990, 7 (04) : 365 - 380
[2] An algebraic framework for the definition of compositional semantics of normal logic programs
Lucio, P
Orejas, F
Pino, E
[J]. JOURNAL OF LOGIC PROGRAMMING, 1999, 40 (01): : 89 - 123
[3] STRUCTURE OF LINDENBAUM ALGEBRAS - APPROACH USING ALGEBRAIC LOGIC
PINTER, C
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 56 (APR) : 267 - 271
[4] ON THE SEMANTICS OF LOGIC PROGRAMS
GABBRIELLI, M
LEVI, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 1 - 19
[5] AN ALGEBRAIC SEMANTICS FOR STRUCTURED TRANSITION-SYSTEMS AND ITS APPLICATION TO LOGIC PROGRAMS
CORRADINI, A
MONTANARI, U
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 103 (01) : 51 - 106
[6] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
Voutsadakis, George
[J]. STUDIA LOGICA, 2013, 101 (04) : 849 - 899
[7] The semantics of constraint logic programs
Jaffar, J
Maher, M
Marriott, K
Stuckey, P
[J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 1 - 46
[8] Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
George Voutsadakis
[J]. Studia Logica, 2013, 101 : 849 - 899
[9] Categorical Abstract Algebraic Logic: Algebraic Semantics for π-Institutions
Voutsadakis, George
[J]. MATHEMATICAL LOGIC QUARTERLY, 2013, 59 (03) : 177 - 200
[10] On the semantics of logic programs with preferences
Greco, Sergio
Trubitsyna, Irina
Zumpano, Ester
[J]. Journal of Artificial Intelligence Research, 1600, 30 : 501 - 523

← 1 2 3 4 5 →