An Abstract General Model and Logic of Resource-Bounded Believers

Michael Wooldridge

This paper presents an abstract general model for representing the belief systems of resource-bounded reasoning agents. The intuition which underlies this new model is that it is possible to capture the key properties of many different types of belief system in a structure called a belief extension relation. The paper shows how such a relation may be derived for any system that satisfies some basic properties. The resulting formalism is simple, and yet suf-ficiently rich that it generalises many other frameworks for representing belief. A logic is defined, using the new model to give a semantics to belief modalities. The properties of the model and logic are discussed in detail. The paper closes with a discussion and remarks on future work.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.