人工智能逻辑 课件 第6 章知识与信念的逻辑.pptx

第6章知识与信念的逻辑6.1泥孩难题引入认知推理的经典案例6.2认知逻辑：语言和语义形式化表达知识6.3公理系统$$K^n$$、$$S4^n$$、$$S5^n$$系统6.4信念逻辑信念与知识的区别6.5多智能体系统中的群体知识普遍知识、公共知识、分布式知识6.6实例与结语硬币案例与应用展望

6.1泥孩难题本节内容：通过一个经典的认知推理案例，引入关于知识的推理问题，为后续认知逻辑的形式化表达奠定基础。例18（泥孩难题）场景设定玩耍场景三个孩子在泥地里玩耍，两个孩子额头上沾上了泥巴。视觉限制每个孩子都能清楚地看到其他孩子的额头，但看不到自己的额头。父亲的宣告与问题父亲的宣告：你们