Publication Details
Title: Potentiality of Parallelism in Logic
Author: F. Kurfess
Group: ICSI Technical Reports
Date: October 1991
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1991/tr-91-055.pdf
Overview:
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.
Bibliographic Information:
ICSI Technical Report TR-91-055
Bibliographic Reference:
F. Kurfess. Potentiality of Parallelism in Logic. ICSI Technical Report TR-91-055, October 1991
Author: F. Kurfess
Group: ICSI Technical Reports
Date: October 1991
PDF: ftp://ftp.icsi.berkeley.edu/pub/techreports/1991/tr-91-055.pdf
Overview:
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.
Bibliographic Information:
ICSI Technical Report TR-91-055
Bibliographic Reference:
F. Kurfess. Potentiality of Parallelism in Logic. ICSI Technical Report TR-91-055, October 1991