Book ChapterDOI
Formalization of Situation Awareness
Kenneth Baclawski,Mieczyslaw K. Kokar,Christopher J. Matheus,Jerzy Letkowski,Marek Malczewski +4 more
- pp 25-39
Reads0
Chats0
TLDR
This work proposes a formal basis for situation awareness that draws on sources and makes use of techniques from the logic, human-computer interaction and data fusion communities, and expresses this framework using various languages, including UML, DAML and the Slang formal methods language.Abstract:
Situation awareness means simply that one knows what is going on around oneself. In operational terms, this means that one knows the information that is relevant to a task. Maintaining a coherent awareness of the situation is essential to successful task completion. We propose a formal basis for situation awareness that draws on sources and makes use of techniques from the logic, human-computer interaction and data fusion communities. Our framework includes formalizations of the data fusion process as well as the notion of a situation. We express our formalization using various languages, including UML, DAML and the Slang formal methods language, each of which has its own unique contribution to our framework.read more
Citations
More filters
ReportDOI
Issues and Challenges in Situation Assessment (Level 2 Fusion)
Erik Blasch,Ivan Kadar,John S. Salerno,Mieczyslaw M. Kokar,Subrata Das,Gerald M. Powell,Daniel D. Corkill,Enrique H. Ruspini +7 more
TL;DR: Issues associated with Level 2 Information Fusion (Situation Assessment) including: user perception and perceptual reasoning representation, knowledge discovery process models, procedural versus logical reasoning about relationships, userfusion interaction through performance metrics, and syntactic and semantic representations are presented.
Proceedings ArticleDOI
Ontology-based approach for information fusion
TL;DR: A methodological approach and a flexible environment for ontology management that enables the building of extensible ontologies, and the mappingfiom ontologies to information sources is proposed.
Journal Article
High-level Information Fusion: An Overview.
Pek Hui Foo,Gee Wah Ng +1 more
TL;DR: In general, data and information fusion can provide enhancement to the outcomes of processes for solving various application problems and improvement in situation awareness (SAW) and inference that lead to better decision making.
Proceedings ArticleDOI
Issues and challenges of knowledge representation and reasoning methods in situation assessment (Level 2 Fusion)
Erik Blasch,Ivan Kadar,John J. Salerno,Mieczyslaw M. Kokar,Subrata Das,Gerald M. Powell,Daniel D. Corkill,Enrique H. Ruspini +7 more
TL;DR: Issues associated with Level 2 (Situation Assessment) including: user perception and perceptual reasoning representation, knowledge discovery process models, procedural versus logical reasoning about relationships, user-fusion interaction through performance metrics, and syntactic and semantic representations are presented.
Proceedings ArticleDOI
Derivation of ontological relations using formal methods in a situation awareness scenario
TL;DR: The paper shows a proof of concept that relation derivation in situation awareness can be done within a formal framework and identifies bottlenecks associated with this approach, including the issue of the large number of potential relations that may have to be considered by the theorem prover.
References
More filters
Book
Human Action: A Treatise on Economics
TL;DR: Mises attributed the tremendous technological progress and the consequent increase in wealth and general welfare in the last two centuries to the introduction of liberal government policies based on free-market economic teachings, creating an economic and political environment which permits individuals to pursue their respective goals in freedom and peace as discussed by the authors.
Book
Situation Awareness Analysis and Measurement
TL;DR: Theoretical underpinnings of Situation Awareness: A Critical Review as discussed by the authors is a critical review of the state of situation awareness in air traffic control and major aircraft accidents in the last decade.
Proceedings ArticleDOI
Revisions to the JDL data fusion model
TL;DR: The Data Fusion Model maintained by the Joint Directors of Laboratories (JDL) Data Fusion Group is the most widely used method for categorizing data fusion-related functions as discussed by the authors, and the current effort to revise the expand this model to facilitate the cost-effective development, acquisition, integration and operation of multi-source/multi-source systems.
Book
The situation in logic
TL;DR: In attempting to work out situation semantics as a theory of linguistic meaning, the chapter explains the development of a more general theory and examines what the study of logic and inference might look like within situation semantics.