论文部分内容阅读
自动程序设计系统APA使用类比推理技术,向过去经验学习编写新的LISP程序.本文首先给出了它的知识表示和系统结构,然后讨论怎样发现与新问题相似的已解问题,怎样沿着相似推导构作新问题的程序.APA是[1,2]中类比推理理论的一个实验系统.
APA：类比自动程序设计系统
【摘 要】
：
自动程序设计系统APA使用类比推理技术,向过去经验学习编写新的LISP程序.本文首先给出了它的知识表示和系统结构,然后讨论怎样发现与新问题相似的已解问题,怎样沿着相似推导
【机 构】
：
北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系北京100083,北京100083
【出 处】
：
计算机学报
【发表日期】
：
1993年3期
【基金项目】
：
国家863高技术计划,,国家自然科学基金
其他文献
从山东省发改委获悉．山东省将建立大宗农产品市场调控体系．具体针对粮食（小麦、稻谷、玉米、大豆）、食用植物油、猪肉和棉花这4类产品进行调控．一批骨干企业将被首次引入调控体系．
一、卫浴盛会规模空前，展商“爆棚”5月23日．第十一届中国国际卫浴设施展览会在上海新国际展览中心顺利开展!来自全球近30个国家包括TOTO、高仪、汉斯格雅、高宝、科勒、和成、
本文提出了一种新的4级密钥管理方案.该方案通过一个密码操作核心的精心设计,为各用户使用系统的各种功能提供了方便的手段,同时确保了系统的安全性.此外,该方案还大大降低了
2010年以来玉米演绎反季节上涨行情。新玉米上市后便脱离原来的运行轨道,重启上升走势。上半年玉米市场一直充斥着天气、政策、国内产量下降、供应减少及玉米进口预期等利好
In 1997,he was appointed as marketing director when Weimei was in difficult operation.To counter age-old malpractice,he put forward two ideas of establishing sa
甲壳素的化学名称是-（1，4）苷键连接的直链状多糖．是唯一含氨基的均态多糖．结构与纤维素相似。壳聚糖是由甲壳素脱去乙酰基后的产物，一般来讲．甲壳素的N-乙酰基脱去55％以上就可以称为
强制性国家标准GB10648—1999《饲料标签》标准的颁布实施对推动我国饲料工业的健康发展作出了巨大贡献。但随着现代饲料工业的快速发展，GB10648-1999《饲料标签》标准在许多
缺省理论的单调性及其充要条件孙辉（大连铁道学院计算机科学系大连１１６０２２）ＭＯＮＯＴＯＮＩＣＩＴＹＯＦＡＤＥＦＡＵＬＴＴＨＥＯＲＹＡＮＤＡＮＡＳＣＦＯＲＩＴＳＶＡＬＩＤＩＴＹ￥ＳｕｎＨｕｉ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，Ｄ...
四川齿轮厂是国内工程机械弧齿锥齿轮副的主要生产厂家之一，生产ZL40、ZL50装载机各式弧齿锥齿轮副。在实际生产中我们发现部分弧齿锥齿轮副的设计存在着一些不足，为此我们提出