Journal of Automated Reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The Computer Journal
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Attempto Controlled English for Knowledge Representation
Reasoning Web
Compiling control knowledge into preconditions for planning in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Monitoring of real-time properties
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Pellet-HeaRT - proposal of an architecture for ontology systems with rules
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Controlled natural languages for knowledge representation
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
RT-MLR: a hybrid framework for context-aware systems
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part II
A formal engineering approach to high-level design of situation analysis decision support systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
An intelligent situation awareness support system for safety-critical environments
Decision Support Systems
Hi-index | 0.00 |
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.