Evaluation Report
on the FGCS Project
Wolfgang Bibel
Technical University Darmstadt
Germany
4 June 1992
and universities and its policy to exchange researchers in its laboratory after their
temporary stay at ICOT. Not only have these researchers learned more than would have
been possible by mere education, but they also were exposed to international cooperation
and now enjoy the possibility to continue these contacts at their respective institutions.
Since before this project Japan had some problems with opening up to the international
research community, I regard this effect as one of extreme importance for the future
prospects of Japanese ability to remain a leader in information technology scientifically
as well as economically. As a German I wished my country would have taken similarly
wise moves in this respect, especially in the area of machine design and architecture.
Not only has the project changed the infrastructure in Japan, but also the one of the
international research community. While previously western scientists rarely took their
Japanese colleagues into serious consideration, now Japanese scientists in information
technology are considered as equal partners a par with any others. Japanese researchers
present their results more than ever before in international journals and conferences. Vice
versa, Japanese journals (like the Future Generation Computer Systems Journal) and
Japanese conferences (like the FGCS) are regarded as esteemed stages for the
presentation of scientific results for scientists from all-over the world. The fact that Japan
will host again in 1997 one of the most influential and largest conferences in information
technology, namely IJCAI, underlines the respect with which our Japanese colleagues.
are regarded by the rest of the world.
Finally, and most importantly, I am genuinely impressed by the scientific achievements
of this remarkable project. For the first time in our field, there is a uniform approach to
both hardware and software design through a single language, viz. KL1.
On the one hand, the machines built under the framework named PIM all are designed for
the special purpose of executing KL1 programs which makes this execution remarkably
efficient. On the other hand, all software is built on top of KL1. This is an exciting
achievement for a number of reasons, some of which I will mention in the sequel.
Remember that KL1 is (sort of) a logical language. The rest of the computing world
ignored logic as useful vehicle for computation mainly for two reasons, namely for its
alleged inappropriateness for state-dependent software (such as an operating system) and
for its inefficiency. The FGCS project has given proof that both concerns are actually
wrong. Firstly, the kernel of the operating system for the PIM machines is part of KL1's
realization, while the rest of the operating system is built as a large software system,
called PIMOS, which is all written in KL1 using the kernel operating system functions
contained in it (with about 133K lines of code). Logic can well be used as a formalism to
cope with systems which are state sensitive as PIMOS proves. Secondly, the realization
of KL1 is extremely efficient as the application software systems (like MGTP and many
others) demonstrate in a remarkable way.
The other part of the basic software built on top of KL1 is a knowledge base management
system, Kappa-P, on top of which Quixote, a knowledge representation language is built.
It is less surprising that a logical language like KL1 is suitable for knowledge
representation. The remarkable feature, however, is that the basis is exactly the same as
the one for the operating system. The optimization efforts could therefore be concentrated
on the realization of KL1 on the machines with the benefits for PIMOS and Kappa-P
falling out for free.
Logic as a uniform and efficient framework is thus one of the outstanding results of the
project. Aspects of this are
- the view of hardware and software design as an integral part of the problem of
-42-