A formal associative model of logic programming and its abstract instruction set

Author

Bansal, A.K. ; Lokam, P.V. ; Ghandikota, M.N.

Author_Institution

Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA

fYear

1994

fDate

6-9 Nov 1994

Firstpage

145

Lastpage

151

Abstract

Associative computation is characterized by the intertwining of search by content and data parallel computation. This intertwining facilitates the integration of knowledge retrieval and data parallel computation. The paper describes a formal set of architecture independent rules for an associative model of logic programming, and an abstract instruction set. The model integrates knowledge retrieval, data parallel computation, and rule based reasoning within logic programming paradigm. An example of abstract instructions has been presented through the compilations of illustrative programs. Benchmark results have been presented. Benchmark result shows that tight integration of rule based reasoning and data parallel computation has reduced overhead on high performance supercomputers

Keywords

associative processing; inference mechanisms; instruction sets; knowledge based systems; logic programming; parallel programming; program compilers; abstract instruction set; abstract instructions; architecture independent rules; associative computation; data parallel computation; formal associative model; formal set; high performance supercomputers; knowledge retrieval; logic programming; rule based reasoning; search by content; Bioinformatics; Computer aided instruction; Computer science; Concurrent computing; Genomics; High performance computing; Information retrieval; Information systems; Logic programming; Mathematics;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on

Conference_Location

New Orleans, LA

Print_ISBN

0-8186-6785-0

Type

conf

DOI

10.1109/TAI.1994.346502

Filename

346502