一种快速推理算法──索引法

来源 :西南师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:SAGDGJGU
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在概述索引技术在人工智能(AI)各领域应用情况的基础上,提出了索引推理的思想,并详细讨论了以谓词逻辑表示知识时的索引推理算法。
其他文献
阐述了大型球磨机的结构、系统、控制与保护,并对其控制原理、系统组成等进行了分析。
报道了四川省鱼类的26种寄生甲壳动物及其宿主、寄生部位和分布,它们分别属于5科9属,其中,桡足类21种,鲺属3种,拟马颈鱼虱属1种,鱼怪属1种。
分析了歪头山上盘排土场加高后多种状态下的稳定性,选取排土场的变形破坏模式和安全系数限值,通过Bishop法、Janbu法进行稳定性计算。
以田间试验数据为基础,结合地理信息系统、优化算法和植物模拟软件,以长春市合心镇为例,在土壤地理信息数据库的基础上构建优化区域玉米水肥耦合制度。结果表明,依据植物模拟
研究恰当的灌水定额对于实现高效节水灌溉具有重要意义。采用完全随机试验设计,首先研究不同灌水定额对夏玉米生长、耗水量与产量的影响;再次利用改进的模糊综合评判法对夏玉
基于对澳门机场周边水域往年同步实测水文资料的分析,对该水域涨落潮流速流态、余流和涨落潮历时等因子的变化规律进行了探讨。研究显示,该水域洪季涨潮流向以N~NNE向为主,枯
EQ491发动机系引进美国Ford汽车公司OHC420发动机,技术文件要求使用APISG级汽油机油。本文从实际行车试验和台架试验2个方面对EQ491发动机的用油情况进行了研究。
近年来我县甘蔗螟虫(特别是大螟)的危害逐年加重,但由于蚕桑面积大,治螟和养蚕矛盾突出,一直未能筛选出一种既能防治甘蔗螟虫,又能缓解蔗桑矛盾的经济有效的农药。198年我站从四川省农
节水灌溉是我国解决“地水”矛盾的有效途径。我国西部地区幅员辽阔但水资源极度匮乏,为了提高水资源有效利用率,建设了大量的节水灌溉工程,但后评价工作未能及时有效地开展
“人性假设丛林”中的“工具人”、“生物人”、“经济人”、“理性人”、“社会人”、“成就人”、“道德人”等假设已不能适应当今信息时代、网络社会、虚拟世界和智慧地球