发挥德育在素质教育中的核心作用——社科系“两课”教学改革的实践与思考

文中论述了德育在素质教育中的核心作用，提出了“两课”改革的方法和手段，并对“两课”发展趋势提出了新的看法。     

包含巴肯公式的认知谓词逻辑系统

文中将认知逻辑的分析方法由命题推广至谓记号，函数、个体变元和常元，构造了一个包含巴肯公式的认知谓词逻辑系统。     

正规认知逻辑系统

通过引入认知模型框架，定义普遍有效的认知公式和极小正规认知逻辑系统，讨论了一般正规认知逻辑系统的构造和相互关系。     

阳极溶解促进室温蠕变的机理

阳极溶解产生过饱和空位引起刃位错攀移，从而导致蠕变速率ｄε／ｄｔ的升高。计算表明，ｄε／ｄｔ和电流密度成正比，与试样直径成反比，并和溶液脱锌程度有关，黄铜棒状试样的室温蠕变实验表明，阳极极化可使蠕变速率ｄε／ｄｔ升高，实验结果和理论计算基本一。     

"知道者悖论"的博弈论分析

“知道者悖论”既涉及认知推理，也涉及主体间的策略性互动。以“突击考试”为例，可以看出这个悖论实际上涉及合理行动问题，其中的推理是策略性推理。为此，我们通过分析主体的目标、偏好、行动，在完全信息博弈模型中重构了相关推理，提出了一个博弈论解悖方案。     

认知逻辑系统SE及其语义模型

文中对理性认知主体的知识和信令的特征进行了分析。利用算子Ｋ和Ｂ构造认知逻辑的形式系统ＳＥ和语义模型Ｍ，证明了ＳＥ关于Ｍ的可靠性和完备性。     

亚里士多德实践性推理的现代阐释

按照罗斯等人的观点,亚里士多德在分析实践智慧的形式时运用了"实践三段论"。为了把握实践行动中的逻各斯,亚里士多德提出目标和手段相宜性的"搜索"算法,在现代逻辑中可以用问题求解程序实现。以BDI模型为代表的智能体行动逻辑分析继承了亚氏关于欲望、理性和行动间关系的思想,是亚氏实践性推理的一种现代阐释。但BDI对信念、目标、意图的形式化中存在副作用和冗余等问题,其根源在于对意向性行动的理解不够全面。无论是人类还是人工智能体的行动,情境性、交互性和整体性是其推理的主要特征。