检索结果-南通市图书馆

描述逻辑ALC中关于伪子概念极小改变的R-演算

在线全文

学校读者我要写书评

暂无评论

软件学报 2019年第12期30卷 3683-3693页

作者：王雨晖眭跃飞中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院大学计算机与控制学院北京100049 中国再保险(集团)股份有限公司信息技术中心北京100033

AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)Δ|Γ的R-演算,其中,Δ是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了... 详细信息

AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)Δ|Γ的R-演算,其中,Δ是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息,将考虑一种新的极小改变的定义:伪子概念极小改变(■-极小改变),其中,■是一种伪子概念的关系;之后,在此基础上给出一种新的R-演算TDL,它是关于■-极小改变可靠和完备的,使得Δ|Γ在TDL中可以被约减为一个理论Δ∪Θ(记作TDL■Δ|Γ?Δ,Θ)当且仅当Θ是Γ关于Δ的一个■-极小改变.

关键词：描述逻辑信念修正 R-演算伪子概念 ■-极小改变

每个非零的 a∈ R/ M中不存在极小元(英文)

在线全文

学校读者我要写书评

暂无评论

软件学报 2000年第11期11卷 1425-1429页

作者：张再跃眭跃飞扬州大学工业学院计算机系中国科学院软件研究所北京100080

证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c

关键词：图灵度递归可枚举度极小时

在线全文

学校读者我要写书评

暂无评论

基于LOBA逻辑的言语行为表示

计算机研究与发展 2007年第3期44卷 420-426页

作者：潘瑜曹存根眭跃飞中国科学院计算技术研究所智能软件研究部知识科学与工程课题组中国科学院计算技术研究所智能软件研究部知识科学与工程课题组北京100080

言语行为是多主体系统中一个有趣而重要的问题.该文从实际推理主体(practical reasoninga-gents)研究的角度对语用学中的言语行为进行了探讨.在多主体系统中言语行为的研究主要集中在3个方面:1)言语行为的本体描述;2)主体如何推理出合... 详细信息

言语行为是多主体系统中一个有趣而重要的问题.该文从实际推理主体(practical reasoninga-gents)研究的角度对语用学中的言语行为进行了探讨.在多主体系统中言语行为的研究主要集中在3个方面:1)言语行为的本体描述;2)主体如何推理出合理的言语行为;3)主体如何正确处理其他主体发出的言语行为.这3个方面侧重点不同,但是相互间又紧密关联.重点讨论上述2)和3)两方面的内容,建立了一个主体认知过程的模型,并用可信主体逻辑LOBA(logic of believable agents)进行形式化表示.在主体认知过程的模型中,考虑包括主体的感知、信念、情绪、期望、目标、意图、承诺在内的各种认知成分,通过引入相应的认知动作来考虑这些认知成分之间的动态关系,并在此基础上描述主体如何产生和处理言语行为.在逻辑系统的构建上,LOBA逻辑扩展了KARO逻辑和LORA逻辑,将主体的情绪和认知动作都作为模态算子进行处理,并构建了3层语义模型以解释主体的认知动作.利用上述方法,LOBA可以在更细的粒度上来刻画主体的动态的实际推理过程.

关键词：可信主体认知过程言语行为 LOBA逻辑

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

关于极限引理的一些应用

数学学报（中文版） 1992年第4期35卷 478-482页

作者：眭跃飞中国科学院软件研究所北京100080

本文首先推广定义 n-可加速集,给出 n-非可加集与 n-低度之间的关系.证明 r.e.度(?)使得存在 r.e.n-可加速集 A≡_n(?)当且仅当(?)^(n)>(?)^(n).然后运用极限引理到 H_n 的描述中,证明 r.e.度(?)包含一个 n-极大集 A≡_n(?)当且仅当(?)... 详细信息

本文首先推广定义 n-可加速集,给出 n-非可加集与 n-低度之间的关系.证明 r.e.度(?)使得存在 r.e.n-可加速集 A≡_n(?)当且仅当(?)^(n)>(?)^(n).然后运用极限引理到 H_n 的描述中,证明 r.e.度(?)包含一个 n-极大集 A≡_n(?)当且仅当(?)∈H_n,i.,e.(?)^(n)≥(?)^(n+1)且(?)∈H_n 当且仅当存在一个度≤(?)的函数 f,n-do-minate 每个递归函数.

关键词：极限引理 n-可加速集递归函数

基于描述逻辑DL_(RBAC)的RBAC形式化模型

在线全文

学校读者我要写书评

暂无评论

北京航空航天大学学报 2010年第11期36卷 1315-1319页

作者：马丽马世龙眭跃飞北京航空航天大学计算机学院北京100191 中国科学院计算技术研究所北京100190

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符... 详细信息

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.

关键词：访问控制基于角色的访问控制描述逻辑

在线全文

学校读者我要写书评

暂无评论

贪婪缺省逻辑

软件学报 2017年第7期28卷 1759-1772页

作者：陈博曹存根眭跃飞中国科学院计算技术研究所智能信息处理重点实验室北京100190 国网山东省电力公司电力科学研究院山东济南250001

提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺... 详细信息

提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集.同时,还存在贪婪缺省理论(T,?)的某一GD-扩展,该GD-扩展不包含缺省理论的任一扩展.因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑.

关键词：缺省逻辑扩展 GD-扩展伪子公式 Gentzen系统

在线全文

学校读者我要写书评

暂无评论

NKI中的本体、框架和逻辑理论(英文)

软件学报 2005年第12期16卷 2045-2053页

作者：眭跃飞高颖曹存根中国科学院计算技术研究所北京100080

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Horn逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是... 详细信息

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Horn逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,基于Horn逻辑程序的推理关于用本体和框架表示的知识库是正确的.

关键词：本体框架理论转换

RelatioR/M中的与 R中的≤_T的关系(英文)

在线全文

学校读者我要写书评

暂无评论

软件学报 2000年第6期11卷 745-750页

作者：眭跃飞中国科学院软件研究所北京100080

证明存在递归可枚举图灵度 a和 c使得 c a,并且对每个递归可枚举图灵度 b≤ Ta,b≠ c,其中 a是 R/M中的一个元素 ,R/ M是递归可枚举图灵度集 R模可盖图灵度集 M的商 .

关键词：递归可枚举度弱真值表归约

基于模糊命题模态逻辑的形式推理系统(英文)

在线全文

学校读者我要写书评

暂无评论

软件学报 2005年第8期16卷 1359-1365页

作者：张再跃眭跃飞曹存根江苏科技大学计算机科学与技术系智能计算联合实验室江苏镇江212003 中国科学院计算机技术研究所智能信息处理重点实验室北京100080

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊... 详细信息

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.

关键词：命题模态逻辑模糊推理形式系统