逻辑语言中启发式控制
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


HEURISTIC CONTROL IN LOGIC PROGRAMMING
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。具体地给出若干启发式控制规则,并证明了这些规则的正确性。运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。文章最后给出启发式WAM(记作HWAM),并且用实例说明HWAM比WAM更有效,更完善。

    Abstract:

    This paper discusses how heuristic control information from logic program are get to improve the imcompleteness and inefficiency resulting from the control strategy in PROLOG language system. Several heuristic rules and the proving of their correctness are given. With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved. At the end of this paper, a heuristic WAM(HWAM) is given, and several examples are listed to explain that HWAM is more efficient and more complete the WAM.

    参考文献
    相似文献
    引证文献
引用本文

胡运发,胡子昂,高洪奎,卢肇川.逻辑语言中启发式控制.软件学报,1990,1(4):14-23

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1989-08-09
  • 最后修改日期:1989-10-19
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号