In this thesis, a deduction scheme which exploits parallelism for the application of deductive question-answering is proposed. In the deduction scheme, the inference mechanism is separated from that of the retrieval operations. In the inference, full parallelism is exploited by using the dataflow concept. In the retrieval of facts, AND-OR parallelism is realized by a relational database machine. Based on the deduction scheme, an experimental deduction system is simulated, in which Hierarchical Dataflow Database Machine (HRDM)(1) is adopted as the underlying database machine.
본 논문에서는 추론적 검색에 있어서의 병렬 수행에 관해서 논하였다. 제안된 모델에서는 deduction이 inference 단계와 retrieval 단계로 구분되어 수행되는데 inference 단계에서는 dataflow 개념을 이용해서 full parallelism이 구현되었고 retrieval 단계에서는 parallel database machine에 의해서 AND-OR parallelism이 구현되었다.
추론 기계와 하부 database machine을 위한 질의어 생성기가 design 되었으며 하부 parallel database machine으로 Hierarchical Ring-based Dataflow Database Machine이 채택되었다.