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]

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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

71Downloads

6 month trend

382Hits

Additional statistics are available via IRStats2.