Epistemic Belief Frames in Distributed Effects-based Reasoning

Negotiation of a consistent ontology and concept label set is a significant problem in multi-agent systems (MAS). Heterogeneous MAS may not be able to fully negotiate a normalized ontology and so dealing with paraconsistent ontologies may be required. A belief calculus provides operators capable of expressing and maintaining uncertainty in paraconsistent reasoning operations over a belief frame. Developing and limiting a belief frame with heterogeneous ontologies is a particular problem for distributed MAS reasoning about causal chains. We propose using a sorted logic for entailing and populating epistemic belief frames supporting a belief calculus for distributed MAS effects-based reasoning