---
title: "Parallel Processing of Resolution"
authors:
  - "Takahira Yamaguchi"
  - "Yoshikazu Tezuka"
  - "Osamu Kakusho"
doi: ""
url: "https://ijcai.org/proceedings/1985/239"
pdf: "https://ijcai.org/proceedings/1985/0239.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "1178-1179"
track: "Theorem Proving"
keywords:
---

# Parallel Processing of Resolution

Takahira Yamaguchi, Yoshikazu Tezuka, Osamu Kakusho

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 1178-1179.

## Abstract

I n this paper , PArallel Resolution Algorithm (PARA ) is d es crib ed to improve the execution effic i ency i n resolution process . PARA consists of two parts: parallel unification and genera t ion of a r es olv e nt . The first part is characte r i s ti c of PARA , which partitions whole set of e xpr ess ion s W into independent clust e rs as pr e- pr ocessi ng and unifies each cluster in paral l el . Th e e fficient implementation for the process in g p ec uli ar t o PARA is presented and ch ecke d by mea ns of th e experiment in c ompa ri so n of e xecution efficiency of resolu t ion . Experimental results show PARA is very ef fec tiv e i n occ urr e nce of many clusters .