Agent-Based Defeasible Control in Dynamic Environments: Handbook of Defeasible Reasoning and Uncertainty Management Systems, cartea 7
Editat de John-Jules Ch. Meyer, Jan Treuren Limba Engleză Paperback – 15 dec 2010
Preț: 1168.47 lei
Preț vechi: 1424.97 lei
-18%
Puncte Express: 1753
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9789048161096
ISBN-10: 9048161096
Pagini: 492
Ilustrații: IX, 479 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:Softcover reprint of hardcover 1st ed. 2002
Editura: Springer
Colecția Handbook of Defeasible Reasoning and Uncertainty Management Systems
Seria Handbook of Defeasible Reasoning and Uncertainty Management Systems
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048161096
Pagini: 492
Ilustrații: IX, 479 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:Softcover reprint of hardcover 1st ed. 2002
Editura: Springer
Colecția Handbook of Defeasible Reasoning and Uncertainty Management Systems
Seria Handbook of Defeasible Reasoning and Uncertainty Management Systems
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
I: Introduction and Basic Concepts.- Basic Concepts.- II: Modelling Frameworks and Generic Agent Models.- Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control.- Control Techniques for Complex Reasoning: The Case of Milord II.- Coordinating Heterogeneous Components Using Executable Temporal Logic.- Compositional Design and Reuse of a Generic Agent Model.- IIIA: Formal Analyis: General Approaches.- Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems.- A Descriptive Dynamic Logic and its Application to Reflective Architectures.- Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.- IIIB: Formal Analysis: Logics for Agents.- Formalising Abilities and Opportunities of Agents.- Seeing is Believing (And so are Hearing and Jumping).- Motivational Attitudes in the KARO Framework.- Modelling Social Agents: Towards Deliberate Communication.- IIIC: Formal Analysis: Reasoning about Dynamics.- Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages.- Reasoning about Action and Change: Actions with Abnormal Effects.- Preferential Action Semantics.- Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments.- Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.
Caracteristici
Is - together with Volume 6 - devoted to the topics Reasoning and Dynamics, covering both the topics of "Dynamics of Reasoning", where reasoning is viewed as a process, and "Reasoning about Dynamics", which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems