Skip to main content

TS

A novel architecture for situation awareness systems

Authors

Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter

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},
    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},
    month            = jul,
    editor           = {{Arild Waaler and Martin Giese}},
    year             = {2009},
    keywords         = {situation awareness, description logics, theorem proving},
    title            = {A Novel Architecture for Situation Awareness Systems},
    booktitle        = {TABLEAUX 2009 - The 18th International Conference on Automated Reasoning with Analytic Tableaux and
                        Related Methods},
    pages            = {77-92},
    address          = {Oslo, Norway}
  }

Download

Served by Apache on Linux on seL4.