论文部分内容阅读
归结原理(resolution principle)是计算机自动推理的重要原理之一.将XML加入到使用归结原理的证明过程中,利用XML结构与语义自描述的特性,简化归结过程的计算机实现,并给出相应基于XML的算法.
使用XML的一阶谓词逻辑归结原理
【摘 要】
：
归结原理(resolution principle)是计算机自动推理的重要原理之一.将XML加入到使用归结原理的证明过程中,利用XML结构与语义自描述的特性,简化归结过程的计算机实现,并给出相
【机 构】
：
安徽大学计算机科学与工程系
【出 处】
：
微机发展
【发表日期】
：
2002年6期
其他文献
本文介绍了用PB实现生产管理系统的几项技术:相似数据的自动生成、两个数据窗口的同步滚动、下拉列表框内容的动态更新、一种过滤技术等.
RTTI是C++的主要特性之一，它允许用一个匿名的多态指针来发现类型信息。为了从本质上理解RTTI的精髓，充分发挥它的特性，以MFC为倒，讨论了如何在库中实现自己的RTTI，通过对MFC中与R
我国经济的飞速发展,使得信息化的需求越来越迫切。而国土行业作为城市发展规划的基础,其传统的手工操作已滞后于经济的发展。GIS的兴起和发展满足了国土行业信息化的要求,为大量空间数据的存储和管理提供了可能。文中通过陕西省的地价管理系统的设计与开发,阐述了GIS技术在开发本系统中的应用,最后给出了该系统的技术特点。实际应用表明,该系统能方便高效地管理土地信息,为土地管理提供了一个现代化的管理平台。
本文介绍用Visual C++6.0实现串行通信的两种编程方式：Windows API函数实现与I/O函数实现，并给出具体编程步骤和程序。
文章介绍了沂蒙山区大樱桃的主要品种，总结了温室大樱桃的主要管理技术，包括品种和砧木选择、温室设计、苗木选择、扣棚前的管理、适时扣棚、棚内管理、揭棚、揭棚后管理等内容
目的:探讨早期使用氯胺酮是否延迟盲肠结扎穿孔(CLP)所致脓毒症小鼠的死亡时间.方法:60只CLP小鼠,分别于术后1、6 h腹腔注射氯胺酮0、3、6、12 mg·100g-1,观察小鼠死亡
利用化学除氧-微乳状液增稳室温燐光法(ME-RTP)对萘普生进行了研究,比较了萘普生在微乳状液体系和胶束体系中的室温燐光特性及其影响因素.建立了测定萘普生的室温燐光新方法.
山东省乐陵市是我国驰名中外的特产——金丝小奉的原产地,被国家命名为“中国金丝小奉之乡”本文在对山东省乐陵市典型的奉粮间作地区农民管理金丝小奉调研的基础上,分析了该
苹果桧柏锈病是一种转主寄生性锈菌，天水市秦州区桧柏类绿化树种的大量栽植，致使苹果桧柏锈病的发生呈蔓延之势，严重影响果品质量、产量以及天水苹果产业的健康发展。以秦州区南
针对石油行业的钻井事故问题,通过计算机网络,利用计算机支持的协同工作(CSCW)技术,设计了一个远程钻井事故诊断系统.该系统可以调用各方面的技术力量,包括各油田远程事故诊