Intelligent Agents II Agent Theories, Architectures, and Languages: IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings

Description

This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995. The 26 papers are revised final versions of the workshop presentations selected from a total of 54 submissions; also included is a comprehensive introduction, a detailed bibliography listing 355 relevant publications, and a subject index. The book is structured into seven sections, reflecting the most current major directions in agent-related research. Together with its predecessor, Intelligent Agents, published as volume 890 in the LNAI series, this book provides a timely and comprehensive state-of-the-art report. The rights of agents....Pages 1-16 Formalising motivational attitudes of agents....Pages 17-32 Decision procedures for prepositional linear-time belief-desire-intention logics....Pages 33-48 Semantical considerations on some primitives for agent specification....Pages 49-64 Reasoning about acting, sensing and failure handling: A logic for agents embedded in the real world....Pages 65-78 Time, knowledge, and choice....Pages 79-96 Learning routines....Pages 97-110 Conflict detection and resolution in collaborative planning....Pages 111-126 Games servers play: A procedural approach....Pages 127-142 On reasoning about other agents....Pages 143-155 Architectures for agents that track other agents in multi-agent worlds....Pages 156-170 Using recursive agent models effectively....Pages 171-186 Experiences with an architecture for intelligent, reactive agents....Pages 187-202 A pragmatic BDI architecture....Pages 203-218 Alarms: An implementation of motivated agency....Pages 219-234 The architecture of an agent building shell....Pages 235-250 MIX: A general purpose multiagent architecture....Pages 251-266 Cognition based multi-agent architecture....Pages 267-282 Some issues in the design of market-oriented agents....Pages 283-298 Cooperating logical agents....Pages 299-314 Open reflective agents....Pages 315-330 Foundations of a logical approach to agent programming....Pages 331-346 Evaluation of KQML as an agent communication language....Pages 347-360 Consistency and context management in a multi-agent belief revision testbed....Pages 361-375 A markovian model for interaction among behavior-based agents....Pages 376-391 SIM_AGENT: A toolkit for exploring agent designs....Pages 392-407 Agent theories, architectures, and languages: A bibliography....Pages 408-431