An Abductive Proof Procedure for Conditional Logic Programming
作者： L. Giordano , A. Martelli , M. L. Sapino
关键词: Proof procedure 、 Non-monotonic logic 、 Abductive logic programming 、 Reasoning system 、 Automated reasoning 、 Abductive reasoning 、 Deductive reasoning 、 Programming language 、 Defeasible reasoning 、 Mathematics 、 Artificial intelligence
摘要: We develop an abductive extension of the hypothetical language CondLP+ within argumentation framework. The supports updates together with integrity constraints, and it makes use a revision mechanism to restore consistency when update violates some constraint. introduce semantics for based on notion admissible solution, we define proof procedure compute them. can be used perform several types defeasible reasoning. discuss how policy modified different reasoning, like reasoning about actions.
springer.com
sci-hub.st 参考文章(22)
Laura Giordano, Matteo Baldoni, Alberto Martelli, A multimodal logic to define modules in logic programming international conference on logic programming. pp. 473- 487 ,(1993)
Shamim A. Naqvi, Francesca Rossi, Reasoning in inconsistent database conference on logic programming. pp. 255- 272 ,(1990)
L.M. Pereira, José Júlio Alves Alferes, Contradiction removal within well founded semantics logic programming and non-monotonic reasoning. pp. 105- 119 ,(1991)
A. C. Kakas, Phan Minh Dung, P. Mancarella, The acceptability semantics for logic programs international conference on logic programming. pp. 504- 519 ,(1994)
Phan Minh Dung, Negations as Hypotheses: An Abductive Foundation for Logic Programming. international conference on lightning protection. pp. 3- 17 ,(1991)
Andreas Herzig, L. Fariñas Del Cerro, An automated modal logic for elementary changes ,(1988)
Kave Eshghi, Robert A. Kowalski, Abduction Compared with Negation by Failure. international conference on lightning protection. pp. 234- 254 ,(1989)
N. Olivetti, L. Giordano, A. Martelli, D. Gabbay, Conditional logic programming international conference on logic programming. pp. 272- 289 ,(1994)
Laurence Cholvy, Proving theorems in a multi-source environment international joint conference on artificial intelligence. pp. 66- 71 ,(1993)
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes, Diagnosis and debugging as contradiction removal logic programming and non-monotonic reasoning. pp. 316- 330 ,(1993)