把程序,授权冲突和分辨率策略基于逻辑在护理扇区上通过一些例子的解释被分析。为由与订的分离(LPOD ) 使用逻辑节目在高级授权说明处理冲突的一个分辨率计划被建议。计划是有用的因为解决冲突源于联合积极、否定的授权,授权管理的复杂性,和说明的更少的清澈。它能很好指定一些冲突(例如非凡的冲突,潜在的冲突) ,并且基于文字和依赖上下文。因此它富有表达力、可得到。这被显示出授权在理论和实践两个都基于规则 LPOD 是很重要的。
Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction (LPOD) is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts (such as exceptional conflicts, potential conflicts), and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.