Naslov
Verification of Intelligent Agents with ACTL for Epistemic Reasoning

Autori
Bagić, Marina ; Kunštić, Marijan

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Book of Abstracts of International Conference on Computational Intelligence for Modelling, Control and Automation Jointly with International Conference on Intelligent Agents Web Technologies and International Commerce / Mohammadian, M. - Sydney : University of Canberra, Australija, 2006

ISBN
0-76952731-0

Skup
International Conference on Computational Intelligence for Modelling, Control and Automation Jointly with International Conference on Intelligent Agents Web Technologies and International Commerce

Mjesto i datum
Sydney, Australija, 29.11.2006. - 01.12.2006

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
ACTL; MAS

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA