Modifying Is Better Than Deleting: A New Approach To Base Revision
作者： Guido Governatori , Paolo Di Giusto
DOI:
关键词: Belief revision 、 Artificial intelligence 、 Base (topology) 、 Mathematics 、 Semantic equivalence 、 Belief base
摘要: We present three approaches to belief base revision, which are examined also in the case sentences partitioned between those can and cannot be changed; shown semantically equivalent. A new approach is then presented, based on modification of individual rules, instead deletion. The resulting equivalent that generated by other approaches, sense it has same models, but rule part alone less is, subjected a smaller change.
uq.edu.au参考文章(13)
Bernhard Nebel, A knowledge level analysis of belief revision principles of knowledge representation and reasoning. pp. 301- 311 ,(1989)
Dov Gabbay, Odinaldo Rodrigues, A Methodology for Iterated Theory Change FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning. pp. 193- 207 ,(1996) , 10.1007/3-540-61313-7_73
Andr� Fuhrmann, Sven Ove Hansson, A survey of multiple contractions Journal of Logic, Language and Information. ,vol. 3, pp. 39- 75 ,(1994) , 10.1007/BF01066356
Peter Gärdenfors, David Makinson, Nonmonotonic inference based on expectations Artificial Intelligence. ,vol. 65, pp. 197- 245 ,(1994) , 10.1016/0004-3702(94)90017-5
Andr� Fuhrmann, Theory contraction through base contraction Journal of Philosophical Logic. ,vol. 20, pp. 175- 203 ,(1991) , 10.1007/BF00284974
Craig Boutilier, Iterated revision and minimal change of conditional beliefs Journal of Philosophical Logic. ,vol. 25, pp. 263- 305 ,(1996) , 10.1007/BF00248151
Carlos E. Alchourr�n, David Makinson, On the logic of theory change: Safe contraction Studia Logica. ,vol. 44, pp. 405- 422 ,(1985) , 10.1007/BF00370430
Neil Tennant, Changing the Theory of Theory Change: Towards a Computational Approach The British Journal for the Philosophy of Science. ,vol. 45, pp. 865- 897 ,(1994) , 10.1093/BJPS/45.3.865
David Makinson, Peter Gärdenfors, Relations between the logic of theory change and nonmonotonic logic Proceedings of the Workshop on The Logic of Theory Change. pp. 185- 205 ,(1989) , 10.1007/BFB0018421
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi, On the semantics of updates in databases Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '83. pp. 352- 365 ,(1983) , 10.1145/588058.588100