计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2003年
6期
729-736
,共8页
描述逻辑%缺省逻辑%缺省可满足性%缺省包含
描述邏輯%缺省邏輯%缺省可滿足性%缺省包含
묘술라집%결성라집%결성가만족성%결성포함
该文提出了一种新的带缺省推理的描述逻辑,它以描述逻辑为主要框架,对单调逻辑和非单调逻辑进行了整合,但又避免了一般缺省逻辑的困难.基于带缺省推理的描述逻辑,构建了一种同时具有Tbox,Abox和缺省规则的知识库系统,研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题,提出了一种用来检测可满足性和缺省可满足性的Tableau-D算法,并得到了缺省可满足性和缺省包含的转换定理.
該文提齣瞭一種新的帶缺省推理的描述邏輯,它以描述邏輯為主要框架,對單調邏輯和非單調邏輯進行瞭整閤,但又避免瞭一般缺省邏輯的睏難.基于帶缺省推理的描述邏輯,構建瞭一種同時具有Tbox,Abox和缺省規則的知識庫繫統,研究瞭帶缺省推理的描述邏輯的可滿足性、缺省可滿足性、概唸包含、缺省包含以及實例檢測等推理問題,提齣瞭一種用來檢測可滿足性和缺省可滿足性的Tableau-D算法,併得到瞭缺省可滿足性和缺省包含的轉換定理.
해문제출료일충신적대결성추리적묘술라집,타이묘술라집위주요광가,대단조라집화비단조라집진행료정합,단우피면료일반결성라집적곤난.기우대결성추리적묘술라집,구건료일충동시구유Tbox,Abox화결성규칙적지식고계통,연구료대결성추리적묘술라집적가만족성、결성가만족성、개념포함、결성포함이급실례검측등추리문제,제출료일충용래검측가만족성화결성가만족성적Tableau-D산법,병득도료결성가만족성화결성포함적전환정리.