模态逻辑系统s5中的范式定理及其在知识系统中的应用.pdf

第36 卷 第1 期 陕西师范大学学报( 自然科学版) Vol. 36 No. 1 2008 年1 月 Journal of Shaanxi Normal U niv rsity ( Natural Sci nc Edition) Jan. 2008 : 2008) S5 王 国俊 ( , 710062) : 研究了模态逻辑系统S5 中的析( 合) 取范式定理的归纳证明, 给出了在S5 中用深度至多等 1 的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法. 作为范式定理的应 用, 讨论了知识库中的一个基本问题, 证明了知识库能够回答 KB 命题式问题的充要条件是该知识 库能够回答相关的非模态命题及其否定命题的问题. : 模态逻辑系统S5; 范式定理; 知识库; KB 命题 : O142 : A Normal form theorem in modal logic system S5 and its application to knowledge base theory WANG Guojun ( Institut of Math matics, Shaanx i Normal U niv rsity, Xian 710062, Shaanx i, China) Abstract: Disjunction ( Conjunction) normal form th or m in th modal logic syst m S5 is inductiv ly prov d, which can b us d for r pr s nting compl x modal formulas by m ans of conjunction and disjunction of simpl st modal formulas with d pth at most 1 in th syst m S5. As application, it is prov d that a know l dg bas could answ r KBqu ri s if and only if it could answ r qu ri s of non modal propositions and th ir n gations, w hich is a basic probl m on know l dg bas . Key words: modal logic syst m S5; normal form th or m; knowl dg bas ; KBformula MR subject classification: O3B42; O3B45 , , [ 1] 1 KK5TBKDS4 S5 . S5 ( Fram ) , 2001 Modal S5 , Logic! [ 1] S5 ( ) , : [2] , . [ 3, 4] ∀ Ask thr modal logicians w hat modal logic is, and , . you ar lik ly to g t at l ast thr diff r nt answ rs. # S5 ( ) , , [ 1] : , , ; , KB ; .