BDI（belief,desire,intention)是基于Agent计算的理论模型，BDI语义关系着Agent计算的发展，通过把相信划分为主观相信和客观相信，把可能......

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问......

分析认知逻辑中的逻辑全知问题及其解决方法， 提出一种可以避免逻辑全知的认知逻辑 Ｅ Ｌ， 并给出其语义和公理系统......

尽管有很多处理费奇悖论的方法,但其中的每种解释似乎都存在一定的缺陷。实证主义解释可以避免涉及到违反先前的解释而导致违反可......