Potentiality of Parallelism in Logic

TitlePotentiality of Parallelism in Logic
Publication TypeTechnical Report
Year of Publication1991
AuthorsKurfess, F.
Other Numbers685
Abstract

The processing of knowledge is becoming a major area of applications for computer systems. In contrast to data processing, the current stronghold of computer use, where well-structured data are manipulated through well-defined algorithms, the treatment of knowledge requires more intricate representation schemes as well as refined methods to manipulate the represented information. Among the many candidates proposed for representing and processing knowledge, logic has a number of important advantages, although it also suffers from some drawbacks. One of the advantages is the availability of a strong formal background with a large assortment of techniques for dealing with the representation and processing of knowledge. A considerable disadvantage so far is the amount and complexity of computation required to perform even simple tasks in the area of logic. One promising approach to overcome this problem is the use of parallel processing techniques, enabling an ensemble of processing elements to cooperate in the solution of a problem. The goal of this paper is to investigate the combination of parallelism and logic.

URLhttp://www.icsi.berkeley.edu/ftp/global/pub/techreports/1991/tr-91-055.pdf
Bibliographic Notes

ICSI Technical Report TR-91-055

Abbreviated Authors

F. Kurfess

ICSI Publication Type

Technical Report