计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
12期
206-210,215
,共6页
描述逻辑%概念描述%术语公理集%表达能力
描述邏輯%概唸描述%術語公理集%錶達能力
묘술라집%개념묘술%술어공리집%표체능력
Description logic%Concept description%Tterminological axioms box%eExpressive power
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理.文中给出了描述逻辑(£∮0)(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了(£∮0)中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与(£∮0)概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.
錶達能力和推理複雜性是一箇邏輯的兩箇重要特徵,也是一對相互製約的關繫.解釋之間的互模擬關繫是從語義的角度刻畫邏輯錶達能力的一箇有效途徑,其代錶性的結果是命題模態邏輯錶達能力的刻畫定理-van Benthem刻畫定理.文中給齣瞭描述邏輯(£∮0)(含構造子:原子概唸、頂概唸、概唸交、全稱量詞約束)的模擬關繫,建立瞭(£∮0)中概唸和術語公理集的錶達能力刻畫定理,即一階邏輯公式與(£∮0)概唸和術語公理集等價的充分必要條件.上述結果為尋求錶達能力與推理複雜性之間的最佳平衡提供瞭有效的支持.
표체능력화추리복잡성시일개라집적량개중요특정,야시일대상호제약적관계.해석지간적호모의관계시종어의적각도각화라집표체능력적일개유효도경,기대표성적결과시명제모태라집표체능력적각화정리-van Benthem각화정리.문중급출료묘술라집(£∮0)(함구조자:원자개념、정개념、개념교、전칭량사약속)적모의관계,건립료(£∮0)중개념화술어공리집적표체능력각화정리,즉일계라집공식여(£∮0)개념화술어공리집등개적충분필요조건.상술결과위심구표체능력여추리복잡성지간적최가평형제공료유효적지지.