Formal verification of multi-agent systems behaviour emerging from cognitive task analysis

DOI10.1080/0952813031000119719MaRDI QIDQ4467046zbMATH OpenOpenAlexFDO

Authors Ana Lilia Laureano-Cruces, Axel Arturo Barceló-Aspeitia

Publication date 8 June 2004

Published in Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/0952813031000119719

zbMATH Keywords

artificial intelligencebehaviour-based agentscognitive task analysisformal languagemodal logic

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 1759732
• Specification and Verification of Multi-Agent Systems
• Combined model checking for temporal, probabilistic, and real-time logics
• Compositional verification of multi-agent systems in temporal multi-epistemic logic

Cites work

• Cognitive task analysis: a proposal to model reactive behaviours
• scientific article; zbMATH DE number 42737 (Why is no real title available?)
• scientific article; zbMATH DE number 48035 (Why is no real title available?)
• scientific article; zbMATH DE number 192880 (Why is no real title available?)
• scientific article; zbMATH DE number 534879 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• Information Flow
• Linear logic
• Models for reactivity
• On agent-based software engineering
• Propositional dynamic logic of regular programs
• REACTIVE AGENT DESIGN FOR INTELLIGENT TUTORING SYSTEMS

Cited in

(5)

• Assurance of agent systems: what role should formal verification play?
• Task structures as a basis for modeling knowledge-based systems
• Verification of heterogeneous multi-agent system using MCMAS
• Deontic Logic in Computer Science
• When human intuition fails: using formal methods to find an error in the ``proof of a multi-agent protocol

Describes a project that uses

Uses Software

• KARO

This page was built for publication: Formal verification of multi-agent systems behaviour emerging from cognitive task analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4467046)