A novel architecture for situation awareness systems

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

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

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. Current SA systems support the collection, filtering and presentation of data from different sources very well, and typically also some form of low-level data fusion and analysis, e.g., recognizing patterns over time. However, a still open 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 that emphasizes the rôle of formal logic and automated theorem provers in its main components. Additionally, it features controlled natural language for operator I/O. It offers three logical languages to adequately model different aspects of the domain. This allows to build SA systems in a more declarative way than is possible with current approaches. From an automated reasoning perspective, the main challenges lay in combining (existing) automated reasoning techniques, from low-level data fusion of time-stamped data to semantic analysis and alert generation that is based on linear temporal logic. The system has been implemented and interfaces with Google-Earth to visualize the dynamics of situations and system output. It has been successfully tested on realistic data, but in this paper we focus on the system architecture and in particular on the interplay of the different reasoning components.

LanguageEnglish
Title of host publicationAutomated reasoning with analytic tableaux and related methods
Subtitle of host publication18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009: proceedings
EditorsMartin Giese, Arild Waaler
Place of PublicationBerlin ; New York
PublisherSpringer, Springer Nature
Pages77-92
Number of pages16
ISBN (Print)3642027156, 9783642027154
DOIs
Publication statusPublished - 2009
Event18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009 - Oslo, Norway
Duration: 6 Jul 200910 Jul 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5607 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009
CountryNorway
CityOslo
Period6/07/0910/07/09

Fingerprint

Situation Awareness
Data fusion
Formal logic
Temporal logic
Information fusion
Automated Reasoning
Data Fusion
System Architecture
Decision making
Earth (planet)
Semantics
Linear Temporal Logic
Semantic Analysis
Information Fusion
Operator
Dynamic Environment
Natural Language
Data analysis
Filtering
Reasoning

Cite this

Baader, F., Bauer, A., Baumgartner, P., Cregan, A., Gabaldon, A., Ji, K., ... Schwitter, R. (2009). A novel architecture for situation awareness systems. In M. Giese, & A. Waaler (Eds.), Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009: proceedings (pp. 77-92). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5607 LNAI). Berlin ; New York: Springer, Springer Nature. https://doi.org/10.1007/978-3-642-02716-1_7
Baader, Franz ; Bauer, Andreas ; Baumgartner, Peter ; Cregan, Anne ; Gabaldon, Alfredo ; Ji, Krystian ; Lee, Kevin ; Rajaratnam, David ; Schwitter, Rolf. / A novel architecture for situation awareness systems. Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009: proceedings. editor / Martin Giese ; Arild Waaler. Berlin ; New York : Springer, Springer Nature, 2009. pp. 77-92 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{7966a1b731624438a2b8be9c938b0a9c,
title = "A novel architecture for situation awareness systems",
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. Current SA systems support the collection, filtering and presentation of data from different sources very well, and typically also some form of low-level data fusion and analysis, e.g., recognizing patterns over time. However, a still open 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 that emphasizes the r{\^o}le of formal logic and automated theorem provers in its main components. Additionally, it features controlled natural language for operator I/O. It offers three logical languages to adequately model different aspects of the domain. This allows to build SA systems in a more declarative way than is possible with current approaches. From an automated reasoning perspective, the main challenges lay in combining (existing) automated reasoning techniques, from low-level data fusion of time-stamped data to semantic analysis and alert generation that is based on linear temporal logic. The system has been implemented and interfaces with Google-Earth to visualize the dynamics of situations and system output. It has been successfully tested on realistic data, but in this paper we focus on the system architecture and in particular on the interplay of the different reasoning components.",
author = "Franz Baader and Andreas Bauer and Peter Baumgartner and Anne Cregan and Alfredo Gabaldon and Krystian Ji and Kevin Lee and David Rajaratnam and Rolf Schwitter",
year = "2009",
doi = "10.1007/978-3-642-02716-1_7",
language = "English",
isbn = "3642027156",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "77--92",
editor = "Martin Giese and Arild Waaler",
booktitle = "Automated reasoning with analytic tableaux and related methods",
address = "United States",

}

Baader, F, Bauer, A, Baumgartner, P, Cregan, A, Gabaldon, A, Ji, K, Lee, K, Rajaratnam, D & Schwitter, R 2009, A novel architecture for situation awareness systems. in M Giese & A Waaler (eds), Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009: proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5607 LNAI, Springer, Springer Nature, Berlin ; New York, pp. 77-92, 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, Oslo, Norway, 6/07/09. https://doi.org/10.1007/978-3-642-02716-1_7

A novel architecture for situation awareness systems. / Baader, Franz; Bauer, Andreas; Baumgartner, Peter; Cregan, Anne; Gabaldon, Alfredo; Ji, Krystian; Lee, Kevin; Rajaratnam, David; Schwitter, Rolf.

Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009: proceedings. ed. / Martin Giese; Arild Waaler. Berlin ; New York : Springer, Springer Nature, 2009. p. 77-92 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5607 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

TY - GEN

T1 - A novel architecture for situation awareness systems

AU - Baader, Franz

AU - Bauer, Andreas

AU - Baumgartner, Peter

AU - Cregan, Anne

AU - Gabaldon, Alfredo

AU - Ji, Krystian

AU - Lee, Kevin

AU - Rajaratnam, David

AU - Schwitter, Rolf

PY - 2009

Y1 - 2009

N2 - 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. Current SA systems support the collection, filtering and presentation of data from different sources very well, and typically also some form of low-level data fusion and analysis, e.g., recognizing patterns over time. However, a still open 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 that emphasizes the rôle of formal logic and automated theorem provers in its main components. Additionally, it features controlled natural language for operator I/O. It offers three logical languages to adequately model different aspects of the domain. This allows to build SA systems in a more declarative way than is possible with current approaches. From an automated reasoning perspective, the main challenges lay in combining (existing) automated reasoning techniques, from low-level data fusion of time-stamped data to semantic analysis and alert generation that is based on linear temporal logic. The system has been implemented and interfaces with Google-Earth to visualize the dynamics of situations and system output. It has been successfully tested on realistic data, but in this paper we focus on the system architecture and in particular on the interplay of the different reasoning components.

AB - 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. Current SA systems support the collection, filtering and presentation of data from different sources very well, and typically also some form of low-level data fusion and analysis, e.g., recognizing patterns over time. However, a still open 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 that emphasizes the rôle of formal logic and automated theorem provers in its main components. Additionally, it features controlled natural language for operator I/O. It offers three logical languages to adequately model different aspects of the domain. This allows to build SA systems in a more declarative way than is possible with current approaches. From an automated reasoning perspective, the main challenges lay in combining (existing) automated reasoning techniques, from low-level data fusion of time-stamped data to semantic analysis and alert generation that is based on linear temporal logic. The system has been implemented and interfaces with Google-Earth to visualize the dynamics of situations and system output. It has been successfully tested on realistic data, but in this paper we focus on the system architecture and in particular on the interplay of the different reasoning components.

UR - http://www.scopus.com/inward/record.url?scp=77956318048&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-02716-1_7

DO - 10.1007/978-3-642-02716-1_7

M3 - Conference proceeding contribution

SN - 3642027156

SN - 9783642027154

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 77

EP - 92

BT - Automated reasoning with analytic tableaux and related methods

A2 - Giese, Martin

A2 - Waaler, Arild

PB - Springer, Springer Nature

CY - Berlin ; New York

ER -

Baader F, Bauer A, Baumgartner P, Cregan A, Gabaldon A, Ji K et al. A novel architecture for situation awareness systems. In Giese M, Waaler A, editors, Automated reasoning with analytic tableaux and related methods: 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009: proceedings. Berlin ; New York: Springer, Springer Nature. 2009. p. 77-92. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-02716-1_7