【摘 要】
：
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法，但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况，有的学者是把粗糙描述逻辑先通过一个转换函数
【基金项目】
：
国家自然科学基金资助项目（11201053,11026081）
论文部分内容阅读
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法，但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况，有的学者是把粗糙描述逻辑先通过一个转换函数转换为标准描述逻辑，然后再用Tableau算法实现推理，这就需要在Tableau算法中增加一些规则，这增加了算法不必要的工作。文中给出了粗糙描述逻辑中概念包含关系的一种新的推理的Tableau算法，在这种改进的算法中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性，并证明了它的正确性，通过实例说明了它的有效性。
其他文献
新农福畜牧养殖专业合作社位于陕西省渭南市澄城县王庄镇,成立于2009年3月,注册资金500万元。自创办以来,合作社业务范围不断扩大,管理水平不断提升,畜牧养殖产业链不断延伸,
数据挖掘中如何根据数据之间的相似度确定簇（ Cluster）数一直是聚类算法中需要解决的难题。文中在经典谱聚（ Spectral Clustering）算法的基础上提出了一种基于特征间隙检测簇数的
“农业兴则基础牢,农民富则国家盛”。近年来,由于种粮比较效益低下,粮价持续低位,农户种粮积极性普遍不高。面对粮食安全保供和农民持续增收双重压力,嘉兴市开始推广稻渔综
与现有绝大多数以单个句子为依据的蛋白质自动识别方式不同,文中基于大规模语料库提出了引入句法和单词相似性这两个因素的蛋白质交互自动识别方法。首先,采用基于特征的方法对蛋白质对签名档进行分类。然后,使用分词工具对蛋白质对签名档进行词性标注,将不同词性的特征词语进行分组,并对每种词性进行加权。最后,基于大规模语料库的方法计算得到单词相似性,根据单词在正、负类中频率的差别调整单词相似性矩阵。实验结果表明,
为了进一步减少压缩感知中语音信号观测序列的数据传输量,文中采用基因表达式编程（ Gene Expression Pro-gramming,GEP）算法对语音信号的观测序列进行建模与预测,同时引入观测
随着各高校开放实验室的兴起与发展,其传统的以教师为主的管理模式已不能适应时代的需求.从高校学生校园学习状态到实验室开放状态的分析出发,总结出其存在的三点弊端,并提出
2017-2020年全国卷文学类文本阅读题,连续四年从叙事视角设题。本文根据高考评价体系“必备知识、关键能力、学科素养、核心价值”四层考查目标,从叙事学的角度回答文学类文
山东省临朐县书香浓农民画专业合作社位于冶源镇吕家楼村,起源于该村的临朐手绘年画为省级非遗文化,村里建有手绘年画博物馆。合作社成立于2016年11月,依托手绘年画博物馆,开
在义务教育稳步发展的今天,随着对教育公平问题研究的不断发展和深入,教育微观公平日益受到重视。作为重要教育场所的学校,在教育微观公平中承担着主要角色。在学校教育过程
贺兰县金富蔬菜产销专业合作社是一家自治区级示范社,合作社自成立以来,始终致力于贺兰县洪广镇欣荣村生态移民精准扶贫工作,坚持发展特色蔬菜、食用菌产业,以合作社为龙头,