Group know-how

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 theori es are exclusively or partially based on a logic formalisation, which allow s 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 formalisat ion can be used in the design process of rear multiagent systems. The defin ition 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 achie ve it, it will achieve it in reality.