Chen, Taolue and Primiero, G. and Raimondi, F. and Rungta, N. (2016) A computationally grounded, weighted doxastic logic. Studia Logica 104 (4), pp. 679-703. ISSN 0039-3215.
Abstract
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.
Metadata
| Item Type: | Article |
|---|---|
| Keyword(s) / Subject(s): | Multi-agent systems, Doxastic logic, Model checking |
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Taolue Chen |
| Date Deposited: | 27 Sep 2017 11:13 |
| Last Modified: | 09 Aug 2023 12:42 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/19657 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
