Conditional reasoning in logic programming

被引：10

作者：

Gabbay, D

Giordano, L

Martelli, A

Olivetti, N ^{[1
]}

Sapino, ML

机构：

[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England

[2] Univ Piemonte Orientale, I-15100 Alessandria, Italy

[3] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy

来源：

JOURNAL OF LOGIC PROGRAMMING | 2000年 / 44卷 / 1-3期

关键词：

hypothetical reasoning; nonmonotonic reasoning; conditional logic; abduction; admissibility semantics; belief revision and update;

D O I：

10.1016/S0743-1066(99)00072-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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. (C) 2000 Elsevier Science Inc. All rights reserved.

引用

页码：37 / 74

页数：38

共 38 条

[1] Alferes J. J., 1998, P 6 INT C PRINC KNOW, P98
[2] [Anonymous], P 2 INT WORKSH LOG P
[3] [Anonymous], J LOGIC PROGRAM
[4] Baldoni M, 1997, LECT NOTES ARTIF INT, V1216, P132, DOI 10.1007/BFb0023805
[5] Baral C., 1992, Computational Intelligence, V8, P45, DOI 10.1111/j.1467-8640.1992.tb00337.x
[6] Bollen A. W., 1991, Journal of Automated Reasoning, V7, P563, DOI 10.1007/BF01880329
[7] A logical semantics for hypothetical rulebases with deletion
Bonner, AJ
[J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (02): : 119 - 170
[8] Brewka G., 1989, IJCAI-89 Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, P1043
[9] Brewka G., 1994, Logics in Artificial Intelligence. European Workshop JELIA '94. Proceedings, P247, DOI 10.1007/BFb0021977
[10] BREWKA G, 1994, AAAI, P940

← 1 2 3 4 →