Authors:
Mairon Belchior
1
and
Viviane Torres da Silva
2
Affiliations:
1
Fluminense Federal University, Brazil
;
2
IBM Research, Brazil
Keyword(s):
Norms, Normative Conflict, Runtime Conflict, Multi-Agent Systems, OWL, SWRL.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Cloud Computing
;
Data Engineering
;
Distributed and Mobile Software Systems
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Intelligent Agents
;
Internet Technology
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Multi-Agent Systems
;
Ontologies and the Semantic Web
;
Ontology Engineering
;
Semantic Web Technologies
;
Services Science
;
Software Agents and Internet Computing
;
Software Engineering
;
Symbolic Systems
;
Web Information Systems and Technologies
Abstract:
Norms in multi-agent systems are used as a mechanism to regulate the behavior of autonomous and heterogeneous agents and to maintain the social order of the society of agents. Norms define what is permitted, prohibited and obligatory. One of the challenges in designing and managing systems governed by norms is that they can conflict with another. Two norms are in conflict when the fulfillment of one causes the violation the other and vice-versa. Several researches have been proposed mechanisms to detect conflicts between norms. However, there is a kind of normative conflict not investigated yet in the design phase, here called runtime conflicts, that can only be detected if we know information about the runtime execution of the system. This paper presents an approach based on execution scenarios to detect normative conflicts that depends on execution order of runtime events in multi-agent systems.