Logic Programs with Consistency-Restoring Rules
作者： Michael Gelfond , Marcello Balduccini
DOI:
关键词:
摘要: We present an extension of language A-Prolog by consistency-restoring rules with preferences, give the semantics new language, CR-Prolog, and show how can be used to formalize various types commonsense knowledge reasoning.
参考文章(27)
Francesco Buccafurri, Pasquale Rullo, Nicola Leone, Adding Weak Constraints to Disjunctive Datalog. appia-gulp-prode. pp. 557- 568 ,(1997)
Norman McCain, Hudson Turner, A causal theory of ramifications and qualifications international joint conference on artificial intelligence. pp. 1978- 1984 ,(1995)
Antonis C. Kakas, Paolo Mancarella, Generalized stable models: a semantics for abduction european conference on artificial intelligence. pp. 385- 391 ,(1990)
Norman McCain, Hudson Turner, Causal theories of action and change national conference on artificial intelligence. pp. 460- 465 ,(1997)
Jia-Huai You, Fangzhen Lin, Abduction in logic programming: a new definition and an abductive procedure based on rewriting international joint conference on artificial intelligence. pp. 655- 661 ,(2001)
Michael Gelfond, Representing Knowledge in A-Prolog Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. pp. 413- 451 ,(2002) , 10.1007/3-540-45632-5_16
Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry, An A-Prolog Decision Support System for the Space Shuttle practical aspects of declarative languages. pp. 169- 183 ,(2001) , 10.1007/3-540-45241-9_12
E. Pontelli, M. Balduccini, F. Bermudez, Non-monotonic Reasoning on Beowulf Platforms practical aspects of declarative languages. pp. 37- 57 ,(2003) , 10.1007/3-540-36388-2_5
Vladimir Lifschitz, Answer set planning international conference on logic programming. pp. 23- 37 ,(1999) , 10.1007/3-540-46767-X_28
Vilfredo Pareto, Cours d'économie politique : professé à l'Université de Lausanne F. Rouge. ,(1896)