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