FGCS'88 PROCEEDINGS |
|
| COVER |
|
Table of Contents
Volume 1
|
|
PREFACE |
|
| |
|
ICOT RESEARCH AND DEVELOPMENT
|
|
| Present Status and Plans for Research and Development |
3 |
| T. Kurozumi |
|
| Research and Development of the Parallel Inference System in the Intermediate
Stage of the FGCS Project |
16 |
| S. Uchida, K. Taki, K. Nakajima, A. Goto and T. Chikayama |
|
| Knowledge Base System in Logic Programming Paradigm |
37 |
| H. Itoh, H. Monoi, S. Shibayama, N. Miyazaki, H. Yokota and A. Konagaya |
|
| Problem-Solving and Inference Software |
54 |
| R. Hasegawa and researchers of the First Research Laboratory |
|
| The Research and Development of Natural Language Processing Systems in
the Intermediate Stage of the FGCS Project |
70 |
| S. Uchida, T. Yoshioka, R. Sugimura, Y. Tanaka, K. Hasida and K.
Murai |
|
| Experimental Knowledge Processing System |
85 |
| Y. Fujii, H. Taki and other researchers of the Fifth Research Laboratory |
|
| |
|
INVITED LECTURE
|
|
| Prospects for Cognitive Science |
111 |
| H. A. Simon |
|
| Logic Programming Schemes |
120 |
| K. L. Clark |
|
| |
|
| PANEL DISCUSSIONS |
|
| Social Impact of Information Technology and International Collaboration |
|
| Social Impact of Information Technology and International Collaboration |
143 |
| H. Karatsu |
|
| Artificial Intelligence: Perspectives and Predictions |
145 |
| J. H.Siekmann |
|
| International Collaboration in IT |
147 |
| T. H.Walker |
|
| Social Impacts of Advanced Computers |
151 |
| F. W. Weingarten |
|
| |
|
| Theory and Practice of Concurrent Systems |
|
| The Panel on Theory and Practice of Concurrent Systems |
152 |
| E. Shapiro |
|
| Mechanisms for Concurrent Computing |
154 |
| W. J. Dally |
|
| Theory and Practice of Concurrent Systems |
157 |
| G. Fox |
|
| Knowledge Processing |
161 |
| C. Hewitt |
|
| Some Directions in Concurrency Theory |
163 |
| R. Milner |
|
| Theory and Practice of Concurrent Systems - The Role of Kernel Language
in the FGCS Project- |
165 |
| K. Ueda |
|
| Theory and Practice of Concurrent Systems -A Position Paper |
167 |
| D. H. D. Warren |
|
| |
|
| SPECIAL SESSION |
|
| Progress and Future Plans Of Knowledge Information Processing |
|
| Advanced Information Processing in ESPRIT - Status and Plans |
171 |
| J-M Cadio |
|
| A Review of MCC's Accomplishments and Strategic Outlook for Knowledge-Based
Sytems |
180 |
| E. Lowenthal |
|
| UK IKBS Programmes |
189 |
| T. E. Walker |
|
| |
|
| ICOT RESEARCH TOPICS |
|
| Overview of Knowledge Base Mechanism |
197 |
| S. Shibayama, H. Sakai, T. Takewaki, H. Monoi, Y. Morita and H. Itoh |
|
| Overview of the Parallel Inference Machine Architecture (PIM) |
208 |
| A. Goto, M. Sato, K. Nakajima, K. Taki and A. Matsumoto |
|
| Overview of the Parallel Inference Machine Operating System (PIMOS) |
230 |
| T. Chikayama, H. Sato and T. Miyazaki |
|
| Overview of the Knowledge Base Management System (KAPPA) |
252 |
| K. Yokota, M. Kawamura and A. Kanaegami |
|
| Constraint Logic Programming Language CAL |
263 |
| A. Aiba, K. Sakai, Y. Sato, D. J. Hawley and R. Hasegawa |
|
| Overview of the Dictionary and Lexical Knowledge Base Research |
277 |
| Y. Tanaka and T. Yoshioka |
|
| A Software Environment for Research into Discourse Understanding Systems |
285 |
| R. Sugimura, K. Hasida, K. Akasaka, K. Hatano, Y. Kubo, T. Okunishi
and T. Takizuka |
|
| Expert System Architecture for Design Tasks |
296 |
| Y. Nagai, S. Terasaki, T. Yokoyama and H. Taki |
|
| |
|
| AUTHORS INDEX |
i |
