A Computationally Grounded, Weighted Doxastic Logic

作     者：Chen, Taolue Primiero, Giuseppe Raimondi, Franco Rungta, Neha 

作者机构：Middlesex Univ Dept Comp Sci London England NASA Ames Res Ctr Moffett Field CA 94035 USA 

出 版 物：《STUDIA LOGICA》 (Stud. Logica)

年 卷 期：2016年第104卷第4期

页      面：679-703页

核心收录：

学科分类：01[哲学] 0101[哲学-哲学] 0701[理学-数学] 

基　　金：EPSRC [EP/K033921/1] Funding Source: UKRI 

主　　题：Multi-agent systems Doxastic logic Model checking 

摘      要：Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical situations. We provide model checking algorithms, complexity characterisations and a prototype implementation. We validate our proposal against a case study from the avionic domain: we assess and verify the situational awareness of pilots flying an aircraft with several automated components in off-nominal conditions.