Verifiable agent dialogues

DOI10.1016/J.JAL.2005.12.009MaRDI QIDQ2372183zbMATH OpenOpenAlexFDO

Authors Christopher D. Walton

Publication date 25 July 2007

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2005.12.009

zbMATH Keywords

model checkingmulti-agent systemsdialogue protocolsagent communication

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in artificial intelligence (68T01)

Recommendations

• Model checking agent communication
• Verification of Protocol Conformance and Agent Interoperability
• Logics in Artificial Intelligence
• Computational Logic in Multi-Agent Systems
• Verifying Agents’ Conformance with Multiparty Protocols

Cites work

• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 1202873 (Why is no real title available?)
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• scientific article; zbMATH DE number 2080578 (Why is no real title available?)
• A calculus of mobile processes. II
• Games that agents play: A formal framework for dialogues between autonomous agents
• Guarded commands, nondeterminacy and formal derivation of programs
• On agent-based software engineering
• Statecharts: a visual formalism for complex systems

Cited in

(9)

• Towards verification of dialogue protocols: a mathematical model
• Model checking agent communication
• Contracts Violation: Justification via Argumentation
• Verification of Protocol Conformance and Agent Interoperability
• Logics in Artificial Intelligence
• Towards encoding of the transition relation in dialogue games model checking
• scientific article; zbMATH DE number 1948987 (Why is no real title available?)
• Protocol Synthesis with Dialogue Structure Theory
• Verifying Agents’ Conformance with Multiparty Protocols

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Verifiable agent dialogues

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