智能代理VIII/会议录 Intelligent agents VIII

出版时间：2002-12  出版社：1 edition (2002年8月1日)  作者：John-Jules C. Meyer  页数：460  

内容概要

This book is the eighth in the successful line of Intelligent Agents books published in LNAI. It is based on the Eighth International Workshop on Agent Theories, Architectures, and Languages, ATAL 2001, held in Seattle, WA, USA, in August 2001.    The 31 revised full papers presented together with an overall introduction and two special session overviews were carefully reviewed and selected during two rounds of improvement from 68 submissions. The papers are organized in topical sections on agent modeling; formal specification and verification of agents; agent architectures and languages; agent communication; collaborative planning and resource allocation; trust and safety, formal theories of negotiation; and agents for hand-held, mobile, or embedded devices.

书籍目录

IntroductionAgent Modeling  Knowledge Level Software Engineering  Emotions and Personality in Agent Design and Modeling  The Calculus: An Algebraic Agent Language  Evolving Real-Time Local Agent Control for Large-Scale Multi-agent SystemsFormal Specification and Verification of Agents  On the Epistemic Feasibility of Plans in Multiagent Systems Specifications  On Multi-agent Systems Specification via Deontic Logic  Agents and Roles: Refinement in Alternating-Time Temporal Logic  The Computational Complexity of Agent VerificationAgent Architectures and Languages  A Goal-Based Organizational Perspective on Multi-agent Architectures  MINRVA-A Dynamic Logic Programming Agent Architecture  Running AgentSpeak(L) Agents on SIM_AGENTAgent Communication  Ontological Overhearing  Agent Dialogues with Conflicting Preferences  An Abstract Machine for Classes of Communicating Agents Based on Deduction  A Formal Semantics for ProxyCommunicative Acts  Commitment MachinesCollaborative Planning and Resource Allocation  Generating Bids for Group-Related Actions in the Context of Prior Commitments  Dynamic Distributed Resource Allocation:A Distributed Constraint Satisfaction Approach  Improving Optimality of n Agent Envy-Free DivisionsTrust and Safety  Trustworthiness of Information Sources and Information Pedigrees  Revisiting Asimov's First Law: A Response to the Call to ArmsFormal Theories of Negociation  Formal Theories of Negotiation. Section Introduction  A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains  ……Agents for Hand-Held,Mobile,or Embdedded DevicesAuthor Index