人类心理常识(简称心理常识)是有关人类心理现象的一类知识,是人类常识的重要组成部分。形式化的心理常识有助于智能系统的人性化,对心理常识的形式化方法进行深入地研究也可推动人工智能和认知心理学的发展。心理常识与人群紧密相关,不同的人群有着不同的心理常识。相对于某特定人群,其心理常识是指在特定的环境下,该人群所具有的、相对稳定的心理现象。为了解决心理常识的海量性、无处不在性、模糊性、语境相关性等特点带来的心理常识获取和组织的困难,我们依据心理学中的心理范畴来组织所有的心理常识概念属性、概念和断言。该方法将无处不在的心理常识合理有序地组织在各个心理范畴中,使得形式化的心理常识的获取有章可循,控制了心理常识获取的盲目性以及心理常识的冗余性和不一致性。心理常识的形式化研究涉及心理常识概念属性、心理常识概念以及心理常识断言三个方面:(1)心理常识概念属性的获取、表示和分析。心理常识概念属性及其取值描述了心理常识概念的内涵。心理常识概念属性按照其心理条件分类。这里,心理条件表示人们要了解这些属性,其心理上需要具备一定的条件。我们给出了心理常识概念属性值的表示、属性之间的层次关系的定义以及语义相似性的计算方法,为心理常识概念的描述奠定了基础(见第二章)。(2)心理常识概念的获取、表示、组织和分析。根据心理学理论,我们将人类的心理分为若干心理范畴,每一心理范畴对应了一组心理常识概念。基于心理常识基础概念和心理常识概念属性,我们引入了子类生成规则来自动获取心理常识复合概念,并用子类检查规则来自动检查新加入的心理常识概念的冗余性和一致性。我们扩展经典概念空间为心理常识概念空间,空间中的抽象概念将所有心理常识概念以心理常识概念属性及其取值为依据组织成为一个整体层次结构。进一步地,为表示心理常识概念的模糊性,我们将心理常识概念空间扩展为模糊概念空间。同时,基于心理常识概念属性值之间的语义相似性,定义了模糊抽象概念。该方法既表示了心理常识概念的模糊性,又使得所有的心理常识概念组织为一个整体结构,方便了概念的检索与引用(见第三、四章)。(3)心理常识断言的获取、表示和分析。心理常识断言分为两类:心理活动断言(第五章)和心理状态变迁断言(第六章)。基于心理范畴的层次关系,我们给出每个心理范畴对应的心理谓词,并使用参数化的心理谓词框架来描述心理活动中的主体、客体和表示心理活动成立条件的语境。通过对心理谓词框架中的参数的替换,可以得到较为具体的心理活动断言或心理活动断言实例。这种参数化方法为有效地获取心理活动断言提供了保障。我们给出了使用归结反驳过程检验心理活动断言的一致性的算法。心理状态变迁断言描述了心理状态的变化过程。基于心理状态