论文部分内容阅读
程序推理
【机 构】
：
石油学院计算机系
【出 处】
：
第四届中国人工智能联合学术会议
【发表日期】
：
1996年期
其他文献
传统的专家系统大都是建立在产生式系统上，利用已知事实通过对知识库的不断搜索以求得解。这种方法较适用于事实的表达比较明显、事实与目标之间存在明显的逻辑对应关系那一类
四川省档案馆于1957年1月筹建, 1966年4月26日正式成立。1963年6月从成都迁至雅安,1988年6月迁回成都。1998年11月被国家档案局评为国家一级档案馆。新建的四川省档案馆坐落
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
开放型车间的生产作业计划，是生产控制系统的一个重要组成部分。此类问题是最一般的也是相当困难的问题，可以把它描述成对ｍ个作业和ｎ台设备进行资源分配的问题。对每一个作业的有