论文部分内容阅读
<正> 1 引言逻辑程序是一种知识表示的方法,是逻辑公式的有限集合,它起源于逻辑和定理自动证明。1974年,逻辑程序的概念首次出现在Kowalski的一篇文章中,然后在定理自动证明特别是R0bison’s的归结原理基础上发展了起来。随后20多年来,在逻辑程序领域提出了大量的重要概念。
Horn逻辑程序和形式文法之间的对应关系
【摘 要】
：
<正> 1 引言逻辑程序是一种知识表示的方法,是逻辑公式的有限集合,它起源于逻辑和定理自动证明。1974年,逻辑程序的概念首次出现在Kowalski的一篇文章中,然后在定理自动证明
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机科学
【发表日期】
：
2003年10期
【基金项目】
：
国家自然科学基金;国家973计划G1999032701资助
其他文献
<正> 一、引言在人工智能(AI)的研究中规划是其较早的研究领域之一,可以追朔到60年代,1957年Newell和Simon的问题求解程序(GPS)、Green的QA3系统,1971年Fike和Nilsson的STRIP
问卷调查、访谈、数理统计等,对华东地区高校大学生的体育消费结构和消费水平进行调查与分析,结果表明:华东地区高校大学生体育消费意识较强,但是消费行为的独立性较差,大学
在新医药卫生体制改革不断深化的背景下,高等职业院校为了适应市场需要和自身的发展,开始着手于改革创新各专业教学工作。针对《社区护理》,学校根据社区护理岗位的要求、工
针对煤炭在我国能源中的地位以及巨大的产能和产业的负外部性对环境和安全的影响,全面阐述了科学采矿的内涵以及实现科学采矿在管理、科技和经济方面的要求,提出了实现科学产
介绍了焊管常用的3种探伤方法(漏磁探伤、涡流探伤和超声波探伤)及技术。分析了3种探伤方法的优缺点:漏磁探伤灵敏度高,能很好地分辨出焊管内外壁缺陷,但长管体、大壁厚管在
目的探讨早期口服小剂量激素对儿童过敏性紫癜典型症状的持续时间、复发率及肾脏受累发生率的影响。方法收集初发且未累及肾脏的65名过敏性紫癜患儿为研究对象,并随机分为常
河道景观是现代城市的重要组成部分,它是城市景观环境的重要依托。但随着城市范围的不断扩张和人口数量的不断增加,土地利用方式发生改变。大量的河道空间被城市用地挤占,不
<正> 1 引言近年来,计算机的性能、价格、体积在不断发生巨大的变化,对此人们思维中的概念也不断更新:从单一的符号处理、数字计算演变为代表个人组织行使职能,且具有和外界
2017年6月,长江干线集装箱运输行情小幅上涨,集装箱综合运价指数为984.62点,环比上升0.12%,同比上升0.50%。见表1和图1。上游地区随着三峡北线船闸检修期间积压船舶逐渐消散,