CR-Prolog2: CR-Prolog with Ordered Disjunction
作者： Veena Mellarkod , Marcello Balduccini
DOI:
关键词:
摘要: We present CR-Prolog2, an extension of CR-Prolog with improved semantics, and allowing ordered disjunction in the head both regular rules consistency-restoring rules. The new semantics yields intuitive conclusions cases when would give unintuitive results. use often allows for a more concise, easier to read, representation knowledge. also show how CR-Prolog2 can be used represent preferences intended as strict (like CR-Prolog), desires LPOD, where was initially introduced). Finally, we language complex knowledge perform fairly sophisticated reasoning tasks.
researchgate.net 参考文章(14)
Michael Gelfond, Marcello Balduccini, Logic Programs with Consistency-Restoring Rules ,(2003)
Antonis C. Kakas, Paolo Mancarella, Generalized stable models: a semantics for abduction european conference on artificial intelligence. pp. 385- 391 ,(1990)
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
G. Brewka, Ilkka Niemelä, Tommi Syrjänen, Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs european conference on logics in artificial intelligence. pp. 444- 455 ,(2002) , 10.1007/3-540-45757-7_37
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
Chitta Baral, Michael Gelfond, Reasoning agents in dynamic domains Logic-based artificial intelligence. pp. 257- 279 ,(2000) , 10.1007/978-1-4615-1567-8_12
Keijo Heljanko, Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe petri nets Fundamenta Informaticae. ,vol. 37, pp. 247- 268 ,(1999) , 10.3233/FI-1999-37304
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell’Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres, The DLV System european conference on logics in artificial intelligence. ,vol. 2424, pp. 537- 540 ,(2002) , 10.1007/3-540-45757-7_50
Gerhard Brewka, Logic programming with ordered disjunction national conference on artificial intelligence. pp. 100- 105 ,(2002) , 10.5555/777092.777111