Formal Analysis of an Airplane Accident in $N{\it \Sigma}$-Labeled Calculus

Authors:
Tetsuya Mizutani;Shigeru Igarashi;Yasuwo Ikeda;Masayuki Shio
Affiliations:
Department of Computer Science, University of Tsukuba, Tsukuba, Japan;Department of Computer Science, University of Tsukuba, Tsukuba, Japan;Mejiro University, Tokyo, Japan;College of Community Development, Tokiwa University, Mito, Japan
Venue:
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Year:
2009

Citing 5
Cited 3

The complexity of reasoning about knowledge and time. I. lower bounds

Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Reasoning about knowledge

Reasoning about knowledge
On the model theory of knowledge

On the model theory of knowledge
An approach to formal verification of human–computer interaction

Formal Aspects of Computing
Formal Analysis of an Airplane Accident in $N{\it \Sigma}$-Labeled Calculus

AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence

Formal Analysis of an Airplane Accident in $N{\it \Sigma}$-Labeled Calculus

AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
A realtime human-computer ensemble system: formal representation and experiments for expressive performance

AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
A matching method between music scores and performance data in a realtime person-computer ensemble system

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

$N{\it \Sigma}$-labeled calculus is a formal system for representation, verification and analysis of time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena.In this paper, a formal verification and analysis of the JAL near miss accident is presented as an example of cooperating systems controlling continuously changing objects including human factor with misunderstanding or incorrect recognition.