描述逻辑ALC的公理化方法研究

来源 :毕节学院学报:综合版 | 被引量 : 0次 | 上传用户:assofour
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识.描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究.本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质.最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明.
其他文献
龙头企业的发展对农业产业化意义重大,通过分析甘肃省龙头企业的发展情况,提出应通过政府、企业、农户等几方面的共同努力,促进甘肃农业产业化发展。
摘 要:介绍了电能质量在线监测系统建设的原则、电能质量在线监测系统的功能要求等内容。  1. 前言  我国目前在推进智能化电网的快速建设,要求各级电网协调发展,以信息化、自动化、互动化为特征的坚强智能电网系统。从而对电网的安全性、经济性、可靠性、互动性提出了更高的要求。电能质量既是电力系统可靠性运行的重要指标也是电力工业产品的重要指标,涉及发、供、用各方面的权益,优良的电能质量对保证电网和广大用户
彝语[?o33mi33]原指"中央、故土",从本义到引申义经历彝族原始宗教化、汉化和西化三个发展阶段,被赋予"彝族发祥地、阳间、西天、天堂"等新的宗教内涵。彝语[?o33mi33]一方面揭示和
摘要:暖通空调越来成为现今人们喜欢使用的空调,应用场所广,使用效果好,逐渐成为空调行业的重要产品,暖通空调之所以值得信赖,得益于施工时安装的是否得当,施工质量有保证是决定暖通空调是否好用的关键。  关键词:空调 管路 施工 解决办法  一、引言  施工环节繁琐是暖通空调的特点,所以在施工期间会经常出现各种问题,分析问题产生原因,以期避免和解决安装时出现的问题是保证空调是否能稳定运行、保质运行。  
摘 要:完全学分制制度下有利于人才个性化培养,本文以完全学分制背景下的大学生为研究对象,对弹性学制以及课程选修制度改革进行了调研,分析得出学分制下学生的自主学习现状存在的主要问题,并对管理工作以及校园环境评价做出了简要分析,最后提出了学分制下促进学生成长成才的建议。  关键词:学分制;弹性学制;自主学习;成长成才  中央高校基本科研业务费专项资金资助(项目批准号:2013-IB-101),项目名称
沥青混凝土是当前公路工程中最为常见的施工材料之一,沥青混凝土路面由于具有抗滑的特点而被广泛应用在工程中。为了避免沥青混凝土路面遭到旱期水的浸蚀,我们在路面上设置了一
我校新能源汽车技术课程的教学改革,着重强调了理论联系实际的重要作用,提高了对学生技能的培训,在教学和指导方面采用了新方法,为解决高校培养技能创新型人才的问题提供了新的思
摘 要:关于“老城区再展历史建筑欧陆风情 新城区再创现代建筑拔地而起”的建议。  关键词:哈尔滨 城市建筑特色 欧陆风情  建筑,特别是特色历史建筑,一直以来就是哈尔滨城市引以为豪并给人印象深刻的城市文化资本,是“东方小巴黎”概念城市形象的物化。  如何通过建筑手段实现 “大气、洋气和神气”的城市风貌,避免国内城市建设中相继出现的形象趋同,空间恶化、生活品质下降等城市化问题,不仅关系到城市特色的创
高速公路以快速便捷、经济高效、通行能力大等优点在世界各地得到广泛的建设,同样的高速公路也带来了更多的经济和社会效益,对推动社会的发展贡献巨大。
近年来,经济全球化在我国经济发展中表现的十分明显,对我国社会经济的发展提出了许多挑战。经过三十多年的改革和发展,我国经济实力得到很大的提升,积累了不少生产工作经验,为我国