BIROn - Birkbeck Institutional Research Online

    A computationally grounded, weighted doxastic logic

    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.

    Full text not available from this repository.


    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
    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


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item