| 逻辑语言中启发式控制 |
| |
| 引用本文： | 胡运发,胡子昂,高洪奎,卢肇川.逻辑语言中启发式控制[J].软件学报,1990,1(4):14-23. |
| |
| 作者姓名： | 胡运发 胡子昂 高洪奎 卢肇川 |
| |
| 作者单位： | 长沙工学院;长沙工学院;长沙工学院;长沙工学院 |
| |
| 摘 要： | 本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。具体地给出若干启发式控制规则,并证明了这些规则的正确性。运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。文章最后给出启发式WAM(记作HWAM),并且用实例说明HWAM比WAM更有效,更完善。
|
| 关 键 词： | 逻辑语言 启发式 控制信息 |
| 收稿时间： | 8/9/1989 12:00:00 AM |
| 修稿时间： | 1989/10/19 0:00:00 |
HEURISTIC CONTROL IN LOGIC PROGRAMMING |
| |
| Hu Yunf,Hu Ziang,Gao Hongkui and Lu Zhaochuan.HEURISTIC CONTROL IN LOGIC PROGRAMMING[J].Journal of Software,1990,1(4):14-23. |
| |
| Authors: | Hu Yunf Hu Ziang Gao Hongkui and Lu Zhaochuan |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
