Specification and Verification of Multi-agent Systems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dastani, Mehdi (Επιμελητής έκδοσης), Hindriks, Koen V. (Επιμελητής έκδοσης), Meyer, John-Jules Charles (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2010.
• Θέματα: Computer science.; Software engineering.; Mathematical logic.; Computers.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Software Engineering.; Computing Methodologies.

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researche...

Πίνακας περιεχομένων:

• Using Theorem Proving to Verify Properties of Agent Programs
• The Refinement of Multi-Agent Systems
• Model Checking Agent Communication
• Directions for Agent Model Checking*
• Model Checking Logics of Strategic Ability: Complexity*
• Correctness of Multi-Agent Programs: A Hybrid Approach
• The Norm Implementation Problem in Normative Multi-Agent Systems
• A Verification Logic for Goal Agents
• Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
• The Cognitive Agents Specification Language and Verification Environment
• A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
• Assurance of Agent Systems: What Role Should Formal Verification Play?.