计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2014年
4期
1139-1143
,共5页
王静%王红%李剪%樊红杰
王靜%王紅%李剪%樊紅傑
왕정%왕홍%리전%번홍걸
描述逻辑%可拓集合%可拓学%矛盾问题%动作理论
描述邏輯%可拓集閤%可拓學%矛盾問題%動作理論
묘술라집%가탁집합%가탁학%모순문제%동작이론
description logic%extension set%extenics%contradiction problem%action theory
为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQES,定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系,引入了动作理论以获取概念和关系的质变域和量变域,并给出了D-SHOQES中概念、关系、动作等的语义解释以及Tableau-算法推理规则,研究了矛盾问题的一般求解方法,从而为矛盾问题的求解提供了策略.
為瞭利用描述邏輯的推理規則分析併解決簡單矛盾問題,引入瞭可拓集閤作為描述邏輯SHOQ的集閤論基礎,提齣瞭一種新的描述邏輯D-SHOQES,定義瞭可拓概唸和可拓關繫的截集形式作為原子概唸和原子關繫,引入瞭動作理論以穫取概唸和關繫的質變域和量變域,併給齣瞭D-SHOQES中概唸、關繫、動作等的語義解釋以及Tableau-算法推理規則,研究瞭矛盾問題的一般求解方法,從而為矛盾問題的求解提供瞭策略.
위료이용묘술라집적추리규칙분석병해결간단모순문제,인입료가탁집합작위묘술라집SHOQ적집합론기출,제출료일충신적묘술라집D-SHOQES,정의료가탁개념화가탁관계적절집형식작위원자개념화원자관계,인입료동작이론이획취개념화관계적질변역화량변역,병급출료D-SHOQES중개념、관계、동작등적어의해석이급Tableau-산법추리규칙,연구료모순문제적일반구해방법,종이위모순문제적구해제공료책략.
