UniSa - IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishBDI 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 |
| Autori: | |
| Data di pubblicazione: | 2020 |
| Handle: | http://hdl.handle.net/11386/4756302 |
| Appare nelle tipologie: | 2.1.3 Articolo su libro con ISSN |
File in questo prodotto:
Copyright © 2021