NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Model Checking Degrees of Belief in a System of AgentsReasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. 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.
Document ID
20140013440
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Raimondi, Franco (Middlesex Univ. United Kingdom)
Primero, Giuseppe (Middlesex Univ. United Kingdom)
Rungta, Neha (Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Date Acquired
November 11, 2014
Publication Date
May 5, 2014
Subject Category
Cybernetics, Artificial Intelligence And Robotics
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN13493
Meeting Information
Meeting: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
Location: Paris
Country: France
Start Date: May 5, 2014
End Date: May 9, 2014
Funding Number(s)
CONTRACT_GRANT: NNA08CG83C
Distribution Limits
Public
Copyright
Public Use Permitted.
Keywords
MAS Verification
Degrees of Belief
Air France 447

Related Records

There are no records associated with this record.
No Preview Available