基于后悔度的博弈剔除算法的逻辑认知分析

博弈分析中存在大量的逻辑问题,通过认知逻辑可以精确表达主体间认知互动中的推理.首先,构建了基于后悔度的博弈认知模型,从选手选择某一策略所导致的后悔度分析主体的理性特征,为多种博弈剔除算法的认知机制提供统一的逻辑刻画.其次,基于后悔度模型,重提主体理性定义,并证明该理性可作为公开宣告的事实,借助公开宣告逻辑,为Halpern等人提出的重复最大最小化后悔度算法提供合理的逻辑认知基础.     

从实践思维看现代逻辑的发展

随着计算机科学和人工智能领域研究的不断深入,经典逻辑理论得到了广泛应用和发展,逻辑研究的观念、对象和方法也发生了变革.逻辑的作用不再仅仅局限于有效推理,而是比较全面地研究主体思维活动中存在的程序、模式、方法和准则.本文以实践思维为元思维(逻辑),从方法论的角度分析现代逻辑发展的动因,探讨实践思维在具体学科发展中的重要指导作用.     

评《中国人民大学图书馆古籍善本书目》

中国人民大学图书馆有比较丰富的古籍收藏,其蒐藏始于抗日战争时期的解放区。五十年代初期,又曾接受多方调拨、捐赠和大量选购,累积四十余万册。其中包括大量早期刻本、稀见本、名家递藏本和批校本。在目前中国古籍收藏最为集中的北京地区,人大图书馆也要推为主要收藏单位之一。     

主体认知正则活动的逻辑刻画

研究了主体对正则复合活动认知的性质.首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性.     

高校考试管理存在问题及其对策

考试作为高等学校教学管理过程中的一个重要环节,是检测教师教学质量和学生学习效果的重要途径之一。加强高校课程考试管理,使之更科学化、合理化,是高校教学管理工作的一项重要内容。文章主要研究高校考试管理工作存在的主要问题,并提出了相应的改革对策。