A Method of Policy Conflict Resolution
LI Xin
Abstract：By using the nonmonotonic logic programming technology , Chomicki et al .proposed an ap-proach to resolve policy conflict .Although the approach is efficient , reliable , and has good encapsula-tion, its application domain is limited .On the base of Chomicki ’ s approach , we firstly define combina-tion conflict that is more general than common policy conflict .Then, we introduce an optimal solution for combination conflict resolution , i.e., the largest action-acceptance set , and show the important property of the smallest action-cancellation set as the complement of the solution .Lastly, the logic program for combination conflict resolution is constructed by using weight constraint rule programming technology with the stable model semantics .Because the logic program always has at least one stable mode , it is reliable to obtain an optimal solution according to a stable model of this program .
Keywords：conflictweight constraint rulelargest action-acceptance setsmallest action-cancellation setstable model
Publication Date：2015-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：8( 186-192,229 )