Mone: Mutation Oriented Norm Evolution

doi:10.1109/ACCESS.2020.3037798

Return

Mone: Mutation Oriented Norm Evolution

2020-01-01

Xianchang Wang

Ronghao Fu

Rui Zhang *

DOI：10.1109/ACCESS.2020.3037798

Original

Save

View PDF

Abstract

En 中文

A norm regulates the run-time behavior of the agent with the action and condition to trigger the action. Because of the incomplete understanding of the world, the result of the action may be different for the same agent with the 'same' context, or unintended different context. To study this phenomenon, the classical norm definition is extended from the condition-action pair to cover the expectation, in order to verify the result of the action. The Norm evolution can be defined as a gradual process which makes a norm more complete and effective. In the terminology of evolution, a norm is called mutated if the result contradicts to the expectation, i.e. at least one of the expected conditions is invalid. At run-time, norms are executed in series. A mutation brings new knowledge to the following states and might affect the later execution of the norms. Such knowledge provides will help the norm designer to complete the definitions. A mutation based norm evolution (Mone) method is proposed in this paper to detect the mutations, to propagate the evidence and to crossover the norms for completeness. The method is formalized in the Description Logic, and implemented with the algorithms for mutation detection and norm crossover. The case study illustrates the Description Logic $\mathcal {ALCI}$ of the method and shows the potential to evolve the norms autonomously in the Blackboard system, GBBopen.

Keywords:

Mutation

Norm Revision

Blackboard-system

Multi-Agent System

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.