Modelling conditional knowledge discovery and belief revision by abstract state machines

Authors:
Christoph Beierle;Gabriele Kern-Isberner
Affiliations:
Praktische Informatik VIII, Wissensbasierte Systeme Fachbereich Informatik, Fern Universität Hagen, Hagen, Germany;Praktische Informatik VIII, Wissensbasierte Systeme Fachbereich Informatik, Fern Universität Hagen, Hagen, Germany
Venue:
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Year:
2003

Citing 5
Cited 4

Evolving algebras 1993: Lipari guide

Specification and validation methods
On the logic of iterated belief revision

Artificial Intelligence
Characterizing the principle of minimum cross-entropy within a conditional-logical framework

Artificial Intelligence
Background and Perspectives of Possibilistic Graphical Models

ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Focusing vs. Belief Revision: A Fundamental Distinction When Dealing with Generic Knowledge

ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning

A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision

Annals of Mathematics and Artificial Intelligence
A Verified AsmL Implementation of Belief Revision

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Qualitative Knowledge Discovery

Semantics in Data and Knowledge Bases
Algebraic knowledge discovery using haskell

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a high-level ASM specification for the CONDOR system that provides powerful methods and tools for managing knowledge represented by conditionals. Thereby, we are able to elaborate crucial interdependencies between different aspects of knowledge representation, knowledge discovery, and belief revision. Moreover, this specification provides the basis for a stepwise refinement development process of the CONDOR system based on the ASM methodology.