论语义网逻辑基础及其的应用.pptVIP

知识，逻辑，与网络论语义网的逻辑基础及其应用Knowledge, Logics, and the WebOn the Logical Foundation of the Semantic Web and its Applications 黄智生 Zhisheng Huang 荷兰阿姆斯特丹自由大学计算机科学系 Vrije University Amsterdam huang@cs.vu.nl Outline 逻辑，推理与知识社会 一个现代中国知识分子不断探寻的问题：中国文化与如何走向现代化 逻辑，推理与知识社会 无所不在的逻辑推理与决策判断问题 逻辑推理， 管理水平与执政能力 网络信息资源与知识社会 从我们身边每天发生的事情说起 众说纷纭话“感恩” 不应该取消，既然主动资助别人，主观上就不应图回报 应该取消，不知感恩的人很难期望他们将来回馈社会。 鄙视这些要求大学生感恩的企业家。贫穷的大学生不是叫花子！他们一心放在学习上，将来为社会做了贡献就是对你最大的回报。 众说纷纭话“感恩” 这是一个社会问题,中国应该把素质教育当做重点课程,都读大学还不会感恩这是中国教育界的失败 人是社会动物，对别人的善意做出正确的反馈是基本的道理，如果连这点游戏规则都不懂的话，那读这么多书简直 就是浪费！ 上学是他们应有的权利!靠别人捐助施舍才得到,该感谁的恩? 滴水之恩，涌泉相报！ 感谢的逻辑 弱感谢标准 Thank i,j? ?[doj(a)] ? ? [doj(-a)] ? ? done(j,a) ?(Ui(?) Ui(?)) 某甲应该就某事感谢某乙当且仅当 某乙是该事的行动者而且某甲从中得到好处。 感恩 某甲应该就某事感恩某乙当且仅当 某乙是该事的行动者而且某甲从中得到极大好处而某乙从中蒙受许多损失。 Gratitude i,j? ?[doi(a)] ? ? [doi(-a)] ? ? done(j,a) ? (Uj(?)-Uj(?))Gi? (Ui(?)-Ui(?)) 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)]： 动态逻辑(Dynamic Logic) Ui(?) Ui(?) ： 偏爱逻辑(Preference Logic) ?Oj done(j,a)：义务逻辑（Deontic Logic） 命题逻辑(Propositional Logic) 一阶谓词逻辑(First Order Predicate Logic) 推理与模糊性 不确定性通过多种定义来体现 多个前提的共同结论构成模糊推理的下界 从至少一个前提推出的结论构成模糊推理的上界 逻辑与判断：更多的例子 南京彭宇案：概率推理，常识推理与司法论证 何祚庥炮轰中医：陈晓旭就是被中医害死的： 因果推理问题 现代逻辑的基本思想 句法（Syntax），语义 (Semantics)，与语用（Pragmatics） 真值条件（Truth Conditions） 模型(Model)， 状态(State)， 与可能世界(Possible Worlds) 命题（Propositions）与模态（Modalities） 句法（Syntax）与语义 (Semantics) 语形规定描述的语法规则 p ?P = p ? L