文件名称：论文研究-描述逻辑系统UEVN中概念的包含关系.pdf
文件大小：518KB
文件格式：PDF
更新时间：2022-09-30 16:54:54
论文研究
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题，它主要包括：最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统，该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理，它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系，给出了概念之间包含关系的充要条件。