1983
DOI: 10.1145/358172.358177
|View full text |Cite
|
Sign up to set email alerts
|

Introduction to the fifth generation

Abstract: In October 1981, Japan's Ministry of International Trade and Industry (MITI) sponsored a conference to announce a new national project. Alongside national projects in supercomputing and robotics, there would be an effort to develop a new generation (the fifth, by their reckoning) of computers.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

1984
1984
2022
2022

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 9 publications
(3 citation statements)
references
References 0 publications
0
3
0
Order By: Relevance
“…Still within this formal system approach, it is worth mentioning the launch, in 1978, of the ambitious project of the fi fth-generation computer proposed by Japan (Moto-Oka & Stone, 1984;McCorduck, 1983;Warren, 1982). This project aimed to develop a highly parallel computer, capable of making "one gigalips", meaning one billion logical inferences per second (McCorduck, 1983). The basis of the project was logic programming, proposed by Robert Kowalski, in the form of Horn clauses, implemented in the Prolog language.…”
Section: The Era Of Formal Systemsmentioning
confidence: 99%
“…Still within this formal system approach, it is worth mentioning the launch, in 1978, of the ambitious project of the fi fth-generation computer proposed by Japan (Moto-Oka & Stone, 1984;McCorduck, 1983;Warren, 1982). This project aimed to develop a highly parallel computer, capable of making "one gigalips", meaning one billion logical inferences per second (McCorduck, 1983). The basis of the project was logic programming, proposed by Robert Kowalski, in the form of Horn clauses, implemented in the Prolog language.…”
Section: The Era Of Formal Systemsmentioning
confidence: 99%
“…In this regard we would note one new and particularly powerful programming language, PROLOG (Clocksin & Mellish,198 l), that seems especially suitable for simulations such as those of counseling that might involve the processing of natural language. Although high level languages such as PROLOG are not currently operable on today's generally available microcomputers, future generations of computers (McCorduck, 1983) will likely be capable of using such languages. Regardless, in the same sense that programs that operate on an APPLE I1 computer may require modification to run on Zenith, IBM, EPSON, and TRS computers, the same will be true for CLIENT 1.…”
Section: Technical Notesmentioning
confidence: 99%
“…Researches on the future computers, unlike the current computers, are towards the symbolic inference machine that is capable of perfoHming the deductive reasoning over a given knowledge and data [McCo83;Shap83;Moto82], and research projects for designing such an inference machine are under way in the United States, Japan, and France [ICOT84]. There have been two approaches to this problem; one is to build an inference machine that can directly execute the inference procedures of the logic program (PROLOG) such as unifications and deductive searches, producing one answer at a time, and the other is to build the KnowledgeBased System (KBS), i.e., to store a large set of facts in a data base and retrieve these facts as they are searched in the inference process.…”
Section: Introductionmentioning
confidence: 99%