Kripke模型相关论文
20世纪90年代,agent界的研究者们致力于刻画理性agent的思维属性(信念、愿望和意图),其中出色的工作有Cohen的意图理论、Rao的BDI......
搜索算法是逻辑证明中的经典方法，广泛用于直觉主义逻辑，古典逻辑等多种逻辑系统。Kripke模型是一个非常简单而有效的模型，它能对解释......
课堂教学是学生获得知识的主阵地，处在民族地区的新建本科地方院校学生学习的主动性、积极性、学习方法、提出问题、解决问题都存在......
为了探索Kdpke模型、非良基集合和知识结构之间的联系，引入了有界互模拟的概念。首先，在Kripke模型上定义了互模拟与有界互模拟，并给......
