Contextual default reasoning
作者： Gerhard Brewka , Luciano Serafini , Floris Roelofsen
DOI:
关键词: Deductive reasoning 、 Artificial intelligence 、 Automated reasoning 、 Non-monotonic logic 、 Description logic 、 Computational logic 、 Logic programming 、 Mathematics 、 Higher-order logic 、 Default logic
摘要: In this paper we introduce a multi-context variant of Reiter's default logic. The logic provides syntactical counterpart Roelofsen and Serafini's information chain approach (IJCAI-05), yet has several advantages: it is closer to standard ways representing nonmonotonic inference number results from that area come "for free"; implementation, in particular the restriction programming gives us computationally attractive framework; allows handle problem with related skeptical reasoning.
uva.nl
ijcai.org参考文章(15)
John McCarthy, Notes on formalizing context international joint conference on artificial intelligence. pp. 555- 560 ,(1993)
John McCarthy, Sasa Buvac, Formalizing Context (Expanded Notes) Stanford University. ,(1994)
Vladimir Lifschitz, Michael Gelfond, The stable model semantics for logic programming international conference on lightning protection. pp. 1070- 1080 ,(1988)
Gerhard Brewka, Georg Gottlob, Well-founded semantics for default logic Fundamenta Informaticae. ,vol. 31, pp. 221- 236 ,(1997) , 10.3233/FI-1997-313402
Luciano Serafini, Floris Roelofsen, Minimal and absent information in contexts international joint conference on artificial intelligence. pp. 558- 563 ,(2005)
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf, The well-founded semantics for general logic programs Journal of the ACM. ,vol. 38, pp. 619- 649 ,(1991) , 10.1145/116825.116838
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello, The DLV system for knowledge representation and reasoning ACM Transactions on Computational Logic. ,vol. 7, pp. 499- 562 ,(2006) , 10.1145/1149114.1149117
Luciano Serafini, Paolo Bouquet, Comparing formal theories of context in AI Artificial Intelligence. ,vol. 155, pp. 41- 67 ,(2004) , 10.1016/J.ARTINT.2003.11.001
Patrik Simons, Ilkka Niemelä, Timo Soininen, Extending and implementing the stable model semantics Artificial Intelligence. ,vol. 138, pp. 181- 234 ,(2002) , 10.1016/S0004-3702(02)00187-X
CHITTA BARAL, SARIT KRAUS, JACK MINKER, V. S. SUBRAHMANIAN, COMBINING DEFAULT LOGIC DATABASES International Journal of Intelligent and Cooperative Information Systems. ,vol. 03, pp. 319- 348 ,(1994) , 10.1142/S0218215794000181