计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
30期
43-45
,共3页
描述逻辑%非标准推理%概念描述树
描述邏輯%非標準推理%概唸描述樹
묘술라집%비표준추리%개념묘술수
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不舍数量限制的描述逻辑系统,该文研究的是描述逻辑系统μεVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制.利用定义μεVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件.
描述邏輯中的非標準推理是目前研究者們所關註的焦點問題,它主要包括:最具體概唸、最小公共包含、匹配問題及概唸的重寫等.過去人們主要研究那些不捨數量限製的描述邏輯繫統,該文研究的是描述邏輯繫統μεVN中的一種重要的非標準推理,它同時含有瞭併、存在約束量詞、全稱約束量詞和數字限製.利用定義μεVN中概唸的描述樹及描述樹之間的同態關繫,給齣瞭概唸之間包含關繫的充要條件.
묘술라집중적비표준추리시목전연구자문소관주적초점문제,타주요포괄:최구체개념、최소공공포함、필배문제급개념적중사등.과거인문주요연구나사불사수량한제적묘술라집계통,해문연구적시묘술라집계통μεVN중적일충중요적비표준추리,타동시함유료병、존재약속량사、전칭약속량사화수자한제.이용정의μεVN중개념적묘술수급묘술수지간적동태관계,급출료개념지간포함관계적충요조건.
