A conceptual agent model based on a uniform approach to various belief operations

Authors:
Christoph Beierle;Gabriele Kern-Isberner
Affiliations:
Dept. of Computer Science, FernUniversität in Hagen, Hagen, Germany;Dept. of Computer Science, TU Dortmund, Dortmund, Germany
Venue:
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Year:
2009

Citing 7
Cited 2

Qualitative probabilities for default reasoning, belief revision, and causal modeling

Artificial Intelligence
On the logic of iterated belief revision

Artificial Intelligence
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
Belief update revisited

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Iterated belief change: a transition system approach

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents

Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents

Revising belief without revealing secrets

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A case study on the application of probabilistic conditional modelling and reasoning to clinical patient data in neurosurgery

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

Intelligent agents equipped with epistemic capabilities are expected to carry out quite different belief operations like answering queries and performing diagnosis, or revising and updating their own state of belief in the light of new information. In this paper, we present an approach allowing to realize such belief operations by making use of so-called c-change operations as a uniform core methodology. The key idea is to apply the binary c-change operator in various ways to create various belief operations. Ordinal conditional functions (OCF) serve as representations of epistemic states, providing qualitative semantical structures rich enough to validate conditionals in a semi-quantitative way. In particular, we show how iterated revision is possible in an OCF environment in a constructive manner, and how to distinguish clearly between revision and update.