论文部分内容阅读
把程序，授权冲突和分辨率策略基于逻辑在护理扇区上通过一些例子的解释被分析。为由与订的分离(LPOD ) 使用逻辑节目在高级授权说明处理冲突的一个分辨率计划被建议。计划是有用的因为解决冲突源于联合积极、否定的授权，授权管理的复杂性，和说明的更少的清澈。它能很好指定一些冲突(例如非凡的冲突，潜在的冲突) ，并且基于文字和依赖上下文。因此它富有表达力、可得到。这被显示出授权在理论和实践两个都基于规则 LPOD 是很重要的。