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

3 2 3 3 　1999 年 7 月 吉　林　大　学　自　然　科　学　学　报 第 3 期　 　　N o. 3 A CTA SC IEN T IARUM NA TU RAL IUM UN IVERS ITA T IS J IL INEN S IS 1999 07　 认知逻辑中逻辑全知问题及其解决方法 杨　鲲　陈建中　孙德刚 　刘大有 (吉林大学计算机科学系, 吉林大学符号计算与知识工程开放实验室, 长春　130023) 2 2 3 3 3 提要　分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻 辑 EL , 并给出其语义和公理系统. 关键词　认知逻辑, 逻辑全知, 情景, 知识与信念, 可能世界语义, 模态逻辑 中图分类号　T P301. 2 A gen t 的概念在主流计算机科学, 尤其是在分布式人工智能 (DA I) 中, 几乎无所不在. A gen t 技 术, 特别是多A gen t 技术, 为分布开放系统的分析、设计和实现提供了一种崭新的方法, 并广泛应用 到计算机研究的各个领域. 建造A gen t 的经典方法是将其看作一种特殊的知识系统, 即通过符号 A I 来表示和推理A gen t [1 ]. 目前关于模态逻辑和可能世界语义的研究已形成一整套的相关理论, 成为表示和推理认知系统, 乃至智能A gen t 和多A gen t 系统的最有力的形式化工具. 但标准的可能世界语义存在逻辑全知问题, 而逻辑全知问题对于资源受限的系统是一个致命的打击, 且现实中的系统无一不是资源有限的系统. 若将基于可能世界语义的认知逻辑成功地应用到实用的A gen t 系统中, 就必须避免逻辑全知的出现. 近年来, 不少学者竭力研究在保留可能世界语义优点的基础上摆脱逻辑全知的途径, 但这些解决方法 只给出有关信念的逻辑, 而并未涉及有关知识的逻辑, 这相对于认知逻辑来说是不够完善的. 本文给 出一种避免逻辑全知问题的认知逻辑(包括信念逻辑和知识逻辑) , 并对其语义进行解释. 1　认知逻辑及其逻辑全知问题 1. 1　认知逻辑 认知逻辑亦称认识论逻辑, 主要包括知识逻辑和信念逻辑, 是对“知识”和“信念”的含义进行形式 化研究的逻辑系统. 知识和信念属于认识论的范畴, 二者有着本质的区别. 首先, 知识是与真假有联系的, 知道的事 物都是真的, 也只有真的事物才能被知道. 而信念与真假却没有联系. 当一个信念被证明为假时, 就 需要对这个信念进行修正. 因此, 信念所提供的不只是知识, 也包含谬误. 人类 (以及代表或模拟人类 的A ge