基于约束逻辑的非单调属性委托

被引：2

作者：

陈波 ^{[1
]}

曾国荪 ^{[2
]}

李莉 ^{[1
]}

机构：

[1] 同济大学计算机科学及工程系

[2] 国家高性能计算机工程技术中心同济分中心

来源：

计算机科学 | 2008年 / 06期

关键词：

约束逻辑; 否定推理; 属性访问控制; 代理; 授权;

D O I：

暂无

中图分类号：

TP18 [人工智能理论]; TP393.08 [];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ; 0839 ; 1402 ;

摘要：

分析了目前分布式协作环境下属性委托模型否定授权能力的现状,引入约束逻辑中否定推理的原理,提出一个支持否定授权的属性委托模型,并给出相应的操作语义,最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明,提出的基于约束逻辑否定推理的属性委托模型在扩展的范围约束域上是可行的,与原有的类似模型相比具有更强的表达能力。

引用

页码：202 / 205

页数：4

共 4 条

[1] 基于属性的扩展委托模型 [J].

叶春晓 ;

吴中福 ;

符云清 ;

钟将 ;

冯永 .

计算机研究与发展, 2006, (06) :1050-1057

[2]

Agostino Dovier,Enrico Pontelli,Gianfranco Rossi.A necessary condition for Constructive Negation in Constraint Logic Programming[J].Information Processing Letters,2000(3)

[3] NEGATION AND CONSTRAINT LOGIC PROGRAMMING [J].

STUCKEY, PJ .

INFORMATION AND COMPUTATION, 1995, 118 (01) :12-33

[4]

Wlodzimierz Drabent.What is failure? An approach to constructive negation[J].Acta Informatica,1995

← 1 →