The logic of conflicts between decision making agents

A transition logic for schemata conflicts

“…It suggests translations of the set of concepts, introduced in [19,21], in terms of standard modal logic. Definition 1.…”

“…The preconditions and postconditions of the event rules are represented by first-order formulae, see, e.g. [19,21].…”

“…Some approaches to more elaborated methods for conflict identification have nevertheless been suggested earlier, e.g., in [2,3,18,19], where various aspects of schema integration were discussed and later applied to integration of multi-agent architecture designs for handling problematic cases of global inconsistency in distributed information systems [6,14,21]. In [21], a formal model for the analysis of conflicts in sets of autonomous agents described in a first-order language and by a transaction mechanism was presented.…”

“…In [21], a formal model for the analysis of conflicts in sets of autonomous agents described in a first-order language and by a transaction mechanism was presented. The approach took static as well as dynamic aspects of interaction into account.…”

A framework for determining design correctness

“…Furthermore, we integrate and develop earlier approaches to conflict analyses that have been suggested by us [17,18], where various aspects of schema integration were discussed and later applied to integration of multi-agent architecture designs [8,5] for handling problematic cases of global inconsistency in distributed information systems. In [14], a formal model for the analysis of conflicts in sets of autonomous agents described in a first-order language and by a transaction mechanism was presented. The approach took static as well as dynamic aspects of interaction into account.…”