Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] :5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings /
Contributor(s): Müller, Jörg P [editor.] | Rao, Anand S [editor.] | Singh, Munindar P [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 1555Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Description: XXIV, 464 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540490579.Subject(s): Computer science | Computer communication systems | Software engineering | Computer logic | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Computer Communication Networks | Software Engineering | Logics and Meanings of ProgramsOnline resources: Click here to access online
Belief-Desire-Intention -- The Belief-Desire-Intention Model of Agency -- BDI Models and Systems: Reducing the Gap -- Information-Passing and Belief Revisionin Multi-agent Systems -- On the Relationship between BDI Logics and Standard Logics of Concurrency -- Intention Reconsideration Reconsidered -- Making SharedPlans More Concise and Easier to Reason About -- Theories -- Autonomous Norm Acceptance -- Moral Sentiments in Multi-agent Systems -- Social Structure in Artificial Agent Societies: Implications for Autonomous Problem-Solving Agents -- The Bases of Effective Coordination in Decentralized Multi-agent Systems -- A Model Checking Algorithm for Multi-agent Systems -- Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic -- Emergent Mental Attitudes in Layered Agents -- Architectures -- The Right Agent (Architecture) to Do the Right Thing -- Representing Abstract Agent Architectures -- HEIR - A Non-hierarchical Hybrid Architecture for Intelligent Robots -- A-Teams: An Agent Architecture for Optimization and Decision-Support -- Goal-Satisfaction in Large-Scale Agent Systems: A Transportation Example -- Task Decomposition and Dynamic Role Assignment for Real - Time Strategic Teamwork -- Languages -- Agent Languages and Their Relationship to Other Programming Paradigms -- A Survey of Agent-Oriented Methodologies -- The Agentis Agent InteractionModel -- Content-Based Routing as the Basis for Intra-Agent Communication -- Agent Communication Language: Towards a Semantics based on Success, Satisfaction, and Recursion -- Control Structures of Rule-Based Agent Languages -- A Reactive Approach for Solving Constraint Satisfaction Problems -- Increasing Resource Utilization and Task Performance by Agent Cloning -- An Index to Volumes 1–5 of the Intelligent Agents Series -- An Index to Volumes 1–5 of the Intelligent Agents Series.
The leading edge of computer science research is notoriously ?ckle. New trends come and go with alarming and unfailing regularity. In such a rapidly changing ?eld, the fact that research interest in a subject lasts more than a year is worthy of note. The fact that, after ?ve years, interest not only remains, but actually continues to grow is highly unusual. As 1998 marked the ?fth birthday of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), it seemed appropriate for the organizers of the original workshop to comment on this remarkable growth, and re ect on how the ?eld has developed and matured. The ?rst ATAL workshop was co-located with the Eleventh European Conference on Arti?cial Intelligence (ECAI-94), which was held in Amsterdam. The fact that we chose an AI conference to co-locate with is telling: at that time, we expected most researchers with an interest in agents to come from the AI community. The workshop, whichwasplannedoverthesummerof1993,attracted32submissions,andwasattended by 55 people.ATAL was the largest workshop at ECAI-94, and the clear enthusiasm on behalfofthecommunitymadethedecisiontoholdanotherATALworkshopsimple.The ATAL-94proceedingswereformallypublishedinJanuary1995underthetitleIntelligent Agents, and included an extensive review article, a glossary, a list of key agent systems, and — unusually for the proceedings of an academic workshop — a full subject index. Thehighscienti?candproductionvaluesembodiedbytheATAL-94proceedingsappear to have been recognized by the community, and resulted inATAL proceedings being the most successful sequence of books published in Springer-Verlag s Lecture Notes in Arti?cial Intelligence series.