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.
A Computationally Grounded, Weighted Doxastic Logic / T. Chen, G. Primiero, F. Raimondi, N. Rungta. - In: STUDIA LOGICA. - ISSN 1572-8730. - 104:4(2016), pp. 679-703. ((Intervento presentato al convegno 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) Co-Located with 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) tenutosi a Paris nel 2014 [10.1007/s11225-015-9621-4].
A Computationally Grounded, Weighted Doxastic Logic
G. Primiero;
2016
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.File | Dimensione | Formato | |
---|---|---|---|
preprint.pdf
accesso aperto
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
394.25 kB
Formato
Adobe PDF
|
394.25 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.