菜布尼茨哲学的一种现代阐释及其对通用人工智能的启示

莱布尼茨的形而上学的核心是单子论,单子是无形的自动机.如果把单子解释成抽象的图灵机,甚至可以形式化地研究它们的决策行为.根据莱布尼茨的通用文字、理性演算,可以构造一种能够进行信念更新的概率归纳逻辑,其中的关键是如何给出合理的“先验信念”,而“先验信念”的赋予方式可借助莱布尼茨的形而上学,所罗门诺夫的通用归纳模型可以看作这种思想的一种体现.但这是一种“单子”把自身孤立出世界之外的超然的“第三人称”视角,如果把“单子”置身于“可共存的单子集团”中,那么可以对单子论作出一种博弈论的解释,这与莱布尼茨关于游戏的哲学一致,胡特尔的通用智能模型AIXI可看作这种思想的反映.单子所角逐的效用不是别的,恰是莱布尼茨的“完满性”.在这种阐释下,对莱布尼茨“前定和谐”的合理刻画可以为通用智能主体进行理性决策的“先验信念”的赋予方式提供有益的启示.