性质继承的线性逻辑表示和推理

来源 :计算机工程 | 被引量 : 0次 | 上传用户:magicarpet
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题.
其他文献
本文简要概括了模式信息处理领域的理论系统与应用的最新进展,着重地介绍了计算机视觉的马尔理论,立体视觉与序列图象处理,计算机黑板,隐马尔科夫过程的语音识别,人工神经元网络以及模式信息专用的计算机并行处理结构等新动向。
农业是中国基础产业之一,是中国社会发展的关键。对于中国而言,农业经济发展关乎着社会的发展,决定着国民物质生活水平的好坏。通过研究发现,中国农村人口基数大,是中国发展
一、运用简笔画形象直观地教授单词课堂上,为了提高学生的学习兴趣,在教授实物单词时,教师可先简单地在黑板上画上一幅简笔画,再呈现相应的单词,然后让学生认读单词、张贴图画。这
满意度调研进入中国10多年的时间,从最初的服务落实度调查,到感知质量调查,到满意度指数模型调查,不断与多种研究技术和理念相结合,发展出满足不同需求的满意度调研技术。在
随着经济、金融全球化进程的不断推进,各个国家或地区的金融市场开放程度不断加深,这使得资本能够在全球范围内自由流动。与此同时,信息技术的快速发展也使市场波动信息能够
利用PVA作为有机基质,控制适当的反应条件,模拟碳酸钙的生物矿化,进行仿生合成,得到了球形碳酸钙。球形粒子是球霰石型晶体,直径约为10 -15μm。对比无PVA的结果,表明PVA对碳
本文针对某电厂2号汽轮机在大修后启动过程中出现振动大的问题,通过对机组启动过程振动进行数据分析,确认汽轮机发生了动静碰磨故障。采取降速暖机,控制轴振动,通过摩擦扩大
众所周知,通货膨胀具有普遍性而且对国际经济和政治有重大影响。通货膨胀不仅是一个国家不得不面对的经济问题,更是世界各国在经济发展中所面临的共同难题。通货膨胀目标制作为
DEST系统是华中理工大学开发的面向对象的专家系统工具,应用散列二叉树结构作为对象知识库的内部数据结构,介绍了面向对象的知识表达方法,说明了散列二叉树的基本结构和特点,
气象工作与国计民生息息相关,但由于种种原因,建国初期,在57万平方公里的四川境内仅有25个设备简陋的气象观测站,远远不能满足国计民生的需要。中华人民共和国的诞生,为气象