Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. I...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Itoh, Hidenori (VerfasserIn), Monoi, Hidetoshi (VerfasserIn), Seki, Hirohisa (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1988
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 435
Schlagworte:	Expert systems (Computer science) GHC (Computer program language) Logic programming Parallel processing (Electronic computers)
Zusammenfassung:	Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985 The points of this paper are shown as follows, the introduction, which describes the relationships among the systems, the knowledge base system on a sequential inference network, the distributed model of the knowledge base subsystem on distributed sequential inference machines connected by a local area network, the parallel model of the knowledge base subsystem on tightly coupled multiprocessors, the interface between the parallel logic programming language GHC and parallel knowledge base subsystem, the conclusion, which describes the direction of the FGSC.
Beschreibung:	29 S. graph. Darst.