期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
COMBINATORY LOGIC AS THE FIRST-ORDER MATHEMATICAL THEORY
1
作者 江明德 文蕙 《Chinese Science Bulletin》 SCIE EI CAS 1989年第24期2079-2083,共5页
I. INTRODUCTION The exploration for a unified basis of the combinatory logic and the predicate calculus will promote laying a strict and thorough mathematical foundation of the programming language possessing itself o... I. INTRODUCTION The exploration for a unified basis of the combinatory logic and the predicate calculus will promote laying a strict and thorough mathematical foundation of the programming language possessing itself of the functional and logic paradigms. The purpose of this note, proceeding from the algebraic oersoective, is to formulize the first-order mathematical 展开更多
关键词 combinatory logic predicate CALCULUS first-order mathemtical theory.
原文传递
支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G) 被引量:11
2
作者 王海龙 马宗民 +1 位作者 严丽 程经纬 《计算机学报》 EI CSCD 北大核心 2009年第8期1511-1524,共14页
分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数... 分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础. 展开更多
关键词 模糊描述逻辑 F-SHOIQ(G) 模糊数据类型表示 Tableaux算法 自定义模糊数据类型谓词
下载PDF
基于扩展序类逻辑的Ontology形式化描述与模型检验 被引量:4
3
作者 陶县俊 王晓东 《计算机工程与设计》 CSCD 北大核心 2008年第22期5780-5782,5785,共4页
本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系。用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点。参考描述逻辑描述本... 本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系。用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点。参考描述逻辑描述本体的方法,提出了以扩展序类逻辑来描述本体,并对描述后的本体进行检验。 展开更多
关键词 本体 序类逻辑 谓词 描述逻辑 属性 事件
下载PDF
Semantic Description and Verification of Security Policy Based on Ontology 被引量:1
4
作者 TANG Chenghua WANG Lina +2 位作者 TANG Shensheng QIANG Baohua TIAN Jilong 《Wuhan University Journal of Natural Sciences》 CAS 2014年第5期385-392,共8页
To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By de... To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By defining the basic elements of the security policy, the relationship model between the ontology and the concept of security policy based on the Web ontology language (OWL) is established, so as to construct the semantic description framework of the security policy. Through modeling and reasoning in the Protege, the ontology model of authorization policy is proposed, and the first-order predicate description logic is introduced to the analysis and verification of the model. Results show that the ontology-based semantic description of security policy has better flexibility and practicality. 展开更多
关键词 security policy ONTOLOGY semantic description ofpolicy the first-order predicate description logic
原文传递
基于分布RDF(S)模型的信息查询与集成 被引量:2
5
作者 李剑 《软件学报》 EI CSCD 北大核心 2008年第2期369-378,共10页
在Web应用环境中,可以通过RDF(S)形式描述企业领域内分布信息资源的语义,以提高信息查询的准确性.提出了描述分布异构RDF(S)的分布RDF(S)模型,并基于这一模型给出了实现分布RDF(S)查询的方法,此查询方法既能实现实例层次的查询,也能实... 在Web应用环境中,可以通过RDF(S)形式描述企业领域内分布信息资源的语义,以提高信息查询的准确性.提出了描述分布异构RDF(S)的分布RDF(S)模型,并基于这一模型给出了实现分布RDF(S)查询的方法,此查询方法既能实现实例层次的查询,也能实现概念层次的查询.基于这一方法,用户能够以统一的形式来查询,获取相关的信息资源,同时还可以实现分布RDF(S)的集成. 展开更多
关键词 RDF(resource description framework) RDF SCHEMA 分布一阶谓词逻辑 分布信息集成
下载PDF
从摹状词理论看逻辑与语言哲学
6
作者 夏年喜 《湖北大学学报(哲学社会科学版)》 北大核心 2007年第2期72-76,共5页
迄今为止,关于语言哲学还没有一个公认的明确界定。所以,在某些哲学家是否是语言哲学家的问题上,人们常有分歧。但在“弗雷格和罗素都是语言哲学家,并且是极具影响的语言哲学家”这点上是没有分歧的,在“摹状词理论是语言哲学的重要组... 迄今为止,关于语言哲学还没有一个公认的明确界定。所以,在某些哲学家是否是语言哲学家的问题上,人们常有分歧。但在“弗雷格和罗素都是语言哲学家,并且是极具影响的语言哲学家”这点上是没有分歧的,在“摹状词理论是语言哲学的重要组成部分”这点上也是没有争议的。这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。因为弗雷格和罗素对摹状词的分析完全是建立在现代逻辑的基础上的,这是不容争辩的事实。这一事实充分证明,现代逻辑在语言哲学研究中确实担当着重要的角色,在某种意义上甚至可以说没有现代逻辑就没有语言哲学。 展开更多
关键词 现代逻辑 谓词 摹状词
下载PDF
一种模糊时空描述逻辑F-ALCT(D_(fst))
7
作者 程海涛 马宗民 +1 位作者 严丽 张富 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第9期1259-1263,共5页
为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方... 为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示. 展开更多
关键词 语义WEB 模糊描述逻辑 模糊时空区域 拓扑谓词 具体域 模糊时空描述逻辑
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部