Three valued logic of Lukasiewicz for modelin semantics of logic programs

被引：0

作者：

Osorio, M

Borja, V

Arrazola, J

机构：

[1] Univ Americas Puebla, CENTIA, Cholula 72820, Mexico

[2] Benenerita Univ Autonoma Puebla, FCFM, Puebla 72560, Mexico

来源：

ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004 | 2004年 / 3315卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In order to really understand all aspects of logic-based program development of different semantics, it would be useful to have a corm-non solid logical foundation. The stable semantics are based on G(3) but we show that stable semantics can be fully represented in the three valued logic of Lukasiewicz. We construct a particular semantics that we call L-3-WTS wich is defined over general propositional theories, can be defined via three valued logic of Lukasiewicz. Interesting L-3-WFS seems to satisfy, most of the principles of a well behaved semantics. Hence we propose the three valued Lukasiewicz logic to model WFS, extensions of WFS. and the Stable semantics.

引用

页码：343 / 352

页数：10

共 50 条

[21] Disjunctive logic and semantics of disjunctive logic programs
Shen, YD
[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
[22] Disjunctive logic and semantics of disjunctive logic programs
Yidong Shen
[J]. Science in China Series E: Technological Sciences, 1997, 40 : 44 - 53
[23] Disjunctive logic and semantics of disjunctive logic programs
沈一栋
[J]. Science China Technological Sciences, 1997, (01) : 44 - 53
[24] LOGIC PROGRAMS AND MANY-VALUED LOGIC
MYCROFT, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 274 - 286
[25] Strong equivalence of logic programs under the infinite-valued semantics
Nomikos, Christos
Rondogiannis, Panos
Wadge, William W.
[J]. INFORMATION PROCESSING LETTERS, 2009, 109 (11) : 576 - 581
[26] Assumption based multi-valued semantics for extended logic programs
Stamate, Daniel
[J]. ISMVL 2006: 36th International Symposium on Multiple-Valued Logic, 2006, : 62 - 68
[27] Compiling conditional plans through a three valued logic semantics
Baioletti, M
Marcugini, S
Milani, A
[J]. CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 1082 - 1089
[28] Three-valued completion for abductive logic programs
Teusink, F
[J]. THEORETICAL COMPUTER SCIENCE, 1996, 165 (01) : 171 - 200
[29] Finite Satisfiability in Infinite-Valued Lukasiewicz Logic
Schockaert, Steven
Janssen, Jeroen
Verrmeir, Dirk
De Cock, Martine
[J]. SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 240 - +
[30] GENTZENS TECHNIQUES IN 3-VALUED LOGIC OF LUKASIEWICZ
BECCHIO, D
PABION, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 123 - 124

← 1 2 3 4 5 →