Change search
ReferencesLink to record
Permanent link

Direct link
The Logic of Conflicts between Decision Making Agents
Stockholm University, Faculty of Social Sciences, Department of Computer and Systems Sciences.
2000 (English)In: Journal of logic and computation, Vol. 10, no 4, 583-602 p.Article in journal (Refereed) PublishedText
Abstract [en]

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.
Keyword [en]
Multi-agent system, conflict detection, conceptual schema, theorem proving
National Category
Information Systems
Research subject
Computer and Systems Sciences
Identifiers
URN: urn:nbn:se:su:diva-131364DOI: 10.1093/logcom/10.4.583OAI: oai:DiVA.org:su-131364DiVA: diva2:938092
Available from: 2016-06-16 Created: 2016-06-16 Last updated: 2016-09-26Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Ekenberg, Love
By organisation
Department of Computer and Systems Sciences
Information Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 2 hits
ReferencesLink to record
Permanent link

Direct link