3.专题讨论：描述逻辑与知识表示.ppt

China2009 1 语义网的逻辑基础LogicalFoundationoftheSemanticWeb 主讲 黄智生ZhishengHuangVrijeUniversityAmsterdam TheNetherlandshuang cs vu nl助教 胡伟WeiHuSoutheastUniversitywhu China2009 2 课程时间表Schedule China2009 3 什么是知识表示 知识表示实验描述逻辑能够作什么 逻辑与推理实例分析 专题讨论 描述逻辑与知识表示Discussion DescriptionLogicsandKnowledgeRepresentation China2009 4 什么是知识表示 WhatisKnowledgeRepresentation 知识表示是研究如何使用形式化的符号系统来表达特定的知识的一个学术分支 作为人工智能的一个分支 它还研究如何在计算机系统上实现其推理过程 Generallyspeaking somekindoflogicisusedbothtosupplyaformalsemanticsofhowreasoningfunctionsapplytosymbolsinthedomainofdiscourse aswellastosupply dependingontheparticularsofthelogic operatorssuchasquantifiers modaloperators etc that alongwithaninterpretationtheory givemeaningtothesentencesinthelogic China2009 5 知识工程KnowledgeEngineering 知识表示语言 KnowledgeRepresentationLanguages 知识获取 KnowledgeAcquisition 推导和推理 InferenceandReasoning 知识库管理 ManagementofKnowledgeBases China2009 6 推导和推理InferenceandReasoning 推导 研究如何从前提来获得逻辑结论Inferenceistheactorprocessofderivingalogicalconsequenceconclusionfrompremises 推理 指对特定结论 判断 行为或感觉寻找理由解释的认知活动Reasoningisthecognitiveprocessoflookingforreasonsforbeliefs conclusions actionsorfeelings China2009 7 知识表示实验ExperimentsofKnowledgeRepresentation China2009 8 知识表示实验一 以 海洋 为核心概念 写出在你脑海里依次联想而出的其他概念及其相应的联系 注意要点 使用自然语言来描述不要考虑描述逻辑表达能力的限制还可以扩展到其他核心联想概念 China2009 9 知识表示实验二 以 南京 为核心词汇 写出在你脑海里依次联想而出的其他词汇及其相应的联系 China2009 10 知识表示实验三 以 仁 为核心词汇 写出在你脑海里依次联想而出的其他词汇及其相应的联系 China2009 11 描述逻辑能够作什么 从一些实例上看 China2009 12 Examples woman person femaleman person womanmother woman hasChild personfather man hasChild person China2009 13 思考 如何用描述逻辑来定义下列家族概念 uncle grandfather stepfather China2009 14 Examples woman person femaleman person womanmother woman hasChild personfather man hasChild personparent motherVfatherhasSibling hasBrotherVhasSisteruncle man hasSibling parentgrandfather man hasChild parent China2009 15 HowaboutthatofStepfather realfather man hasBornChild person思考 是否可以定义stepfather father realfather hasBornChild hasChild思考 是否可以推出Stepfather father 思考 father hasBornChild person stepfather China2009 16 思考 为什么说人们通常说 Uncle关系在OWL DL无法定义 China2009 17 一道来自W3China论坛的问题 如何用RDF描述 齐国讨伐鲁国 战于长勺 齐国战败 RDF三元组 这里s 主语p 谓语o 宾语特殊谓语 type subClassOf China2009 18 网友雪褥织影的回答 齐鲁之战rdf type战争齐国rdf type国家鲁国rdf type国家齐鲁之战地点长勺齐鲁之战发起方齐国齐鲁之战参与方齐国齐鲁之战参与方鲁国齐鲁之战战败方齐国 China2009 19 用描述逻辑来表示 Abox 战争 齐鲁之战 国家 齐国 国家 鲁国 有地点 齐鲁之战 长勺 有时间 齐鲁之战 公元前684年 发起方 齐鲁之战 齐国 参与方 齐鲁之战 齐国 参与方 齐鲁之战 鲁国 战败方 齐鲁之战 齐国 China2009 20 思考 如何写Tbox 战争v9有地点 地点u9有时间 时间u9参与方 国家u9发起方 国家 任何战争都有地点 有时间 有参与方 有发起方 China2009 21 思考 如何写Tbox 战争v9有地点 地点u9有时间 时间u 2 参与方 国家u 1 发起方 国家 任何战争都有地点 有时间 而且至少有两个参与方 至少有一个发起方 China2009 22 有胜负的战争 战争u9战胜方 国家u9战败方 国家和局的战争 战争u 9战胜方 国家u 9战败方 国家 思考 如何描述战争与战败方和战胜方的关系 有胜负的战争是有战胜方和战败方的战争 和局的战争是没有战胜方和战败方的战争 China2009 23 思考 可以推出何种结论 有胜负的战争v战争和局的战争v战争Disjoint 有胜负的战争 和局的战争 思考 如何表示 同一战争中的战胜方必不是战败方 而且战败方必不是战胜方 China2009 24 思考 这些表达对不对 国家u9 战胜方 战败方 战争 v roleinverse roleconjunction X战争的战胜国 9战胜方 X u战争 X u国家X战争的战败国 9战败方 X u战争 X u国家Disjoint X战争的战胜国 X战争的战败国 China2009 25 郑州官员 说话门 事件 据中央人民广播电台经济之声2009年6月17日报道 河南郑州市须水镇西岗村原本被划拨为建设经济适用房的土地被开发商建了别墅和楼中楼 记者对郑州市规划局进行采访时遭到副局长质问 是准备替党说话 还是准备替老百姓说话 China2009 26 一个来自实际生活的例子 Disjoint 执政者 执政者 即执政者与非执政者是 完全 不一样的 Disjoint 从执政者角度说话 从非执政者角度说话 即从执政者角度说话与从非执政者角度说话是 完全 不一样的 从X角度说话 替X说话即从X角度说话就表明了是替X说话 China2009 27 一个来自实际生活的例子 续 党 执政者即党等于