Verification of Intelligent Agents with ACTL for Epistemic Reasoning (CROSBI ID 646720)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bagić, Marina ; Kunštić, Marijan
engleski
Verification of Intelligent Agents with ACTL for Epistemic Reasoning
Verification of multi-agent systems (MAS) is a huge challenge, especially for those systems where security and safety are of major importance. Verification detects faults, defects and drawbacks in an early stage of software development. Here, we give a formal model for verification of MAS by means of model checking technique. We extend the existing action computation tree logic (ACTL) with epistemic operators in order to reason about knowledge properties of MAS. We introduce new operators for manipulation on agent's actions with data. We explain their syntax and semantics for our ACTL-er (ACTL for epistemic reasoning), and provide a case study for a MAS system of foraging bees.
intelligent agents, verification, temporal logic
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
76-82.
2006.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006)
Masoud Mohammadian
Canberra: Institute of Electrical and Electronics Engineers (IEEE)
0-7695-2731-0
Podaci o skupu
2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006)
predavanje
28.11.2006-01.12.2006
Sydney, Australija