A Formal Approach to Aggregated Belief Formation

Authors:
Annerieke Heuvelink;Michel C. Klein;Jan Treur
Affiliations:
Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands 1081 HV and TNO Defence, Security, and Safety, Department of Training and Instruction, , Soesterberg ...;Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands 1081 HV;Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands 1081 HV
Venue:
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Year:
2008

Citing 5
Cited 0

SOAR: an architecture for general intelligence

Artificial Intelligence
A framework for knowledge-based temporal abstraction

Artificial Intelligence
Translating Algebraic Specifications to Prolog Programs: A Comparative Study

Proceedings of the International Workshop on Algebraic and Logic Programming
A survey on knowledge compilation

AI Communications
BOA: A Cognitive Tactical Picture Compilation Agent

IAT '07 Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can represent several things, such as a belief about a period in which other beliefs held or the minimal or maximal certainty with which a belief held. As such they contain richer information than the basic beliefs they are aggregated from and can be used to optimize an agent's search through its memory and its reasoning processes. The developed method can also aggregate over aggregated beliefs, hence nested aggregations are possible. An implementation in Prolog demonstrates its operationality.