Reasoning about Concurrent Actions in Multi-Agent Systems

摘要

Concurrence is an Important research area in collaborative problem solving . This paper offers a formal definition for cooperative sequences in multi-agent systems, discusses the different categories of concurrent actions, and proposes some rules for situation revision and an algorithm used to generate resulting situations. An example is also given to show how to solve concurrent problems occurring in multi-agent systems.