逻辑全知相关论文
在某个时间段里,如果有多个进程同时运行,则称为并发。在多Agent系统(MAS)环境下,并发行为广泛存在而且尤为重要。这些并发行为可......
BDI(belief,desire,intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展,通过把相信划分为主观相信和客观相信,把可能......
动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问......
分析认知逻辑中的逻辑全知问题及其解决方法,提出一种可以避免逻辑全知的认知 逻辑EL,并给出其语义公理系统。......
尽管有很多处理费奇悖论的方法,但其中的每种解释似乎都存在一定的缺陷。实证主义解释可以避免涉及到违反先前的解释而导致违反可......