TY - JOUR
T1 - Conditional reasoning in logic programming
AU - Gabbay, D.
AU - Giordano, L.
AU - Martelli, A.
AU - Olivetti, N.
AU - Sapino, M. L.
PY - 2000/7/1
Y1 - 2000/7/1
N2 - We introduce a logic programming language which supports hypothetical and counterfactual reasoning. The language is based on a conditional logic which enables to formalize conditional updates of the knowledge base. Due to the presence of integrity constraints, alternative revisions of the knowledge base may result from an update. We develop an abductive semantics which captures different evolutions of the knowledge base. Furthermore, we provide a goal-directed abductive proof procedure to compute the alternative solutions for a goal. We finally analyze our conditional programming language in the context of belief revision theory, and we establish a connection with Nebel's prioritized base revision.
AB - We introduce a logic programming language which supports hypothetical and counterfactual reasoning. The language is based on a conditional logic which enables to formalize conditional updates of the knowledge base. Due to the presence of integrity constraints, alternative revisions of the knowledge base may result from an update. We develop an abductive semantics which captures different evolutions of the knowledge base. Furthermore, we provide a goal-directed abductive proof procedure to compute the alternative solutions for a goal. We finally analyze our conditional programming language in the context of belief revision theory, and we establish a connection with Nebel's prioritized base revision.
UR - http://www.scopus.com/inward/record.url?scp=0034230817&partnerID=8YFLogxK
U2 - 10.1016/S0743-1066(99)00072-2
DO - 10.1016/S0743-1066(99)00072-2
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0034230817
SN - 0743-1066
VL - 44
SP - 37
EP - 74
JO - Journal of Logic Programming
JF - Journal of Logic Programming
IS - 1-3
ER -