Investigations Into a Theory of Knowledge Base Revision: Preliminary Report

Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988

Volumn , Issue , 1988, Pages 475-479

  Dalai, Mukesh ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ITS APPLICATIONS; KNOWLEDGE LEVEL; KNOWLEDGE REVISION; KNOWLEDGE-REPRESENTATION; MODEL-THEORETIC; NEW THEORY; SYNTACTIC CHARACTERIZATION; THEORIES OF KNOWLEDGE;

KNOWLEDGE REPRESENTATION;

EID: 85156265719     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. C. Alchourron, P. Gardenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2):510-53G, June 1985.
2. A. Borgida. Language features for flexible handling of exceptions in information systems. ACM - Transactions on Database Systems, 10(4):565-603, 1985.
3. M. Dalai. Updates in Propositional Databases. Technical Report DCS-TR-222, Department of Computer Science, Rutgers University, February 1988.
4. R. Fagin, J.D. Ullman, and M.Y. Vardi. On the semantics of updates in databases. In Proc. of 2nd ACM Symp. on Principles of Database Systems, pages 352-365, Atlanta, March 1983.
5. M.L. Ginsberg. Counterfactuals. Artificial Intelligence, 30(l):35-79, 1986.
6. H.J. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23(2):155-212, 1984.
7. H.J. Levesque. A logic of explicit and implicit belief. Proceedings of AAAI-84, pages 198-202, 1984.
8. D. Makinson. How to give it up: a survey of some formal aspects of the logic of theory change. Synthese, 62:347-363, 1985.
9. TNewell, 19811 A. Newell. The knowledge level. The Al Magazine, 2(2):l-20, 1981.
10. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(l):57-95, 1987.
11. Andreas Weber. Updating propositional formulas. In L. Kerschberg, editor, Expert Database Systems, pages 487-500, The Benjamin/Cummings Publishing Company, Inc., 1987.
12. M. Winsiett. Is belief revision harder than you thought? In Proceedings of AAAI-86, pages 421-427, 1986.