Labeled @-calculus: formalism for time-concerned human factors

Authors:
Tetsuya Mizutani;Shigeru Igarashi;Yasuwo Ikeda;Masayuki Shio
Affiliations:
Department of Computer Science, University of Tsukuba;Graduate School of Community Development, Tokiwa University;Department of Computer & Media Science, Saitama Junior College;College of Community Development, Tokiwa University
Venue:
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Year:
2006

Citing 6
Cited 2

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
Combinations of Modal Logics

Artificial Intelligence Review
Formal Analysis for Continous Systems Controlled by Programs

ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis

ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols

TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning

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

In the recent years it has come to be more and more important to analyze and verify systems which control complex external systems, like railways and airlines, whose serious accidents have been caused not only by bugs in software or hardware but also by human errors possibly involved in recognition or decision. This paper deals with an actual traffic accident widely known as “Shigaraki Kougen Railway accident” caused by a fatal decision based upon certain incorrect knowledge, as an example of systems involving human factor. In order to represent and analyze this accident, the formal system @-calculus is generalized into the “labeled” @-calculus so as to describe time-concerned recognition, knowledge, belief and decision of humans besides external physical or logical phenomena, while the word ‘time-concerned' is used to express the property not only time-dependent mathematically but also distinctively featured by subtle and sophisticated sensitivity, interest or concern in exact time. Topics: Artificial intelligence, logic, mathematical knowledge management.