Modelling conditional knowledge discovery and belief revision by abstract state machines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2589, Issue , 2003, Pages 186-203

  Beierle, Christoph ^a   Kern Isberner, Gabriele ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION;

ABSTRACT STATE MACHINES; BELIEF REVISION; DEVELOPMENT PROCESS; STEPWISE REFINEMENT;

SPECIFICATIONS;

EID: 35248823188     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_10     Document Type: Article

References (25)

1. C. E. Alchourrón, P. Gärdenfors, and P. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510-530, 1985.
2. S. Benferhat, D. Dubois, and H. Prade. Representing default rules in possibilistic logic. In Proceedings 3th International Conference on Principles of Knowledge Representation and Reasoning KR'92, pages 673-684, 1992.
3. C. Boutilier and M. Goldszmidt. Revision by conditional beliefs. In Proceedings 11th National Conference on Artificial Intelligence (AAAI'93), pages 649-654, Washington, DC., 1993.
4. C. Beierle and G. Kern-Isberner. Footprints of conditionals. In Festschrift in Honor of Jörg H. Siekmann. Springer-Verlag, Berlin, 2002. (to appear).
5. C. Beierle and G. Kern-Isberner. Knowledge discovery and the inverse representation problem. In Proceedings of the 2002 International Conference on Information and Knowledge Engineering, IKE'02, 2002.
6. I. Csiszár. I-divergence geometry of probability distributions and minimization problems. Ann. Prob., 3:146-158, 1975.
7. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1-29, 1997.
8. D. Dubois and H. Prade. Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge. In Proceedings First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, pages 96-107, Berlin Heidelberg New York, 1997. Springer.
9. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, Mass., 1988.
10. J. Gebhardt and R. Kruse. Background and perspectives of possibilistic graphical models. In Proceedings First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, pages 108-121. Springer, 1997.
11. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
12. G. Kern-Isberner. Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artificial Intelligence, 98:169-208, 1998.
13. G. Kern-Isberner. Solving the inverse representation problem. In Proceedings 14th European Conference on Artificial Intelligence, ECAI'2000, pages 581-585, Berlin, 2000. IOS Press.
14. G. Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087, 2001.
15. G. Kern-Isberner. Discovering most informative rules from data. In Proceedings International Conference on Intelligent Agents, Web Technologies and Internet Commerce, IAWTIC'2001, 2001.
16. H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR'91, pages 387-394, San Mateo, Ca., 1991. Morgan Kaufmann.
17. J. B. Paris. The uncertain reasoner's companion - A mathematical perspective. Cambridge University Press, 1994.
18. J. B. Paris and A. Vencovská. A method for updating that justifies minimum cross entropy, International Journal of Approximate Reasoning, 7:1-18, 1992.
19. J. B. Paris and A. Vencovská. In defence of the maximum entropy inference process. International Journal of Approximate Reasoning, 17:77-103, 1997.
20. F.P. Ramsey. General propositions and causality. In R.B. Braithwaite, editor, Foundations of Mathematics and other logical essays, pages 237-257. Routledge and Kegan Paul, New York, 1950.
21. W. Rödder and G. Kern-Isberner. Léa Sombé und entropie-optimale Informationsverarbeitung mit der Expertensystem-Shell SPIRIT. OR Spektrum, 19/3, 1997.
22. W. Rödder and G. Kern-Isberner. Representation and extraction of information by probabilistic logic. Information Systems, 21(8):637-652, 1997.
23. J. E. Shore. Relative entropy, probabilistic inference and AI. In L. N. Kanal and J. F. Lemmer, editors, Uncertainty in Artificial Intelligence, pages 211-215. North-Holland, Amsterdam, 1986.
24. W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In W. L. Harper and B. Skyrms, editors, Causation in Decision, Belief Change, and Statistics, II, pages 105-134. Kluwer Academic Publishers, 1988.
25. R. Stärk, J. Schmid, and E. Börger. Java and the Java Virtual Machine: Definition, Verification, Validation. Springer-Verlag, 2001.