FGCS'92 PROCEEDINGS
COVER CONTENTS OF VOLUME 1
MESSAGE FROM THE CHAIRPERSON OF FGCS'92 PREFACE PRENARY SESSIONS General Report on ICOT Research and Development Launching the New Era 3 Kazuhiro Fuchi Overview of the Ten Years of the FGCS Project 9 Takashi Kurozumi Summary of Basic Research Activities of the FGCS Project 20 Koichi Furukawa Summary of the Parallel Inference Machine and its Basic Software 33 Shunichi Uchida Report on ICOT Research Results Parallel Inference Machine PIM 50 Kazuo Taki Operating System PIMOS and Kernel Language KL1 73 Takashi Chikayama Towards an Integrated Knowledge-Base Management System: Overview of R&D on Databases and Knowledge-Bases in the FGCS Project 89 Kazumasa Yokota and Hideki Yasukawa Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers 113 Akira Aiba and Ryuzo Hasegawa Parallel Theorem Provers and Their Applications 132 Ryuzo Hasegawa and Masayuki Fujita Natural Language Processing Software 155 Yuichi Tanaka Experimental Parallel Inference Software 166 Katsumi Nitta, Kazuo Taki and Nobuyuki Ichiyoshi Invited Lectures Formalism vs. Conceptualism: Interface between Classical Software Development Techniques and Knowledge Engineering 191 Dines Bjorner The Role of Logic in Computer Science and Artificial Intelligence 199 J. A. Robinson Programs are Predicates 211 C. A. R. Hoare Panel Discussion: A Springboard for Information Processing in the 21st Century PANEL: A Springboard for Information Processing in the 21st Century 219 Robert A. Kowalski (Chairman) Finding the Best Route for Logic Programming 220 Herve Gallaire The Role of Logic Programming in the 21st Century 223 Ross Overbeek Object-Based Versus Logic Programming 225 Peter Wegner Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing 230 koichi Furukawa Knowledge Information Processing in the 21st Century 232 Shunichi Uchida ICOT SESSIONS Parallel VLSI-CAD and KBM Systems LSI-CAD Programs on Parallel Inference Machine 237 Hiroshi Date, Yukinori Matsumoto, Kouichi Kimura, Kazuo Taki, Hiroo Kato and Masahiro Hoshi Parallel Database Management System: Kappa-P 248 Moto Kawamura, Hiroyuki Sato, Kazutomo Naganuma and Kazumasa Yokota Objects, Properties, and Modules in 257 Hideki Yasukawa, Hiroshi Tsuda and Kazumasa Yokota Parallel Operating System, PIMOS Resource Management Mechanism of PIMOS 269 Hiroshi Yashiro, Tetsuro Fujise, Takashi Chikayama, Masahiro Matsuo, Atsushi Hori and Kumiko Wada The Design of the PIMOS File System 278 Fumihide Itoh, Takashi Chikayama, Takeshi Mori, Masaki Sato, Tatsuo Kato and Tadashi Sato ParaGraph: A Graphical Tuning Tool for Multiprocessor Systems 286 Seiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa and Takashi Chikayama Genetic Information Processing Protein Sequence Analysis by Parallel Inference Machine 294 Masato Ishikawa, Masaki Hoshida, Makoto Hirosawa, Tomoyuki Toya, Kentaro Onizuka and Katsumi Nitta Folding Simulation using Temperature Parallel Simulated Annealing 300 Makoto Hirosawa , Richard J. Feldmann, David Rawn, Masato Ishikawa, Masaki Hoshida and George Michaels Toward a Human Genomu Encyclopedia 307 Kaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ron Taylor, David Zawada, Ray Hagstrom and Ross Overbeek Integrated System for Protein Information Processing 321 Hidetoshi Tanaka Constraint Logic Programming and Parallel Theorem Proving Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers 330 Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama and Akira Aiba cu-Prolog for Constraint-Based Grammar 347 Hiroshi Tsuda Model Generation Theorem Provers on a Parallel Inference Machine 357 Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura and Hiroshi Fujita Natural Language Processing On a Grammar Formalism, Knowledge Bases and Tools for Natural Language Processing in Logic Programming 376 Hiroshi Sano and Fumiyo Fukumoto Argument Text Generation System (Dulcinea) 385 Teruo Ikeda, Akira Kotani, Kaoru Hagiwara and Yukihiro Kubo Situated Inference of Temporal Information 395 Satoshi Tojo and Hideki Yasukawa A Parallel Cooperation Model for Natural Language Processing 405 Shigeichiro Yamasaki, Michiko Turuta, Ikuko Nagasawa and Kenji Sugiyama Parallel Inference Machine (PIM) Architecture and Implementation of PIM/p 414 Kouichi Kumon, Akira Asato, Susumu Arai, Tsuyoshi Shinogi, Akira Hattori, Hiroyoshi Hatazawa and Kiyoshi Hirano Architecture and Implementation of PIM/m 425 Horoshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi and Kanae Masuda Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1 436 Keiji Hirata, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase and Kazuaki Rokusawa AUTHORS INDEX i