頁籤選單縮合
題 名 | An Or-Parallel Inference Model Based on Multi RISC-Style Processing System |
---|---|
作 者 | 陳正; 鍾崇斌; 江政欽; 傅心家; 王仕傑; | 書刊名 | Journal of Information Science and Engineering |
卷 期 | 7:4 1991.12[民80.12] |
頁 次 | 頁487-512 |
分類號 | 310.15 |
關鍵詞 | Prolog; RISC; OR-parallelism; Intelligent backtracking; Forward execution; Backward execution; AND-parallelism; Shallow backtracking; Deep backtracking; MIEP; |
語 文 | 英文(English) |
英文摘要 | Recently, RISC (Reduced Instruction Set Computer) has been widely and successfullyused in many high-performance, general-purpose computer systems.On the other hand,symbolic manipulation and logic inferences have also been attractive and have played an important role in various application areas of artificial intelligence. How to design a high performance inference engine based on an RISC-type machine has, thus, become an exciting research trend in computer system design area. In this paper, we will introduce a new OR-parallel inference model based on a multi-RISC-style processing system, called MIEP (Multiple Inference Engine for Prolog), to execute prolog programs efficiently. Our model consists of two main parts. One is forward execution and the other is backward execution algorithms. We also design an intelligent backtracking technique to speed up the backward execution. To evaluate the performance of our OR model on the MIEP system, several benchmark programs are compiled and then executed by the simulato. The results show that our method has a very good speed up scaling-factor within 16 processors. The detailed description of our model and its evaluation will be given. In addition, some interesting future works are also introduced at the end of the paper. |
本系統中英文摘要資訊取自各篇刊載內容。