资源描述：
《论语义网的逻辑基础及其应用》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、知识，逻辑，与网络论语义网的逻辑基础及其应用Knowledge,Logics,andtheWebOntheLogicalFoundationoftheSemanticWebanditsApplications黄智生ZhishengHuang荷兰阿姆斯特丹自由大学计算机科学系VrijeUniversityAmsterdamhuang@cs.vu.nlOutline逻辑，推理与知识社会现代逻辑的基本思想语义网的逻辑基础语义网与本体技术应用实例结论22007Beijing逻辑，推理与知识社会一个现代中国知识分子不断探寻的问题：中国文化与如何走向现代化32007Beijing无所不在的逻辑推理与决策
2、判断问题逻辑推理，管理水平与执政能力网络信息资源与知识社会逻辑，推理与知识社会42007Beijing现代科学与逻辑思辩方法斯宾诺莎（1632-1677）（荷）：伦理学笛卡尔（1596-1650）（法）：第一哲学的沉思牛顿（1643-1727）（英）：力学体系罗素（1872-1970）（英）数理逻辑与现代数学布劳维尔（1881-1966）（荷）：直觉主义逻辑52007Beijing从我们身边每天发生的事情说起62007Beijing众说纷纭话“感恩”不应该取消，既然主动资助别人，主观上就不应图回报应该取消，不知感恩的人很难期望他们将来回馈社会。鄙视这些要求大学生感恩的企业家。贫穷的大学生不是
3、叫花子！他们一心放在学习上，将来为社会做了贡献就是对你最大的回报。72007Beijing众说纷纭话“感恩”这是一个社会问题,中国应该把素质教育当做重点课程,都读大学还不会感恩这是中国教育界的失败人是社会动物，对别人的善意做出正确的反馈是基本的道理，如果连这点游戏规则都不懂的话，那读这么多书简直就是浪费！上学是他们应有的权利!靠别人捐助施舍才得到,该感谁的恩?滴水之恩，涌泉相报！82007Beijing感谢的逻辑Thanki,j[doj(a)][doj(-a)]done(j,a)(Ui()>Ui())(Ui()>Ui()).某甲应该就某事感谢某乙当且仅当某乙是该事的行
4、动者而且某甲从中得到好处（utility）而某乙从中失去好处。92007Beijing弱感谢标准Thanki,j[doj(a)][doj(-a)]done(j,a)(Ui()>Ui())某甲应该就某事感谢某乙当且仅当某乙是该事的行动者而且某甲从中得到好处。102007Beijing感谢与义务Thanki,j[doj(a)][doj(-a)]done(j,a)Ojdone(j,a)(Ui()>Ui())(Ui()>Ui())某甲应该就某事感谢某乙当且仅当某乙是该事的行动者而且某甲从中得到好处而某乙从中失去好处而且某乙没有义务必须这么做。112007
5、Beijing感谢与认知Thanki,jKi[doj(a)]Kj[doj(-a)]done(j,a)Ki(Ui()>Ui())Ki(Ui()>Ui())某甲应该就某事感谢某乙当且仅当某乙是该事的故意行动者以使某甲从中得到好处。122007Beijing感恩某甲应该就某事感恩某乙当且仅当某乙是该事的行动者而且某甲从中得到极大好处而某乙从中蒙受许多损失。Gratitudei,j[doi(a)][doi(-a)]done(j,a)(Uj()-Uj())>Gi(Ui()-Ui())>Gj).132007Beijing弱感恩标准I某甲应该就某事感恩某乙当
6、且仅当某乙是该事的行动者而且某甲从中得到好处而某乙从中蒙受许多损失。Gratitudei,j[doi(a)][doi(-a)]done(j,a)(Uj()>Uj())(Ui()-Ui())>Gj).142007Beijing弱感恩标准II某甲应该就某事感恩某乙当且仅当某乙是该事的行动者而且某甲从中得到极大好处。Gratitudei,j[doi(a)][doi(-a)]done(j,a)(Uj()-Uj())>Gj.152007Beijing感谢与信息传递Thanki,j[doj(a)][doj(-a)]done(j,a)Ojdone(
7、j,a)(Ui()>Ui())(Ui()>Ui())说声谢谢等于进行下列言语确认行动：1)（主体角色的确认）：是您为我作了这件事；2）（利益转移的确认）：从中我得了好处而您蒙受了损失；3）（义务免除的确认）您本没有义务这么做。162007Beijing不感谢意味着什么？使用逻辑方法进行推算：Thanki,j（[doj(a)][doj(-a)]done(j,a)）VOjdone(j,
