Logic Programming for Non-Monotonic Reasoning
作者： Luís Moniz Pereira , Joaquim N. Aparício , José J. Alferes
关键词:
摘要: Our purpose is to develop a modular systematic method of representing nonmonotonic reasoning problems with the Well Founded Semantics extended logic programs augmented eXplicit negation (WFSX), and by its Contradiction Removal (CRSX) when needed. We show how cast in language such forms non-monotonic like defeasible hypothetical reasoning, apply them different domains knowledge representation, for instance taxonomic hierarchies about actions. then abstract programming.
springer.com
sci-hub.st 参考文章(26)
Katsumi Inoue, Extended Logic Programs with Default Assumptions. international conference on lightning protection. pp. 490- 504 ,(1991)
Phan Minh Dung, Phaiboon Ruamviboonsuk, Well-Founded Reasoning with Classical Negation. logic programming and non-monotonic reasoning. pp. 120- 132 ,(1991)
Luís Moniz Pereira, José Júlio Alferes, Well founded semantics for logic programs with explicit negation european conference on artificial intelligence. pp. 102- 106 ,(1992)
Luís Moniz Pereira, José Júlio Alferes, On Logic Program Semantics with Two Kinds of Negation. JICSLP. pp. 574- 588 ,(1992)
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes, Counterfactual Reasoning Based on Revising Assumptions. LOGIC PROGRAMMING : PROCEEDINGS OF THE 1991 INTERNATIONAL SYMPOSIUM. pp. 566- 577 ,(1991)
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes, Nonmonotonic Reasoning with Well Founded Semantics. international conference on lightning protection. pp. 475- 489 ,(1991)
Yoav Shoham, Nita Goyal, Temporal reasoning in artificial intelligence Exploring artificial intelligence. pp. 419- 438 ,(1988) , 10.1016/B978-0-934613-67-5.50015-0
Teodor C. Przymusinski, Semantics of disjunctive logic programs and deductive databases international conference on deductive and object-oriented databases. pp. 85- 107 ,(1991) , 10.1007/3-540-55015-1_5
Vladimir Lifschitz, Michael Gelfond, Logic programs with classical negation international conference on lightning protection. pp. 579- 597 ,(1990)
Robert A. Kowalski, Problems and Promises of Computational Logic Computational Logic. pp. 1- 36 ,(1990) , 10.1007/978-3-642-76274-1_1