摘要: In his paper ``Making Counterfactual Assumptions'' Frank Veltman has proposed a new semantics for counterfactual conditionals. It is based on particular update operation, and we show that it provides interesting way of updating logical databases under integrity constraints which generalizes in Winslett's PMA.
参考文章(17)
XiaoPing Chen, Yi Zhou, Partial implication semantics for desirable propositions principles of knowledge representation and reasoning. pp. 606- 611 ,(2004)
Pierre Marquis, Consequence Finding Algorithms Handbook for Defeasible Reasoning and Uncertain Management Systems. ,vol. 5, pp. 41- 145 ,(2000) , 10.1007/978-94-017-1737-3_3
Mark Ryan, Pierre-Yves Schobbens, Intertranslating Counterfactuals and Updates. european conference on artificial intelligence. pp. 100- 104 ,(1996)
Marianne Winslett, Reasoning about action using a possible models approach national conference on artificial intelligence. pp. 89- 93 ,(1988)
Marianne Winslett, Updating Logical Databases ,(1990)
Andreas Herzig, Logics for Belief Base Updating Springer, Dordrecht. pp. 189- 231 ,(1998) , 10.1007/978-94-011-5054-5_5
Ernest Sosa, Causation and conditionals Oxford University Press. ,(1975)
Robert C. Stalnaker, A Theory of Conditionals IFS. pp. 41- 55 ,(1968) , 10.1007/978-94-009-9117-0_2
Hirofumi Katsuno, Alberto O. Mendelzon, On the difference between updating a knowledge base and revising it principles of knowledge representation and reasoning. pp. 387- 394 ,(1991) , 10.1017/CBO9780511526664.007
Thomas Eiter, Georg Gottlob, On the complexity of propositional knowledge base revision, updates, and counterfactuals Artificial Intelligence. ,vol. 57, pp. 227- 270 ,(1992) , 10.1016/0004-3702(92)90018-S