Investigations into a theory of knowledge base revision: preliminary report
作者： Mukesh Dalal
DOI:
关键词:
摘要: A fundamental problem in knowledge representation is how to revise when new, contradictory information obtained. This paper formulates some desirable principles of revision, and investigates a new theory revision that realizes these principles. can be explained at the level, purely model-theoretic terms. syntactic characterization proposed approach also presented. We illustrate its application through examples compare it with several other approaches.
acm.org 参考文章(9)
Andreas Weber, Updating Propositional Formulas. Expert Database Conf.. pp. 487- 500 ,(1986)
Marianne Winslett, Is belief revision harder than you thought national conference on artificial intelligence. pp. 421- 427 ,(1986)
David Makinson, How to give it up: A survey of some formal aspects of the logic of theory change Synthese. ,vol. 62, pp. 347- 363 ,(1985) , 10.1007/BF00869410
Hector J. Levesque, Foundations of a functional approach to knowledge representation. Artificial Intelligence. ,vol. 23, pp. 155- 212 ,(1984) , 10.1016/0004-3702(84)90009-2
Allen Newell, The knowledge level Artificial Intelligence. ,vol. 18, pp. 87- 127 ,(1982) , 10.1016/0004-3702(82)90012-1
Alexander Borgida, Language features for flexible handling of exceptions in information systems ACM Transactions on Database Systems. ,vol. 10, pp. 565- 603 ,(1985) , 10.1145/4879.4995
Raymond Reiter, A theory of diagnosis from first principles Artificial Intelligence. ,vol. 32, pp. 352- 371 ,(1987) , 10.1016/0004-3702(87)90062-2
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
Carlos E. Alchourrón, Peter Gärdenfors, David Makinson, On the logic of theory change: Partial meet contraction and revision functions Journal of Symbolic Logic. ,vol. 50, pp. 510- 530 ,(1985) , 10.2307/2274239