Abstract
The Fifth Generation Computer Systems (FGCS) project is a national project of Japan aiming at establishing the basic technology required for high performance knowledge information processing systems. One of its most important subprojects has been the research and development of the parallel inference system, aiming at establishing both hardware and software technologies for obtaining massive symbolic computation power through highly parallel processing.
This paper reports an overview of recent research and development on the parallel inference system, including hardware, basic software and experimental application software.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Aikawa, S. et al.: ParaGraph: A Graphical Tuning Tool for Multiprocessor Systems. Proc. FGCS '92 (1992) 286–293
Clark, K. et al.: PARLOG: Parallel Programming in Logic. ACM Trans. Prog. Lang. Syst. 8–1 (1986).
Chikayama, T.: Operating System PIMOS and Kernel Language KL1. Proc. FGCS '92 (1992) 73–88
Chikayama, T.: A Portable and Reasonably Efficient Implementation of KL1. Technical Report 747 ICOT (1992)
Date, H. et al.: LSI-CAD Programs on Parallel Inference Machine. Proc. FGCS '92 (1992) 237–247
Date, H. and Taki, K.: A Parallel Lookahead line Search Router with Automatic Ripup-and-reroute. Proc. EDAC-EUROASIC 93 (1993)
Fujita, M. et al.: Model Generation Theorem Provers on a Parallel Inference Machine. Proc. FGCS '92 (1992) 357–375
Furuichi, M. et al.: A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI. Proc. Second ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (1990) 50–59
Hirosawa, M. et al.: Folding Simulation using Temperature Parallel Simulated Annealing. Proc. FGCS '92 (1992) 300–306
Hirosawa, M. et al.: Protein Multiple Sequence Alignment using Knowledge. Proc. 26th Annual Hawaii Int. Conf. on System Sci. 1 (1993) 803–812
Ishikawa, M. et al.: Protein Sequence Analysis by Parallel Inference Machine. Proc. FGCS '92 (1992) 294–299
Ikeda, T. et al.: Argument Text Generation System (Dulcinea). Proc. FGCS '92 (1992) 385–394
Kimura, K. and Ichiyoshi, N.: Probabilistic Analysis of the Optimal Efficiency of the Multi-Level Dynamic Load Balancing Scheme. Proc. Sixth Distributed Memory Computing Conf. (1991)
Kawamura, M. et al.: Parallel Database Management System: Kappa-P. Proc. FGCS '92 (1992) 248–256
Matsumoto, Y. and Taki, K.: Adaptive Time-Ceiling for Efficient Parallel Discrete Event Simulation. Western Multiconf. on Computer Simulation (1993) 101–106
Minoda, Y. et al.: A Cooperative Logic Design Expert System on a Multiprocessor. Proc. FGCS '92 (1992) 1181–1189
Nitta, K. et al.: HELIC-II: A Legal Reasoning System on the Parallel Inference Machine. Proc. FGCS '92 (1992) 1115–1124
Nitta, K. et al.: Experimental Parallel Inference Software. Proc. FGCS '92 (1992) 166–190
Onizuka, K. et al.: A Scheme for Protein Tertiary Structure Prediction Based on Stochastic Reasoning. submitted to Workshop “Artificial Intelligence and Genome” at IJCAI 93 (1993)
Saraswat, V. A. et al.: Janus: A Step Towards Distributed Constraint Programming. Proc. North American Conf. on Logic Programming (1990)
Shapiro, E. et al.: Object-oriented Programming in Concurrent Prolog. New Generation Computing 1-1 (1983)
Shapiro, E.: Systems Programming in Concurrent Prolog. In Logic Programming and its Applications, M. van Canegham and D. H. D. Warren(eds.), Albex Publishing Co. (1986) 50–74
Takeuchi, A. et al.: An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND-and OR-Parallelism, LNCS-491, Concurrency: Theory, Language, and Architecture. Springer-Verlag (1989) 173–209
Taki, K.: Parallel Inference Machine PIM. Proc. FGCS '92 (1992) 50–72
Terasaki, S. et al.: Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. Proc. FGCS '92 (1992) 330–346
Ueda, K. et al.: Design of the Kernel Language for the Parallel Inference Machine. The Computer Journal 33-6 (1990) 494–500
Ueda, K.: Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard. Technical Report 208 ICOT (1986)
Ueda, K. et al.: A New Implementation Technique for flat GHC. In Proc. Seventh Int. Conf. on Logic Programming, MIT Press (1990) 3–17
Watanabe, T. et al.: Co-HLEX: Co-operative Recursive LSI Layout Problem Solver on Japan's Fifth Generation Parallel Inference Machine. Proc. FGCS '92 (1992) 1173–1180
Yashiro, H. et al.: Resource Management of PIMOS. Proc. FGCS '92 (1992) 269–277
Yasukawa, H. et al.: Object, Properties, and Modules in QUIXOTE. Proc. FGCS '92 (1992) 257–268
Yamasaki, S. et al.: A Parallel Cooperation Model for Natural Language Processing. Proc. FGCS '92 (1992) 405–413
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chikayama, T., Kiyohara, R. (1993). Parallel inference system research in the Japanese FGCS project. In: Halstead, R.H., Ito, T. (eds) Parallel Symbolic Computing: Languages, Systems, and Applications. PSC 1992. Lecture Notes in Computer Science, vol 748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018662
Download citation
DOI: https://doi.org/10.1007/BFb0018662
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57396-8
Online ISBN: 978-3-540-48133-1
eBook Packages: Springer Book Archive