Group know-how

Abstract

A useful tool for reasoning about multiagent systems (MAS) is a MAS theory, which also helps with the design of multiagent systems. Most of MAS theories are exclusively or partially based on a logic formalisation, which allows to define various properties of agents, such as intentions or knowledge. Most of them deals with properties of individual agents, but properties of groups of agents are becoming equally important in some applications too. This work aims a defining the notion of group know-how within the framework based on qualitative temporal logic, and tries to show how this formalisation can be used in the design process of real multiagent systems. The definition of group know-how is so that to satisfy the success theorem - i.e. if a rational group knows, how to achieve a goal and wants (intends) to achieve it, it will achieve it in reality.