论推理动机性

来源 :计算机工程 | 被引量 : 0次 | 上传用户：dzxt720

【摘要】

：

本文研究逻辑程序实现的推理动机性问题,并提出几种改善推理动机性的思想。 This article studies the reasoning motivation of logic programs and proposes several idea

【作者】

：

鲁汉榕

【机构】

：

空军雷达学院

【出处】

：

计算机工程

【发表日期】

：

1989年01期

【关键词】

：

动机性逻辑程序证明树自底向上推理查询目标时空效率自顶向下推理深度优先搜索偏序关系推理控制

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文研究逻辑程序实现的推理动机性问题,并提出几种改善推理动机性的思想。 This article studies the reasoning motivation of logic programs and proposes several ideas to improve the motivation of reasoning.

其他文献

中国著名学术机构:中央民族大学

中央民族大学前身是 1 941年 1 0月在延安成立的民族学院。 1 951年 6月 1 1日 ,正式成立中央民族学院 ,首任院长乌兰夫。 1 993年 1 1月 3 0日更名为中央民族大学。它是中国

期刊

中国学术机构

TV-20GT11型50cm彩色电视机

Aiwa公司推出一种TV－20GT11型50cm英寸彩色电视机，用屏幕上的菜单可调节亮度、对比度、颜色深浅度到最佳状态。根据不同要求，比如：是标准型还是看电影、睡觉或是游戏操作，自动调节

期刊

彩色电视机游戏操作对比度深浅度菜单TV-20GT11

无题

期刊

论卡森·麦卡勒斯小说的疾病书写

美国南方女作家卡森·麦卡勒斯的小说中描写了众多身患疾病的人物,疾病书写成为作家表达精神隔绝、揭露社会矛盾的独特方式.本文从麦卡勒斯的三部小说《心是孤独的猎手》《金

期刊

卡森·麦卡勒斯小说疾病书写

浅析纪实摄影的社会价值

摘要：摄影是人类记录历史的一种方式，时至今日，它已不再以记录历史为主，更多的是对社会问题进行思考，对人自身进行思考，对人类情感的追寻以及哲理表达。本文对纪实摄影的社会价值进行详细论述。　　关键词：纪实摄影社会价值　　摄影除了能满足人类的好奇心之外，还能够纪录历史变迁、城市的发展以及一系列重大历史事件。摄影已经成为人类观察社会、思考问题的重要手段和工具，和人们的生活融为一体。纪实摄影所呈现的内容

期刊

纪实摄影社会价值

崇尚科学破除迷信

鸡西矿业集团公司张辰煤矿西三采区3

期刊

崇尚科学第一生产力科学思想科学技术精神力量

高校党校教学内容及教学方式浅析

加强高校党校的建设工作是党的建设新的伟大工程的重要组成部分,如何结合高校培养国家专门人才和发展科学文化事业的实际开展党校教学工作是党校管理干部和党校教师在实践中

期刊

高技党校学生入党积极分子高级知识分子

大学生就业中的档案问题及其对策

摘要：大学生就业中的档案问题主要表现为档案的“应付化”现象，档案参考价值不高等问题，解决这些问题就要从更新理念、创新管理模式等几方面入手。　　关键词：大学生档案就业问题与对策　　大学生档案在其就业过程中具有重要作用，因学生档案是对其个人经历、学习和社会实践的重要历史记录，其会成为用人单位在聘用方面的重要参考指标。做好档案管理工作，可以提高大学生就业的成功率，促进大学生就业工作。但是，在实际的档

期刊

大学生档案就业问题与对策

红色电影的文化传播中当代年轻化表达研究

摘要：当前，90后以及00后已经成为社会发展的中坚力量，这一年轻群体成长于新媒体时代，对我国光辉的红色历史认识局限于历史书本。红色电影的年轻化表达，成为拉近年轻人与历史之间距离的纽带，让历史不再贴上枯燥文字的标签，以丰富形象的方式展现在他们面前，让他们切实地领略中国历史、红色文化以及英雄等的魅力。　　关键词：红色电影文化传播年轻化表达　　一、红色电影的文化内涵　　红色经典电影作品是作为特定历史

期刊

红色电影文化传播年轻化表达

信息化背景下如何完善对普通话水平的测试和信息管理

随着时代的发展和网络的普及,信息化技术已经走进社会生活的方方面面.在普通话水平测试的过程中,正确地引进信息化技术,用信息化技术更好地为普通话测试服务,已经成为现代各

期刊

信息化技术普通话测试信息管理

论推理动机性

其他学术论文