BDI agents are among the most widely studied models of rational agents. In this architecture, systems are seen as rational agents with certain mental attitudes such as belief, desire, and intention. In this paper, we consider the model-checking problem for CTL_BDI, the branching-time logic CTL augmented with the BDI modalities, over finite-state structures, and in particular, a proof-ofconcept tool that is based on a translation to a formula in a fixed-point logic. We give a description of this tool in some details and also discuss some preliminary evaluations.
|Titolo:||A Fixed-point Model-checker for BDI Logics over Finite-state Worlds|
|Data di pubblicazione:||2020|
|Appare nelle tipologie:||2.1.3 Articolo su libro con ISSN|