China09SummerSchool3专题讨论描述逻辑与知识表示.pptVIP

课程时间表Schedule  专题讨论：描述逻辑与知识表示Discussion: Description Logics and Knowledge Representation 什么是知识表示？ 知识表示实验 描述逻辑能够作什么？ 逻辑与推理实例分析 推导和推理Inference and Reasoning 推导： 研究如何从前提来获得逻辑结论Inference is the act or process of deriving a logical consequence conclusion from premises. 推理： 指对特定结论，判断，行为或感觉寻找理由解释的认知活动 Reasoning is the cognitive process of looking for reasons for beliefs, conclusions, actions or feelings. 知识表示实验Experiments of Knowledge Representation 知识表示实验一 以“海洋”为核心概念，写出在你脑海里依次联想而出的其他概念及其相应的联系。 注意要点： 使用自然语言来描述 不要考虑描述逻辑表达能力的限制 还可以扩展到其他核心联想概念 知识表示实验二 以“南京”为核心词汇，写出在你脑海里依次联想而出的其他词汇及其相应的联系。 描述逻辑能够作什么？ 从一些实例上看 Examples woman ≡ person ? female man ≡ person ? ?woman mother ≡ woman ? ?hasChild.person father ≡ man ? ?hasChild.person Examples woman ≡ person ? female man ≡ person ? ?woman mother ≡ woman ? ?hasChild.person father ≡ man ? ?hasChild.person parent ≡ mother V father hasSibling ≡ hasBrother V hasSister uncle ≡ man ? ?hasSibling.parent grandfather ≡ man ? ?hasChild.parent How about that of Stepfather？ realfather ≡ man ? ?hasBornChild.person 思考：是否可以定义stepfather ≡ father ? ?realfather？ hasBornChild ?hasChild 思考： 是否可以推出Stepfather ? father？ 思考： father ? ? ?hasBornChild.person ?stepfather? 一道来自W3China论坛的问题 如何用RDF描述“齐国讨伐鲁国，战于长勺，齐国战败”？ RDF 三元组：s,p,o 这里s：主语 p：谓语 o:宾语 特殊谓语：type， subClassOf 网友雪褥织影的回答 齐鲁之战??rdf:type??战争齐国??rdf:type??国家鲁国??rdf:type??国家齐鲁之战??地点??长勺齐鲁之战??发起方??齐国齐鲁之战??参与方??齐国齐鲁之战??参与方??鲁国齐鲁之战??战败方??齐国 用描述逻辑来表示 Abox: 战争(齐鲁之战) 国家 (齐国)? 国家 ( 鲁国) 有地点?(齐鲁之战,???长勺) 有时间?(齐鲁之战,???公元前684年 ) 发起方 (齐鲁之战,????齐国) 参与方 (齐鲁之战,????齐国) 参与方(齐鲁之战,???鲁国) 战败方 (齐鲁之战,????齐国) 思考： 如何写Tbox？ 战争 v 9有地点.地点u 9有时间.时间u 9 参与方.国家u 9 发起方.国家 思考：可以推出何种结论？ 有胜负的战争v战争 和局的战争v战争 Disjoint（有胜负的战争，和局的战争） 思考：如何表示“同一战争中的战胜方必不是战败方，而且战败方必不是战胜方”？ 思考：这些表达对不对？ 郑州官员“说话门”事件 据中央人民广播电台经济之声2009年6月17日报道，河南郑州市须水镇西岗村原本被划拨为建设经济适用房的土地被开发商建了别墅和楼中楼，记者对郑州市规划局进行采访时遭到副局长质问：是准备替党说话，还是准备替老百姓说话? 一个来自实际生活的例子 Disjoint（执政者， ?执政者） 即执政者与非执政者是（完全）不一样的 一个来自实际生活的例子（续） 党 =执政者 即党等于执政者 老百姓=非执政者 即老百姓等于非执政者 Qu