【摘 要】
：
逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对
【机 构】
：
广东外语外贸大学思科信息学院 广州 510006广东外语外贸大学思科信息学院 广州 510006;广东外语外贸大学语言工程与计算重点实验室 广州 510006;广东外语外贸大学金融学院 广州 5100
论文部分内容阅读
逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,解释之间的互模拟关系是刻画表达力的一个有效途径,其较具代表性的结论是刻画命题模态逻辑表达力的van Benthem定理.文中主要研究了包含顶概念、原子概念、原子概念否定、概念交和完全存在约束等5个概念构造子的描述逻辑εL(-),给出了εL(-)模拟关系,建立了刻画εL(-)表达力的van Benthem定理.在εL(-)基础之上,再增加概念并构造子,还给出了刻画εLu(-)表达力的van Benthem定理.在这些工作的基础上,给出了εL、εL(-)、εLu和εLu(-)等4个系统表达力之间的比较结果.再依据若干概念包含关系问题的计算复杂性结果,明确了如下结论:在表达力要求不高的情形下,可以优先选择εL作为知识的表示语言.而对表达力要求较高的情形下,应该优先选择ACC作为知识的表示语言.同时,在没有特殊要求的情况下,应尽量避免使用εL(-)、εLu和εLu(-)作为知识的表示语言.
其他文献
目的 研究肝癌合并动—静脉瘘 (AVF)在CT增强扫描中的表现及对其诊断价值。方法 50例肝癌合并AVF患者均先行螺旋CT平扫及增强扫描 ,后经肝动脉造影证实。对比分析CT征象和
以不同间伐强度下的蒙古栎林和杂木林为研究对象进行研究,结果表明:间伐14a后,蒙古栎林和杂木林的蓄积生长率均有所提高,其中以中度间伐区提高最大。间伐可以改善蒙古栎林、
乳腺增生是外科常见疾病,经常困扰女性患者的身心健康,笔者在门诊诊疗中,用中西医结合方法治疗乳腺增生疾病86例,效果良好,现报告如下。1资料与方法1·1临床资料:86例中,17~2
我院自使用自动洗片机以来 ,根据药液酸碱中和化学性质的原理 ,通过对药液清洗实践的证实 ,避免了胶片的划痕 ,提高了胶片的质量 ,减少了废片率。此法简单易行 ,现将药液清洗
为了筛选出治疗奶牛乳房炎的中草药和方剂,选用蒲公英、紫花地丁和瓜子金等7味中草药及其3个复方提取物,分别采用平板打孔灌药法和试管二倍稀释法对从乳房炎奶牛病例中分离出
以银中杨三倍体无性系带芽茎段为外植体,通过芽生芽途径建立了三倍体无性系组织培养转基因再生系统。筛选出不同阶段最佳培养基与激素浓度分别为:(1)初代培养阶段:1/2MS+TDZ0
在江苏沛县鹿楼镇赵庄村绿渚园芦笋种植家庭农场, 120余名工人正用工具将新鲜的芦笋从地里挖出,外壳剥离,洗净干净,包装装车,冷链运输发往全国各地.近几年芦笋种植在鹿楼镇逐
“十一五”以来，四平市委、市政府始终坚持用工业化思维谋划农业发展，确立了“季节抓生产、重点抓项目、常年抓产业化”的指导思想，把农业产业化经营作为破解“三农”问题、推进“三化”统筹的战略举措，尤其是作为现代农业建设的主推模式，摆上重要位置，不断强化组织推力、政策扶持引导和相关措施落实，农业产业化经营和农产品加工业总量不断扩张、质量不断提升、带动农民增收的作用不断增强。 支撑经济成效突出 “十一五”