チーム状況認識の定式化と推論法

抄録

チーム状況認識の概念を定義し、様相論理を用いた定式化を行う。さらに、人間がこれを推論により獲得する過程を検討することにより、TSAを推論する手法を提案する。