DocumentCode :
3223418
Title :
A general algebraic structure for situation analysis
Author :
Maupin, Patrick ; Jousselme, Anne-Laure
Author_Institution :
R&D Defence Canada-Valcartier, Val-Belair, Que., Canada
Volume :
2
fYear :
2005
fDate :
25-28 July 2005
Abstract :
The aim of this paper is to present recent works made in the study of distributed systems and knowledge-based programs and show how these results can contribute to the formalization of the situation analysis (SA) problem. Precisely, we propose to use the algebraic concepts detailed in a recent book of Fagin, Halpern, Moses and Vardi as a blueprint for SA system design. In this paper we show how the formal model in question can be used to handle and distinguish numerical evaluations of probabilities and belief as well as means to represent and reason on knowledge. After a presentation of key models and concepts of situation awareness (SAW) and SA we proceed with a brief review of formal models recently used and associated published work. Building upon Fagin and Halpern´s work but also on Bundy´s which extend the probability structure proposed by Nilsson this paper shows how to translate the basic concepts of functional SA models in the proposed formal algebraic framework. The algebraic concepts exposed and studied herein are those of agents and environment, local and global states, temporal sequences of global states called runs, systems or sets of runs, actions, protocols and finally contexts.
Keywords :
belief networks; multi-agent systems; probabilistic logic; temporal reasoning; Fagin work; Halpern´s work; SAW; algebraic concept; distributed system; formal model; knowledge reasoning; knowledge representation; knowledge-based program; probability; situation analysis; situation awareness; temporal sequence; Books; Buildings; Guidelines; Humans; Protocols; State estimation; Surface acoustic waves; System analysis and design; Terminology; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Fusion, 2005 8th International Conference on
Print_ISBN :
0-7803-9286-8
Type :
conf
DOI :
10.1109/ICIF.2005.1591960
Filename :
1591960
Link To Document :
بازگشت