A computationally grounded, weighted doxastic logic

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4) . pp. 679-703. ISSN 0039-3215 [Article] (doi:10.1007/s11225-015-9621-4)

PDF - Final accepted version (with author's formatting)
Download (416kB) | Preview


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.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 19203
Notes on copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/s11225-015-9621-4
Useful Links:
Depositing User: Taolue Chen
Date Deposited: 12 Apr 2016 10:10
Last Modified: 08 Jun 2022 19:04
URI: https://eprints.mdx.ac.uk/id/eprint/19203

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.