Agent Technology from a Formal Perspective

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Rouff, Christopher A. (Επιμελητής έκδοσης), Hinchey, Michael (Επιμελητής έκδοσης), Rash, James (Επιμελητής έκδοσης), Truszkowski, Walter (Επιμελητής έκδοσης), Gordon-Spears, Diana (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2006.
• Σειρά: NASA Monographs in Systems and Software Engineering,
• Θέματα: Computer science.; Mathematical logic.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of...

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

• What Is an Agent? And What Is an Agent Community?
• to Formal Methods
• Formal Methods and Agent-Based Systems
• A Process-Algebraic Agent Abstraction
• Dynamic Team Formation in Executable Agent-Based Systems
• Scenario-Based Engineering of Multi-Agent Systems
• Verification Within the KARO Agent Theory
• Assuring the Behavior of Adaptive Agents
• Agents in a Wild World
• Formal Methods at NASA Goddard Space Flight Center
• Formal Verification of Autonomy Models.