Situation awareness and ability in coalitions

This paper proposes a discussion on the formal links between the situation calculus and the semantics of interpreted systems as far as they relate to higher-level information fusion tasks. Among these tasks situation analysis require to be able to reason about the decision processes of coalitions. Indeed in higher levels of information fusion, one not only need to know that a certain proposition is true (or that it has a certain numerical measure attached), but rather needs to model the circumstances under which this validity holds as well as agents´ properties and constraints. In a previous paper the authors have proposed to use the interpreted system semantics as a potential candidate for the unification of all levels of information fusion. In the present work we show how the proposed framework allow to bind reasoning about courses of action and situation awareness. We propose in this paper a (1) model of coalition, (2) a model of ability in the situation calculus language and (3) a model of situation awareness in the interpreted systems semantics. Combining the advantages of both situation calculus and the interpreted systems semantics, we show how the situation calculus can be framed into the interpreted systems semantics. We illustrate on the example of RAP compilation in a coalition context, how ability and situation awareness interact and what benefit is gained. Finally, we conclude this study with a discussion on possible future works.