认知逻辑中逻辑全知问题及其解决方法.pdfVIP

　 1999 年 7 月 吉　林　大　学　自　然　科　学　学　报 第 3 期　 　　 . 3 199907　 N o A CTA SC IEN T IA RUM NA TU RAL IUM UN IV ERS ITA T IS J IL IN EN S IS 认知逻辑中逻辑全知问题及其解决方法 杨　鲲　陈建中　孙德刚 　刘大有 ( 吉林大学计算机科学系, 吉林大学符号计算与知识工程开放实验室, 长春　130023) 提要　分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻 辑 EL , 并给出其语义和公理系统. 关键词　认知逻辑, 逻辑全知, 情景, 知识与信念, 可能世界语义, 模态逻辑 中图分类号　 301. 2