按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
3
描述逻辑系统UEVN中概念的包含关系.pdf
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题，它主要包括：最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统，该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理，它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系，给出了概念之间包含关系的充要条件。
关键词 描述逻辑 非标准推理 概念描述树
立即下载
3
描述逻辑系统UEVN中概念的包含关系.pdf
描述逻辑系统UEVN中概念的包含关系
立即下载

向豆丁求助：有没有uevN?

如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。