- 1、本文档共26页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
教师:常亮 E-mail: changl@guet.edu.cn 办公室电话 : 2291071 手机 : 办公室: 7212 数据与知识工程 欢迎参加 描述逻辑的推理问题 (1) ? 概念的可满足性 描述逻辑的推理问题 (2) ? 知识库的可满足性 / 知识库的一致性 / ABox 相对于 TBox 的一致性 描述逻辑的推理问题 (3) ? 公式的可满足性 描述逻辑 ALC 的 判定算法 ? 预处理: ? 转化为 negation normal form (NNF) ? 判断概念可满足性的步骤: ( 令 D 为待判定的概念 ) ? (1) 构造初始树 T 0 ,仅由单结点 x 0 组成,并且 L(x 0 )={D} ; ? (2) 应用 Tableau 扩展规则对 T 0 进行扩展; …… 描述逻辑 ALC 的 判定算法 ? ALC 的 Tableau 扩展规则: 描述逻辑 ALC 的 判定算法 ? 判断概念可满足性的步骤: ( 令 D 为待判定的概念 ) ? (1) 构造初始树 T 0 ,仅由单结点 x 0 组成,并且 L(x 0 )={D} ; ? (2) 应用 Tableau 扩展规则对 T 0 进行扩展; ? 如果存在某种扩展方式得到一棵饱和的并且无冲突 的树,则返回“概念 D 相对于 TBox T 是可满足的”, ? 否则返回“概念 D 相对于 TBox T 不可满足”。 ? 冲突: ? 饱和 / 完全的树: ? 不能再应用 tableau 扩展规则进行扩展。 描述逻辑 ALC 的 判定算法 {Parent} x {Parent, Father, Mother, Man} {Parent, Father, Mother} {Parent, Father, Mother, Man, Woman} {Parent, Father, Mother, Man, Woman, Person, ? Woman} y {Person} hasChild z {Person} hasChild 描述逻辑 ALC 的 判定算法 {Parent} x {Parent, Father, Man} {Parent, Father} {Parent, Father, Man, Person, ? Woman} {Parent, Father, Man, Person, ? Woman, ? Person} y {Person} hasChild {Parent, Father, Man, Person, ? Woman, ? Female} 练习 ? Use tableau algorithm to decide whether the following concept is satisfiable or not. ? (( ? R . A ) ? ( ? R . B )) ? ? R .( A ? B ). 练习 ? Given the following TBox, use tableau algorithm to decide whether the concept Grandmother is satisfiable or not. 对知识库一致性的判定 ? Given a TBox T and an ABox A, use tableau algorithm to decide whether A is consistent w.r.t. T. ? 判断知识库一致性的步骤: ? (1) 根据 ABox A 构造初始图 T 0 。 ? A 中出现的每个个体名对应于图中一个结点; ? 每个结点上标记其对应的个体名所需要满足的概念; ? 结点之间的边对应于个体名之间所需要满足的角色。 ? (2) 应用 Tableau 扩展规则对 T 0 进行扩展; ? 如果存在某种扩展方式得到一棵饱和的并且无冲突的 树,则返回“知识库是一致的”, ? 否则返回“知识库是不一致的”。 例子 ? Use tableau algorithm to decide whether the following knowledge base is satisfiable or not. 练习 ? Use tableau algorithm to decide whether the following knowledge base is satisfiable or not. 对公式可满足性的判定 ? Given a TBox, use tableau algorithm to decide whether a formula is satisfiable or not
您可能关注的文档
- 护理教育的课程97-文档资料.ppt
- 护理科研-文档资料.ppt
- 护理论文_1488258027-文档资料.ppt
- 拉丁方设计及交叉设计定量资料的假设检验.ppt
- 抽样定理及脉冲调幅pam试验.ppt
- 拍摄色彩控制06.ppt
- 护理诊断的思维方法-文档资料.ppt
- 护理教学查房-精选文档.ppt
- 护理论文-文档资料.ppt
- 拒绝抄作业主题班会-38页精品文档.ppt
- GB/T 29324-2024架空导线用碳纤维增强复合材料芯.pdf
- 《GB/T 29324-2024架空导线用碳纤维增强复合材料芯》.pdf
- GB/T 43905.1-2024焊接及相关工艺中烟尘和气体取样的实验室方法 第1部分:电弧焊中烟尘排放速率的测定和分析用烟尘的收集.pdf
- 《GB/T 43905.1-2024焊接及相关工艺中烟尘和气体取样的实验室方法 第1部分:电弧焊中烟尘排放速率的测定和分析用烟尘的收集》.pdf
- 中国国家标准 GB/T 43905.1-2024焊接及相关工艺中烟尘和气体取样的实验室方法 第1部分:电弧焊中烟尘排放速率的测定和分析用烟尘的收集.pdf
- 中国国家标准 GB/T 18910.21-2024液晶显示器件 第2-1部分:无源矩阵单色液晶显示模块 空白详细规范.pdf
- GB/T 18910.21-2024液晶显示器件 第2-1部分:无源矩阵单色液晶显示模块 空白详细规范.pdf
- 《GB/T 18910.21-2024液晶显示器件 第2-1部分:无源矩阵单色液晶显示模块 空白详细规范》.pdf
- GB/T 43860.1220-2024触摸和交互显示 第12-20部分:触摸显示测试方法 多点触摸性能.pdf
- 中国国家标准 GB/T 43860.1220-2024触摸和交互显示 第12-20部分:触摸显示测试方法 多点触摸性能.pdf
1亿VIP精品文档
相关文档
最近下载
- 10万吨年电石乙炔法制VAC项目醋酸乙烯合成工段工艺设计.docx
- 幼儿园禁毒教育课-大手牵小手禁毒一起走.pptx
- QC-T 491-1999汽车筒式减振器尺寸系列及技术条件.pdf VIP
- 自动苏生器仪器.pdf VIP
- 新能源汽车财务风险评估与防范以蔚来汽车为例.pdf VIP
- 冶金建设工程设备与材料划分规定.pdf
- 三菱电梯系列调试资料及、说明 加故障代码子整理比较全的.doc
- CMOS模拟集成电路版图设计:基础、方法与验证 PPT课件 第十章 Calibre LVS常见错误解析.ppt
- QB∕T 5610-2021 硬质聚氯乙烯发泡建筑模板.pdf
- 立式设备安装记录填写示例SH3503-2017.pdf VIP
文档评论(0)