On knowledge evolution: Acquisition, revision, contraction

Journal of Applied Non-Classical Logics

Volumn 7, Issue 1-2, 1997, Pages 177-211

  Lozinskii, Eliezer L ^a  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

Acquisition; Contraction; Knowledge; Revision

Indexed keywords

EID: 36849076084     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1997.10510905     Document Type: Article

References (44)

1. Alchourron C. E., Gardenfors P. and Makinson D., On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, v. 50 (1985) 510-530
2. Bacchus F. et al., From statistics to beliefs. In: Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, (1992) 602-608
3. Benferhat S. et al., Inconsistency management and prioritized syntax-based entailment. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Chambery, France (1993) 640-645
4. Brewka G., Preferred subtheories: an extended logical framework for default reasoning. In: Proceedings of the lith International Joint Conference on Artificial Intelligence, IJCAI-89, Detroit, Michigan (1989) 1043-1048
5. Carnap R., On inductive logic. Philosophy of Science, v. 12, no. 2 (1945) 72-97
6. Carnap R., The Continuum of Inductive Methods. The University of Chicago Press (1952)
7. Dalal M., Investigations into a theory of knowledge base revision: preliminary report. In: Proceedings of the 7th National Conference of the American Association for Artificial intelligence, Saint Paul, Minn. ( 1988) 475-479
8. Doyle J., Reason maintenance and belief revision: foundations vs. coherence theories. In: P. Gardenfors, ed., Belief Revision, Cambridge University Press (1992) 29-51
9. Dubois D. and Prade H., Epistemic entrenchment and possibility logic. Artificial Intelligence, v. 50 (1991) 223-239
10. Dubois D. and Prade H., A survey of belief revision and updating rules in various uncertainty models. International Journal of Intelligent Systems, v. 9 (1994) 61-100
11. Biter T. and Gottlob G., On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence, v. 57 (1992) 227-270
12. Fagin R., Ullman J. D. and Vardi M. Y., On the semantics of updates in databases. In: Proceedings of 2nd ACM SIGACT-SIGMOD Conference, Atlanta (1983) 352-365
13. Gardenfors P., Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge, Mass. (1988)
14. Gardenfors P., Belief revision: an introduction. In: P. Gardenfors, ed., Belief Revision, Cambridge University Press (1992) 1-28
15. Gardenfors P. and Makinson D., Revision of knowledge systems using epistemic entrenchment. In: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Los Altos, Ca. (1988)
16. Geffner H., Default Reasoning: Causal and Conditional Theories. MIT Press (1992)
17. Hansson S. 0., A dyadic representation of belief. In: P. Gardenfors, ed., Belief Revision, Cambridge University Press (1992) 89-121
18. Harper W. L., Rational conceptual change. In: Bulletin of the Philosophy of Science Association, v. 2 (1977) 462-494
19. Jaynes E. T., Where do we stand on maximum entropy? In: R. D. Levine and M. Tribus (eds.) The Maximum Entropy Formalism, MIT Press, Cambridge, Mass. (1979) 15-118
20. Katsuno H. and Mendelzon A. 0., On the difference between updating a knowledge base and revising it. In: P. Gardenfors, ed., Belief Revision, Cambridge University Press (1992) 183-203
21. Keynes J. M., A Treatise on Probability, Macmillan, London (1921)
22. Konolige K., Hierarchic autoepistemic theories for nonmonotonic reasoning. In: Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, Saint Paul, Minn.(1988)
23. Lea Sombe, A glance at revision and updating in knowledge bases. International Journal of Intelligent Systems, v. 9 (1994) 1-27
24. Levi I., Subjunctives, dispositions and chances. Synthese, v.34 (1977) 423-455
25. Levy F., A survey of belief revision and updating in classical logic. International Journal of Intelligent Systems, v. 9 (1994) 29-59
26. Lifschitz V., Computing circumscription. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles (1985) 121-127
27. Lozinskii E., Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence, v. 6 (1994) 163-193
28. Lozinskii E., Resolving contradictions: a plausible semantics for inconsistent systems. Journal of Automated Reasoning, v. 12 (1994) 1-31
29. Makinson D., How to give it up: a survey of some formal aspects of the logic of theory change. Synthese, v. 62 (1985) 347-363
30. Makinson D., On the status of the postulate of recovery in the logic of theory change. Journal of Philosophical Logic, v. 16 ( 1987) 383-394
31. Neapolitan R., Probabilistic Reasoning in Expert Systems. John Wiley & Sons (1990)
32. Nebel B., Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, v. 422, Springer-Verlag (1990)
33. Nebel B., Syntax-based approaches to belief revision. In: P. Gardenfors, ed., Belief Revision, Cambridge University Press (1992) 52-88
34. Nilsson N., Probabilistic logic. Artificial Intelligence, v. 28 (1986) 71-87
35. Rao A. S. and Foo N. Y., Formal theories of belief revision. In: Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ontario (1989) 369-380
36. Rao A. S. and Foo N. Y., Minimal change and maximal coherence: a basis for belief revision and reasoning about actions. In: Proceedings of the 1 lth IJCAI, Detroit, Mich. (1989) 966-971
37. Rescher N., Hypothetical Reasoning. North-Holland (1964)
38. Rescher N. and Manor R., On inference from inconsistent premises. Theory and Decision, (1970) 179-219
39. Roos N., A logic for reasoning with inconsistent knowledge. Artificial intelligence, v. 57 (1992) 69-103
40. Rott H., Two methods of constructing contractions and revisions of knowledge systems. Journal of Philosophical Logic, v. 20 (1991) 149-173
41. Schwind C. B., Revision and action. international Journal of Intelligent Systems, v. 9 (1994) 143-152
42. Willard L. and Li Y. Y., The revised Gardenfors postulates and update semantics. In: Proceedings of the 3rd international Conference on Database Theory, Paris (1990). Lecture Notes in Computer Science, v. 470, Springer-Verlag, Berlin
43. Winslett M. S., Reasoning about action using a possible models approach. In: Proceedings of the 7th National Conference of American Association for Artificial Intelligence, Saint Paul, Minn. (1988) 89-93
44. Winslett M.S., Updating Logical Databases. Cambridge University Press (1990)