Logics in general 本体论约定 认识论约定 语言 (世界中存在的) (智能体对事实 所相信的内容) 命题逻辑 Propositional logic 事实 真/假/未知 一阶逻辑 First-order logic 事实、对象、关系 真/假/未知 时序逻辑 Temporal logic 事实、对象、关系、时间 真/假/未知 概率逻辑 Probability logic 事实 信度∈[0,1] 4口404三·1=，生9QG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Logics in general 语言 本体论约定 （世界中存在的） 认识论约定 （智能体对事实 所相信的内容） 命题逻辑 Propositional logic 事实 真/假/未知 一阶逻辑 First-order logic 事实、对象、关系 真/假/未知 时序逻辑 Temporal logic 事实、对象、关系、时间 真/假/未知 概率逻辑 Probability logic 事实 信度 ∈[0,1]