Interaction-Oriented Ability Specification and Reasoning

The interaction among different agents is an important factor of the agent capabilities in multi agent systems. Presented in this paper is a scheme that can describe the impact of interaction on agent capability by integrating description logic into task languages. A formal system DTL is proposed, which is intended to axiomatize the set of accomplishable task formulas. The soundness, completeness and decidability of DTL are also proved.