Chapter

Artificial Intelligence and Computational Intelligence

Volume 5855 of the series Lecture Notes in Computer Science pp 469-478

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

  • Tetsuya MizutaniAffiliated withCarnegie Mellon UniversityDepartment of Computer Science, University of Tsukuba
  • , Shigeru IgarashiAffiliated withCarnegie Mellon UniversityDepartment of Computer Science, University of Tsukuba
  • , Yasuwo IkedaAffiliated withCarnegie Mellon UniversityMejiro University
  • , Masayuki ShioAffiliated withCarnegie Mellon UniversityCollege of Community Development, Tokiwa University

* Final gross prices may vary according to local VAT.

Get Access

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.

Keywords

Formal representation and analysis Time-concerned program systems Belief and decision Near miss accident