基于完备拟序的开放逻辑.pdfVIP

第2j卷第】2期 计 算 机 学 报 V01．25No．12 2002年12月 CHINESE L)ec．2002 J．CoMPUTERS 基于完备拟序的开放逻辑 刘大有 王淞听 王 飞 (吉林大学计算机科学与技术学院 长春1300l2) 吉林大学符号计算与知识工程教育部重点实验室 长春130叭2j 摘要 开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论．它开辟了常识推理研究一条新 途径．井在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应片j．基本的开放逻辑不能体现认知主体 对所拥有的知识在相信程度上的区别，为此，文中给出了基丁完备拟序的开放逻辑．该文采用假说上的完备拟序刻 画信度区别，给出了新的重构概念，讨论了假说及完备拟序在知识进化过程中的更新，定义了新的认识进程并证明 了所定义的认识进程具有收敛性 关键词开放逻辑。完备拟序，重构，认识进程的收敛性 中圈法分类号：TPl8 a BasedOn Preorder openLogic Complete LIUDaYouWANG WANGFei S。”g—Xjn T 2) (cbzfPgP“C唧“埘’5ff…删de吐”。，o删．Jz￡坍UHf㈣f廿，C^佣gc^Mn】30。1 nnd ofEd#∞t!啪．JIi￡n 13n0121 tK。yLn钿№细7Y‘，fsy硪b赳Cnfc“nsKno埘ldgeEHz删…8。fM…tq Um—s￡‘，，cha“gch“n Abstract 1sa formal for and of openLogic 8ystemm。deli“g updati“gknowledge th。g。owi“g andthe offormaltheories．Itservesasa fDundationfor maintenance dynamlcs logical knowledge and ev01ution． has similaritieswith revision software OpenLogicma“y belief theory，howeve“ therearethreeessentiaIdifferencesbetweenthem． in Lo doesnot firstIy，reconstructionOpengic needto a closed its isnota on set，nordoes reconstruction operatelogical output；secondly， function