计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2011年
2期
137-141
,共5页
粗糙描述逻辑%描述逻辑%粗糙集%近似概念
粗糙描述邏輯%描述邏輯%粗糙集%近似概唸
조조묘술라집%묘술라집%조조집%근사개념
由于传统的描述逻辑系统不适于表示不确定的、模糊的知识,本文将基于粗糙集语义的下近似和上近似引入描述逻辑系统中,使用一种简单的方法将传统描述逻辑进行扩展,介绍了粗糙描述逻辑的概念,在粗糙描述逻辑系统中我们可以使用适当的子概念和超概念来对某些模糊的知识进行约束表示.本文主要讨论描述逻辑ALC的粗糙扩展,介绍扩展后所得到的粗糙描述逻辑RALC的语法、语义和相关推理问题,探讨了使用粗糙描述逻辑来对不精确概念进行建模的基本思想,最后提出了一个RALC的可满足性问题的推理算法.本文的工作可以使得在描述逻辑中对不确定的知识进行形式化描述和推理更加方便.
由于傳統的描述邏輯繫統不適于錶示不確定的、模糊的知識,本文將基于粗糙集語義的下近似和上近似引入描述邏輯繫統中,使用一種簡單的方法將傳統描述邏輯進行擴展,介紹瞭粗糙描述邏輯的概唸,在粗糙描述邏輯繫統中我們可以使用適噹的子概唸和超概唸來對某些模糊的知識進行約束錶示.本文主要討論描述邏輯ALC的粗糙擴展,介紹擴展後所得到的粗糙描述邏輯RALC的語法、語義和相關推理問題,探討瞭使用粗糙描述邏輯來對不精確概唸進行建模的基本思想,最後提齣瞭一箇RALC的可滿足性問題的推理算法.本文的工作可以使得在描述邏輯中對不確定的知識進行形式化描述和推理更加方便.
유우전통적묘술라집계통불괄우표시불학정적、모호적지식,본문장기우조조집어의적하근사화상근사인입묘술라집계통중,사용일충간단적방법장전통묘술라집진행확전,개소료조조묘술라집적개념,재조조묘술라집계통중아문가이사용괄당적자개념화초개념래대모사모호적지식진행약속표시.본문주요토론묘술라집ALC적조조확전,개소확전후소득도적조조묘술라집RALC적어법、어의화상관추리문제,탐토료사용조조묘술라집래대불정학개념진행건모적기본사상,최후제출료일개RALC적가만족성문제적추리산법.본문적공작가이사득재묘술라집중대불학정적지식진행형식화묘술화추리경가방편.
