Title
A formal approach to aggregated belief formation
Author
Heuvelink, A.
Klein, M.C.A.
Treur, J.
TNO Defensie en Veiligheid
DenV
Contributor
Klusch, M. (editor)
Pechoucek, M. (editor)
Polleres, A. (editor)
Publication year
2008
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. © 2008 Springer-Verlag Berlin Heidelberg.
Subject
Belief aggregation
Memory
Term algebra
Agents
Aggregates
Algebra
Technical presentations
Applications.
Belief aggregation
Formal approaches
Memory
Operationality
Reasoning processes
Term algebra
Formal methods
To reference this document use:
http://resolver.tudelft.nl/uuid:2351625c-a376-417a-bf01-ab3c5d21d816
DOI
https://doi.org/10.1007/978-3-540-85834-8_8
TNO identifier
181303
ISBN
3540858334
ISSN
0302-9743
Source
12th International Workshop on Cooperative Information Agents, CIA 2008, 10 September 2008 through 12 September 2008, Prague, 74822, 5180 LNAI, 71-85
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Bibliographical note
Sponsors: : Czech Technical University; IEEE Comp. Soc. Stand. Org. Commit. on Intell. and Phys. Agents; Air Force Research Laboratory (AFRL); Whitestein Technologies; Rockwell Automation
Document type
conference paper