【摘 要】
：
为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的(&)-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的(&)-ALCN系统,给出了(&)-ALCN的语法,
【机 构】
：
广西师范大学数学科学学院,桂林,541004广东省佛山市顺德区大良实验中学,顺德,528300;广西师范大学数学科学学院,桂林,541004;广西师范大学计算机科学与信息工程学院,桂林,541004;
论文部分内容阅读
为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的(&)-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的(&)-ALCN系统,给出了(&)-ALCN的语法,并详细给出了概念(≥n R)和(≤n R)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合D(&)(c),并且利用集合D(&)(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于(&)-ALC,系统(&)-ALCN具有更强的表达能力,并且(&)-ALCN的计算复杂度是Pspace完全的.
其他文献
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
DNA,三个简单的英文字母,揭开了地球上的生态秘密.科学家已用无性繁殖制造出令世界震惊的复制牛、复制猴、复制羊.大家别以为基因工程与自己没有切身的关系.经过基因工程改造
中国国有商业银行改革是深化金融改革的重要步骤。现代银行业市场竞争的实质是现代银行制度的竞争，而现代银行制度又是以商业银行的治理结构为核心的。所以，商业银行治理结构的
在全球范围内，并购已经成为企业扩大规模、增强实力、提高效率的重要手段。在我国，证券市场通过并购实现资源优化配置的功能也进一步凸现出来，逐渐成为证券市场上的热点。并购与
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
以葡萄糖为碳源合成荧光碳点;以巯基琥珀酸为稳定剂,合成CdTe量子点。通过紫外吸收光谱和荧光发射光谱对二者的荧光性能进行表征。又以毕赤酵母作为指示生物,考察了延滞期的
Venture Capital(创业投资)的研究最近在国内外成为热点。本文的主旨在于综合以往的研究成果，结合实际，提出一个比较综合的创业投资风险控制方案建议。文章的开始部分回顾了国
本文以2003年在广东省在沪深两市上市的118家上市公司2003年年报为样本，主要运用实证方法，对上市公司按照第一大股东所有权性质进行分类，分为第一大股东为国有类和非国有类，国有
仰望天空,你会看到蔚蓝无比的天空中飘动着活泼好动的云。云的美丽无法形容,它变幻莫测,时而有,时而无,时而大,时而小,时而宽,时而窄……不信,你瞧!
Looked up to the sky,
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥