Kategoria BISAC: Computers >> Logic Design

This book is based on the thoroughly refereed post-workshop proceedings of the International Workshop on Agent Communication Languages, ACL, held in conjunction with AAMAS 2003 in Melbourne, Australia in July 2003. Besides the 12 workshop papers, 10 additional papers on agent communication mainly from the AAMAS 2003 main conference are included in this volume.

The book presents a coherent and complete overview of the state of the art in agent communication. The papers are organized in topical sections on

- fundamentals of agent communication;

- agent communication and commitments;...

Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with...

Agent and multiagent concepts offer higher level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, perception, commitments, goals, beliefs, and intentions all of which need conceptual modeling. The AOSE 2005 workshop sought to examine the credentials of agent-based approaches as a software engineering paradigm, and to gain an insight into what agent-oriented software engineering will look like, and what its benefits will be.

This book represents the...

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002.

The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle...