逻辑推理与知识社会.PPTVIP

网络， 逻辑，与知识社会--论语义网的逻辑基础及其应用Web, Logics, and Knowledge-based Society--On the Logical Foundation of the Semantic Web and its Applications 黄智生 Zhisheng Huang 荷兰阿姆斯特丹自由大学计算机科学系 Vrije University Amsterdam huang@cs.vu.nl Outline 逻辑，推理与知识社会 一个现代中国知识分子不断探寻的问题：中国文化与如何走向现代化 逻辑，推理与知识社会 无所不在的逻辑推理与决策判断问题 逻辑推理， 管理水平与执政能力 网络信息资源与知识社会 逻辑与科学Logics and Sciences 一部人类文明史就是一部人类思想发展史，也就是一部基于逻辑分析的科学思维的发展史。 基于逻辑的分析方法已经成为现代科学的基石，贯串着科学领域的方方面面。 它不仅是所有自然科学领域的方法论基础，也是所有社会科学领域的方法论基础。 避免对逻辑的一个常见误解Avoiding a Pervasive Misunderstanding on Logics 逻辑理论实际上是一个规范性的（normative）理论，而不是一个描述性的（descriptive）理论， 也就是说，它并不是来描述人类究竟是采用何种形式来推理的，而是来研究人类应如何更有效地进行推理的。 分析性思维的基本法则 （定义优先原则）避免在基本定义上的误解，先要把基本定义说清楚； （公理约定原则）基本公理是一种约定，而不必证明； （逻辑推论原则）只要同意了基本定义和基本公理，结论从逻辑推理中自然获得； （公理自明原则）：由于公理是一种约定，故要尽可能地自明； （最少公理原则）：由于公理是容易引起争议的，要尽可能地少。 从我们身边每天发生的事情说起 众说纷纭话“感恩” 不应该取消，既然主动资助别人，主观上就不应图回报 应该取消，不知感恩的人很难期望他们将来回馈社会。 鄙视这些要求大学生感恩的企业家。贫穷的大学生不是叫花子！他们一心放在学习上，将来为社会做了贡献就是对你最大的回报。 众说纷纭话“感恩” 这是一个社会问题,中国应该把素质教育当做重点课程,都读大学还不会感恩这是中国教育界的失败 人是社会动物，对别人的善意做出正确的反馈是基本的道理，如果连这点游戏规则都不懂的话，那读这么多书简直 就是浪费！ 上学是他们应有的权利!靠别人捐助施舍才得到,该感谁的恩? 滴水之恩，涌泉相报！ 感谢的逻辑 弱感谢标准 Thank i,j? ?[doj(a)] ? ? [doj(-a)] ? ? done(j,a) ?(Ui(?) Ui(?)) 某甲应该就某事感谢某乙当且仅当 某乙是该事的行动者而且某甲从中得到好处。 感恩 某甲应该就某事感恩某乙当且仅当 某乙是该事的行动者而且某甲从中得到极大好处而某乙从中蒙受许多损失。 Gratitude i,j? ?[doi(a)] ? ? [doi(-a)] ? ? done(j,a) ? (U i(?)-U i(?))Gi? (Uj(?)-Uj(?)) Gj). 感谢与信息传递 Thank i,j? ?[doj(a)] ? ? [doj(-a)] ? ? done(j,a) ??Ojdone(j,a) ? (Ui(?) Ui(?)) ? (Ui(?) Ui(?)) 说声谢谢 等于 进行下列言语确认行动： 1) （主体角色的确认）：是您为我作了这件事； 2）（利益转移的确认）：从中我得了好处而您蒙受了损失； 3）（义务免除的确认）您本没有义务这么做。 不感谢意味着什么？ 使用逻辑方法进行推算： ?Thank i,j? ?? （[doj(a)] ? ? [doj(-a)] ? ? done(j,a)） V Ojdone(j,a) V? （ (Ui(?) Ui(?)) ? (Ui(?) Ui(?)) ） 不道谢 等于 作了下列言语行动之一： 1) （主体角色的否认）：不是你为我作了这件事； 或者 2）（利益转移的否认）：从中我没得了好处或你没蒙受什么损失； 或者 3）（义务的确认）你这么做是应该。 分析的结论 贫困大学生不必感恩企业家的资助，应为每年一千元的支持不构成该感恩的标准。 逻辑的作用 Thank i,j? ?Ki[doj(a)] ? ? Kj[doj(-a)] ? ? done(j,a) ??Ojdone(j,a) ?(Ui(?) Ui(?)) ? (Ui(?) Ui(?)) Ki ： 知识与相信的逻辑（Logic of knowledge and belief) [doj(a