具有两种否定的描述逻辑系统MALC

程天笑; 潘正华

首页> 中文期刊> 《计算机工程与科学》 >具有两种否定的描述逻辑系统MALC

具有两种否定的描述逻辑系统MALC

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

否定信息在知识表示和推理中具有非常重要的作用.随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定.描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定.本文将模糊否定词～和对立否定词,引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力.同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法.

著录项

来源
《计算机工程与科学》 |2008年第11期|65-6791|共4页
作者
程天笑; 潘正华;
展开▼
作者单位

江南大学理学院;

江苏;

无锡214122;

江南大学理学院;

江苏;

无锡214122;

展开▼
原文格式 PDF
正文语种 chi
中图分类模糊数学;
关键词
描述逻辑ALC; 中介逻辑; 中介无穷值语义模型;

相似文献

中文文献
外文文献
专利

1. 模态描述逻辑MALC模型的几个代数性质 [J] . 余泉 ,张维 ,王驹 . 计算机工程与科学 . 2010,第010期
2. 描述用户行为的数字权限时序描述逻辑系统 [J] . 凌志辉 ,翟玉庆 . 计算机工程 . 2005,第019期
3. 新论“肯定－－否定－－否定之否定”的两种基本类型 [J] . 黄宗理 . 九江师专学报 . 1995,第002期
4. 区分3种否定的模糊命题逻辑系统及其应用* [J] . 潘正华 . 软件学报 . 2014,第006期
5. 多值逻辑系统W中的否定度理论 [J] . 马巧云 . 西安文理学院学报（自然科学版） . 2009,第004期
6. 具有两种否定的描述逻辑系统MALC [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. 基于类型一阶逻辑系统的逻辑程序设计语言语义描述方法的研究 [A] . 李慧琪 . 2011

具有两种否定的描述逻辑系统MALC

摘要

著录项

相似文献

相关主题

期刊订阅