- 著者
-
水谷 哲也
五十嵐 滋
塩 雅之
池田 靖雄
- 雑誌
- 全国大会講演論文集
- 巻号頁・発行日
- vol.70, pp.37-38, 2008-03-13
NΣラベル付カルキュラスは,外部の物理的または論理的現象を制御する人間またはコンピュータプログラムの,時間に依存して変化する知識・信念およびそれに基づく決定を記述・分析・検証する形式的体系である.この体系で,信楽高原鐡道列車衝突事故およびJAL焼津沖ニアミス事故の論理的分析を行う.これらは連続系を制御するシステムであり,誤解や誤認識をもつヒューマンファクターを内包している.これらの例を分析することにより,人工知能と,プログラムが制御する外部環境およびヒューマンファクターの関係についての研究が行われる.NΣ-labeled calculus is a formal system in order to describe time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena. Formal verification and analysis of the Shigaraki Kougen Railway accident and the JAL near miss accident in this formalism will be presented as examples of cooperating systems controlling continuously changing objects including human factor with misunderstanding or incorrect recognition. Through these examples, relationship among artificial intelligence, external environment and human factors will be investigated.