Title :
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
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;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346502
