基于智能规划技术的RBAC策略分析方法 E的成员,如NPPL的成员,则满足上述策略的前提条件,该策略可以被执行。 然而,STRIPS[10]语言对于规划问题的描述总是基于封闭世界假设(Close World Assumption,CWA),即表示“未明确赋值为真的命题总为假命题”。尽管PDDL[11]语言描述支持OWA[12],但很少有
基于10个网页-相关网页
然而, STRIPS [ 10] 语言对于规划问题的描述总 是基于封闭世界假设( Close Wor ld Assumption, CWA) , 即表示 未明确赋值为真的命题总为假命 题.
基于1个网页-相关网页
短语
封闭世界假设
[计]
closed world assumption
是基于封闭世界假设
Close World Assumption
;
CWA
闭合世界假设
closed world assumption
·2,447,543篇论文数据,部分数据来源于NoteExpress