Book ChapterDOI
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 +8 more
- pp 77-92
TLDR
A novel system architecture that emphasizes the role of formal logic and automated theorem provers in its main components and offers three logical languages to adequately model different aspects of the domain is developed.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 role 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.read more
Citations
More filters
Journal ArticleDOI
The racerpro knowledge representation and reasoning system
TL;DR: A mature architecture for typical-case reasoning tasks is provided in RacerPro, a description logic reasoner that goes well beyond standard inference services provided by other OWL reasoners.
Proceedings Article
Controlled Natural Languages for Knowledge Representation
TL;DR: The most mature of these novel languages are presented, show how they can balance the disadvantages of natural languages and formal languages for knowledge representation, and discuss how domain specialists can be supported writing specifications in controlled natural language.
Journal ArticleDOI
An intelligent situation awareness support system for safety-critical environments
TL;DR: The results demonstrate that the SASS provides a useful graphical, mathematically consistent system for dealing with incomplete and uncertain information to help operators maintain the risk of dynamic situations at an acceptable level.
Book
FSTTCS 2006 : foundations of software technology and theoretical computer science : 26th International Conference, Kolkata, India, December 13-15, 2006 : proceedings
S. Arun-Kumar,Naveen Garg +1 more
TL;DR: In this paper, Hennessy-Plotkin-Brookes revisited the problem of finding the stopping distance in Tanner Graphs, and showed that the problem can be solved in linear time.
Journal ArticleDOI
Semantic web technologies in pervasive computing
Juan Ye,Stamatia Dasiopoulou,Graeme Stevenson,Georgios Meditskos,Efstratios Kontopoulos,Ioannis Kompatsiaris,Simon Dobson +6 more
TL;DR: The strengths and weaknesses of current and projected approaches are analysed and a roadmap is derived for using the Semantic Web as a platform, on which open, standard-based, pervasive, adaptive and sensor-driven systems can be deployed.
References
More filters
Journal ArticleDOI
Toward a Theory of Situation Awareness in Dynamic Systems
TL;DR: A theoretical model of situation awareness based on its role in dynamic human decision making in a variety of domains is presented and design implications for enhancing operator situation awareness and future directions for situation awareness research are explored.
BookDOI
The Description Logic Handbook: Theory, Implementation and Applications
TL;DR: The Description Logic Handbook as mentioned in this paper provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.
Proceedings ArticleDOI
The temporal logic of programs
TL;DR: A unified approach to program verification is suggested, which applies to both sequential and parallel programs, and the main proof method is that of temporal reasoning in which the time dependence of events is the basic concept.
Book
Events in the Semantics of English: A Study in Subatomic Semantics
TL;DR: Focusing on the structure of meaning in English sentences at a "subatomic" level - that is, a level below the one most theories accept as basic or "atomic" - Parsons asserts that the semantics of simple English sentences require logical forms somewhat more complex than is normally assumed in natural language semantics.
BookDOI
The Semantic Web - ISWC 2003
TL;DR: This work ran into a number of problems concerning alternative interpretations of the SN notation and the inability to express some of the interpretations in OWL, and details a list of issues to consider when describing formally concepts in any ontology, and a collection of criteria for evaluating alternative representations.