A Framework to Model Norm Dynamics in Answer Set Programming.
Sofia Panagiotidi, Juan Carlos Nieves, Javier Vázquez-Salceda · 2009
Abstract—This paper presents ongoing work in the formal definition and implementation of a normative framework in Answer Set Programming. The framework uses as basis an existing action language and enriches it with a formal definition of norms (implementing standard deontic operators such as obligations and permissions). Properties of a norm’s lifecycle such as active, inactive, violated are specified. We argue that such properties can serve as a reasoning basis for the agent’s cycle. A partial implementation of the framework is then presented. An example is used in order to illustrate the application of the principles presented. I.