The Logic of Conflicts between Decision Making Agents
2000 (English)In: Journal of logic and computation, Vol. 10, no 4, 583-602 p.Article in journal (Refereed) PublishedText
We present a formal model for the analysis of conflicts in sets of autonomous agents restricted in the sense thatthey can be described in a (first-order) language and by a transaction mechanism. In this model, we allow forenrichment of agent systems with correspondence assertions, expressing the relationship between different entitiesin the formal specifications of the agents. Thereafter the specifications are analysed with respect to conflicts. Iftwo specifications are free of conflicts, the formulae of one specification together with the set of correspondenceassertions do not restrict the models of the other specification, i.e. the agent system does not restrict the individualagents. The approach takes into account static as well as dynamic aspects of this kind of interaction. Classificationsof complexity of determining whether two specifications are free of conflicts are also presented. Furthermore, if theagents are allowed to act in accordance with the result of executions of a decision module, a situation may occurwhere, for example, subsets of their possible goal sets are consistent, but in actual fact the individual agents maynevertheless always terminate in states that are in conflict. Therefore, the model is also enriched by processes foranalysing when specifications are compatible with respect to states for which it is reasonable to assume that theyeventually will be reached.
Place, publisher, year, edition, pages
2000. Vol. 10, no 4, 583-602 p.
Multi-agent system, conflict detection, conceptual schema, theorem proving
Research subject Computer and Systems Sciences
IdentifiersURN: urn:nbn:se:su:diva-131364DOI: 10.1093/logcom/10.4.583OAI: oai:DiVA.org:su-131364DiVA: diva2:938092