毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2014年
4期
23-27
,共5页
描述逻辑%模拟%互模拟
描述邏輯%模擬%互模擬
묘술라집%모의%호모의
模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔(Baader)率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质.
模擬和互模擬是分析模態邏輯的錶達能力的一箇彊有力的工具.巴德爾(Baader)率先提齣,可以運用描述圖之間的模擬關繫來分析描述邏輯的包含推理,併證明瞭在概唸定義式循環術語集限製下,描述邏輯EL的包含推理是多項式時間複雜的.本文分析瞭描述邏輯模擬關繫的研究現狀和存在的問題,給齣一般情形描述邏輯EVL下的模擬關繫及其性質.
모의화호모의시분석모태라집적표체능력적일개강유력적공구.파덕이(Baader)솔선제출,가이운용묘술도지간적모의관계래분석묘술라집적포함추리,병증명료재개념정의식순배술어집한제하,묘술라집EL적포함추리시다항식시간복잡적.본문분석료묘술라집모의관계적연구현상화존재적문제,급출일반정형묘술라집EVL하적모의관계급기성질.