From answer set logic programming to circumscription via logic of GK
作者： Fangzhen Lin , Yi Zhou
DOI:
关键词: Multimodal logic 、 Calculus 、 Philosophy of logic 、 Mathematics 、 Intermediate logic 、 Many-valued logic 、 Dynamic logic (modal logic) 、 Autoepistemic logic 、 Zeroth-order logic 、 Discrete mathematics 、 Computational logic
摘要: We first provide a mapping from Pearce's equilibrium logic and Ferraris's general programs to Lin Shoham's of knowledge justified assumptions, nonmonotonic modal that has been shown include as special cases both Reiter's default in the propositional case Moore's autoepistemic logic. From this mapping, we obtain circumscription, first-order case. Furthermore, show can be used check strong equivalence between two classical
ijcai.org参考文章(20)
Stefan Woltran, Hans Tompits, Thomas Eiter, Patrick Traxler, Michael Fink, Replacements in non-ground answer-set programming principles of knowledge representation and reasoning. pp. 340- 350 ,(2006)
Mirek Truszczynski, Victor W. Marek, Krzysztof R. Apt, David S. Warren, The Logic Programming Paradigm: A 25-Year Perspective The Logic Programming Paradigm: A 25-Year Perspective 1st. pp. 472- 472 ,(2011)
Fangzhen Lin, Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic principles of knowledge representation and reasoning. pp. 170- 176 ,(2002)
Vladimir Lifschitz, Action Languages, Answer Sets, and Planning The Logic Programming Paradigm. pp. 357- 373 ,(1999) , 10.1007/978-3-642-60085-2_16
Ilkka Niemelä, Patrik Simons, Extending the Smodels system with cardinality and weight constraints Logic-based artificial intelligence. pp. 491- 521 ,(2001) , 10.1007/978-1-4615-1567-8_21
David Pearce, Hans Tompits, Stefan Woltran, Encodings for Equilibrium Logic and Logic Programs with Nested Expressions portuguese conference on artificial intelligence. pp. 306- 320 ,(2001) , 10.1007/3-540-45329-6_31
David Pearce, A New Logical Characterisation of Stable Models and Answer Sets NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming. pp. 57- 70 ,(1996) , 10.1007/BFB0023801
Vladimir Lifschitz, Paolo Ferraris, Joohyung Lee, A new perspective on stable models international joint conference on artificial intelligence. pp. 372- 379 ,(2007)
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner, Nested expressions in logic programs Annals of Mathematics and Artificial Intelligence. ,vol. 25, pp. 369- 389 ,(1999) , 10.1023/A:1018978005636
Paolo Ferraris, Answer sets for propositional theories international conference on logic programming. pp. 119- 131 ,(2005) , 10.1007/11546207_10