A novel architecture for situation awareness systems
Authors
TU Dresden
Australian National University
NICTA
Macquarie University
Abstract
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environments. The current research challenge is to build systems that support *higher-level* information fusion, viz., to integrate domain specific knowledge and automatically draw conclusions that would otherwise remain hidden or would have to be drawn by a human operator. To address this challenge, we have developed a novel system architecture and system implementation as part of the *Situation Awareness by Inference and Logic* (SAIL) project. It differs from other approaches by emphasizing the role of formal logics and automated theorem provers in all its main components. This supports a declarative approach to building SA systems across different domains. The paper describes a particular SAIL system and its architecture.
BibTeX Entry
@inproceedings{Baader_BBCGJLRS_09, publisher = {Springer}, booktitle = {TABLEAUX 2009 --- The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods}, month = jul, paperurl = {https://ts.data61.csiro.au/publications/nicta_full_text/1103.pdf}, year = {2009}, editor = {{Arild Waaler and Martin Giese}}, keywords = {situation awareness, description logics, theorem proving}, title = {A Novel Architecture for Situation Awareness Systems}, author = {Baader, Franz and Bauer, Andreas and Baumgartner, Peter and Cregan, Anne and Gabaldon, Alfredo and Ji, Krystian and Lee, Kevin and Rajaratnam, David and Schwitter, Rolf}, address = {Oslo, Norway}, pages = {77--92} }