Model checking degrees of belief in a system of agents

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems (AAMAS '14). In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 05-09 May 2014, Paris, France. ISBN 9781450327381. [Conference or Workshop Item]

[img]
Preview
PDF - Published version (with publisher's formatting)
Download (684kB) | Preview

Abstract

In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this extension. In this way, degrees of beliefs do not need to be provided externally, but can be derived automatically from the possible executions of the system,thereby providing a computationally grounded formalism.We leverage the semantics to (a) construct a model checking algorithm, (b) investigate its complexity, (c) provide a Java implementation of the model checking algorithm, and(d) evaluate our approach using the standard benchmark of the dining cryptographers. Finally, we provide a detailed case study: using our framework and our implementation,we assess and verify the situational awareness of the pilot of Air France 447 flying in off-nominal conditions.

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15151
Notes on copyright: Copyright © 2014, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). Permission granted on 09/02/2016, by the IFAAMAS (www.ifaamas.org) to include the full text of the published version in the Middlesex University Research Repository at http://eprints.mdx.ac.uk/15151/
Useful Links:
Depositing User: Giuseppe Primiero
Date Deposited: 23 Apr 2015 09:11
Last Modified: 10 Jun 2021 04:47
URI: https://eprints.mdx.ac.uk/id/eprint/15151

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
50Downloads
343Hits

Additional statistics are available via IRStats2.