【摘 要】
：
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不舍数量限制的描述逻辑系统,
论文部分内容阅读
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不舍数量限制的描述逻辑系统,该文研究的是描述逻辑系统μεVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制.利用定义μεVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件.
其他文献
在《隐婚男女》中,隐婚成为一个不变的主题,一切问题的发生都围绕着隐婚而展开的.因为隐婚,主人公张静宜的人生也发生一系列的变化,在心理上接受隐婚的过程正是张静宜人生变
煤炭企业作为相对特殊的行业,生产经营不能集中于某一领域。其中涉及的原材料、劳动力、人力资源等因素,需要实现最佳区域的合作,争取降低企业生产运营成本、减少库存量,为客
吴与弼终身以理学所描绘的“圣贤”作为行为准则,潜心研究儒学经典,并将其推向一个新的高度.而他一生贫困与疾病交集,却始终坚信人性本善的信条,并以教育传播理学思想为己任,
海灯法师是近代著名的武术家,他通晓少林拳术,其中尤以少林绝学童子功和二指禅等神功闻名中外,在习武之余他还深入研究佛学经典并通晓诗词书法,是一位在武学、文学上都有深厚
李商隐是编织和记录人生梦幻的高手,《听雨后梦作》是一首与梦有关的诗作,然前人对这首诗的解读或与实际情形有所出入,与诗人那些凭借超凡的想象抒写梦幻人生的作品有所不同,
孔子曾说:“君子有三畏:畏天命,畏大人,畏圣人之言.”古代的帝王们也有三畏:一是畏灾异；二是畏百姓；三是畏史家.帝王们有三畏的根本原因,是为了维系其权威与统治.
作为战国时期著名的教育家、思想家,荀子在整个教育史和学术史上都占据着重要的地位。荀子在继承了战国前期的儒家教育思想的基础之上,还吸收借鉴了其他各家教育思想的优点,
当今人类置身于其中的是一个实践的、历史的、文化的、价值的、道德的、精神的新"自然人类学"时代--以"生态文明"为主题特质的时代.全球社会正通过多方面带有前瞻性的智识设
农民工作为中国社会阶层分化过程中的重要阶层,其拥有社会资本的状况严重影响着农民工自身生存发展和社会公平、社会和谐、城市化进程等.农民工在城市化进程中离乡进城,使得
目的:优化柴芩清肝方的提取工艺。方法:建立柴芩清肝方中黄芩苷、甘草苷和芍药苷3种成分同时测定的HPLC方法。采用L9(34)正交设计法,以黄芩苷、甘草苷、芍药苷3种成分含量综