CAJ | 학술논문

描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等.非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的.随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题.本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法.首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法.然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的.
묘술라집적비표준추리시상세기말본세기초연구자문제출래적일충신적추리궤제,타주요포괄최구체개념、최소공공포함、필배문제이급개념적중사등등.비표준추리적제출주요시위료해결인문재지식고적구건、관리、유호등방면우도적문제,타능위자하이상적지식고구건방식제공필요적지지,저사시전통적표준추리무법제공적.수착묘술라집적운용월래월엄범,지식고적구건、관리、유호시인문무법회피적문제,인차묘술라집적비표준추리적연구성위근년래묘술라집연구자문소관주적열점문제.본문분석료묘술라집중개념최소공공포함(LCS)추리궤제적연구현상화존재적문제,침대목전LCS추리재동시처리존재한제화수량한제적불족,연구료묘술라집계통εLN적LCS추리산법.수선정의료εLN중적개념묘술수급기동태관계,이용묘술수지간동태관계급출료개념간포함관계산법.연후통과정의묘술수적적잡이적급출료εLN중적LCS추리산법,병지출해산법시다항식시간복잡적.