2. 您的位置
3. 首页
4. 期刊论文
5. 描述逻辑ALC的公理化方法研究

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

来源 :毕节学院学报：综合版 | 被引量 : 0次 | 上传用户：assofour

【摘 要】

：

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识.描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究.

【作 者】

：

聂登国 张维 

【机 构】

：

节学院理学院,南民族师范学院数学系

【出 处】

：

毕节学院学报：综合版

【发表日期】

：

2014年4期

【关键词】

：

描述逻辑 公理化 一阶逻辑 Descriptive Logic  Axiomatic  First-order Logic 

【基金项目】

：

贵州省2013年度贵州省科技厅、毕节市科技局、毕节学院科技联合基金计划项目“轻量级描述逻辑的保守扩充”研究成果之一,项目编号：黔科合J字LKB[2013]23号,贵州省科学技术基金资助项目“循环描述逻辑系统推理机制及其有限模型的有穷基”研究成果之一,项目编号：黔科合J字[2012]2310,国家自然科学基金项目“本体的保守扩充及其推理机制研究”研究成果之一,项目编号：61103169.

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识.描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究.本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质.最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明.

其他文献

论龙头企业与甘肃省农业产业化的发展

龙头企业的发展对农业产业化意义重大,通过分析甘肃省龙头企业的发展情况,提出应通过政府、企业、农户等几方面的共同努力,促进甘肃农业产业化发展。

期刊

农业产业化龙头企业甘肃省

电能质量在线监测系统建设

摘 要：介绍了电能质量在线监测系统建设的原则、电能质量在线监测系统的功能要求等内容。　　1. 前言　　我国目前在推进智能化电网的快速建设，要求各级电网协调发展，以信息化、自动化、互动化为特征的坚强智能电网系统。从而对电网的安全性、经济性、可靠性、互动性提出了更高的要求。电能质量既是电力系统可靠性运行的重要指标也是电力工业产品的重要指标，涉及发、供、用各方面的权益，优良的电能质量对保证电网和广大用户

期刊

在线监测系统电能质量电力管理电力系统

从彝语[？o~（33）mi~（33）]看彝族社会变迁

彝语[？o33mi33]原指＂中央、故土＂,从本义到引申义经历彝族原始宗教化、汉化和西化三个发展阶段,被赋予＂彝族发祥地、阳间、西天、天堂＂等新的宗教内涵。彝语[？o33mi33]一方面揭示和

期刊

彝族彝语[?o33mi33]社会变迁Yi Nationality Yi Language [Uo33mi33] Social Change

暖通空调施工中的常见问题及对策分析

摘要：暖通空调越来成为现今人们喜欢使用的空调，应用场所广，使用效果好，逐渐成为空调行业的重要产品，暖通空调之所以值得信赖，得益于施工时安装的是否得当，施工质量有保证是决定暖通空调是否好用的关键。　　关键词：空调 管路 施工 解决办法　　一、引言　　施工环节繁琐是暖通空调的特点，所以在施工期间会经常出现各种问题，分析问题产生原因，以期避免和解决安装时出现的问题是保证空调是否能稳定运行、保质运行。　　

期刊

空调管路施工解决办法

完全学分制背景下大学生学习环境现状调研与分析

摘 要：完全学分制制度下有利于人才个性化培养，本文以完全学分制背景下的大学生为研究对象，对弹性学制以及课程选修制度改革进行了调研，分析得出学分制下学生的自主学习现状存在的主要问题，并对管理工作以及校园环境评价做出了简要分析，最后提出了学分制下促进学生成长成才的建议。　　关键词：学分制；弹性学制；自主学习；成长成才　　中央高校基本科研业务费专项资金资助（项目批准号：2013-IB-101），项目名称

期刊

学分制弹性学制自主学习成长成才

公路施工中沥青稳定碎石排水层施工技术要点

沥青混凝土是当前公路工程中最为常见的施工材料之一，沥青混凝土路面由于具有抗滑的特点而被广泛应用在工程中。为了避免沥青混凝土路面遭到旱期水的浸蚀，我们在路面上设置了一

期刊

沥青稳定碎石排水层配合比设计施工温度松铺系数碾压工艺质量控制

高职《新能源汽车技术》课程教学改革探讨

我校新能源汽车技术课程的教学改革，着重强调了理论联系实际的重要作用，提高了对学生技能的培训，在教学和指导方面采用了新方法，为解决高校培养技能创新型人才的问题提供了新的思

期刊

新能源汽车技术教学改革

以欧陆风情建筑为画笔 绘美丽哈尔滨宏伟蓝图

摘 要：关于“老城区再展历史建筑欧陆风情 新城区再创现代建筑拔地而起”的建议。　　关键词：哈尔滨 城市建筑特色 欧陆风情　　建筑，特别是特色历史建筑，一直以来就是哈尔滨城市引以为豪并给人印象深刻的城市文化资本，是“东方小巴黎”概念城市形象的物化。　　如何通过建筑手段实现 “大气、洋气和神气”的城市风貌，避免国内城市建设中相继出现的形象趋同，空间恶化、生活品质下降等城市化问题，不仅关系到城市特色的创

期刊

哈尔滨城市建筑特色欧陆风情

高速公路的经济社会效应分析

高速公路以快速便捷、经济高效、通行能力大等优点在世界各地得到广泛的建设，同样的高速公路也带来了更多的经济和社会效益，对推动社会的发展贡献巨大。

期刊

高速公路经济效益社会效益

全球化背景下中国生物仿制药的发展

近年来，经济全球化在我国经济发展中表现的十分明显，对我国社会经济的发展提出了许多挑战。经过三十多年的改革和发展，我国经济实力得到很大的提升，积累了不少生产工作经验，为我国

期刊

全球化生物仿制药应对策略发展