并行推理机RAP/LOP-WAM的抽象机模型和体系结构

来源 :第一届中国人工智能联合学术会 | 被引量 : 0次 | 上传用户:wzh309420
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文论述并行推理机RAP/LOP-WAM的抽象机模型和体系结构。并行推理机RAP/LOP-WAM基于OR树林描述,并行扩充顺序WAM,支持限制与/或并行执行逻 辑程序(Restricted AND-Parallelism and Limited OR-Parallelism)。它通过编译时对程序过程级和子句级的静态数据相关性分析,结合运行时的简单的动态测试开发独立目标的与并行。或并行的开发受限于处理机个数,有效地避免了空间量和进程数的指数爆炸,因而减少了不必要的进程切换,开发大粒度的并行性。(本刊录)
其他文献
会议
会议
正向推理法是人工智能中一种重要的推理方法,而一般的正向推理法具有效率低、灵活性差的缺点。该文从分析一般正向推理法的缺点出发,给出了一种用于规则基专家系统的新的正向推
【摘要】随着教育行业素质教育的不断深入和发展,对教育行业的教学方式提出了挑战,在各个高校的教学改革中,提倡以学生实践运用所学知识的能力为主,提高学生的积极性,主动性学习,增加学习的乐趣,增强学生的实践能力。为了进一步深化高校英语的教学改革,举办实用英语的口语大赛,可以构建完善的高校英语的教学改革模式,本文通过实用英语的口语大赛所反映出的问题,对实用英语的口语大赛的深度解析和高校英语教学改革的措施来
油菜免耕是指在前作物收获后,不经翻耕整地,直接分厢开行或打穴移栽。免耕具有省力、节能、省工的特点,若配合覆盖,还有保墒、贮水、护土、培肥的多重作用。板田移栽油菜可