FGCS '92: Fifth Generation Computer Systems 1992IOS Press, 1992 - 1218 lappuses The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, showing how the research goals set were achieved. |
Saturs
Keynote Speech | 3 |
Summary of Basic Research Activities of the FGCS Project | 20 |
Abduction | 23 |
Machine Learning | 26 |
Summary of the Parallel Inference Machine and its Basic Software | 33 |
Theorem Proving | 43 |
Knowledge Information Processing in the 21st Century | 50 |
Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine | 71 |
Parallel VLSICAD and KBM Systems | 237 |
KappaP | 248 |
Objects Properties and Modules in QUIXOTE | 257 |
Parallel Operating System PIMOS | 269 |
The Design of the PIMOS File System | 278 |
A Graphical Tuning Tool for Multiprocessor Systems | 286 |
PIMc | 292 |
Genetic Information Processing | 294 |
Operating System PIMOS and Kernel Language | 73 |
Overview of RD | 89 |
Semantics of Logic Programs | 90 |
Extended WellFounded Semantics for Paraconsistent Logic Programs | 111 |
CAL GDCC and Their Constraint Solvers | 113 |
Parallel Theorem Provers and Their Applications | 132 |
Logic Programs with Inheritance | 153 |
Natural Language Processing Software | 155 |
Qualitative Reasoning | 167 |
Range Determination of Design Parameters by Qualitative Reasoning and its Application | 180 |
Parallel Logic Simulator based on Time Warp and its Evaluation | 190 |
Invited Lectures | 191 |
Knowledge Representation | 200 |
Programs are Predicates | 211 |
ObjectBased Versus Logic Programming | 225 |
Folding Simulation using Temperature Parallel Simulated Annealing | 300 |
Toward a Human Genome Encyclopedia | 307 |
The Next Generation | 318 |
Integrated System for Protein Information Processing | 321 |
Constraint Logic Programming and Parallel Theorem Proving | 330 |
cuProlog for ConstraintBased Grammar | 347 |
Model Generation Theorem Provers on a Parallel Inference Machine | 357 |
Some Brief Lessons from the CLASSIC | 374 |
On a Grammar Formalism Knowledge Bases and Tools for Natural Language Processing | 376 |
Argument Text Generation System Dulcinea | 385 |
A Parallel Cooperation Model for Natural Language Processing | 405 |
Architecture and Implementation of PIMm | 425 |
Bieži izmantoti vārdi un frāzes
algorithm alignment analysis architecture basic Boolean Buchberger algorithm cache Chikayama clause cluster concurrent logic Conf constraint logic programming constraint solver database DBMS developed distributed efficient evaluation example execution FGCS Fifth Generation Computer Figure functions GDCC goal grammar gramming Gröbner base hardware Horn Clauses Ichiyoshi ICOT implementation information processing integrated interface Japanese Kappa Kappa-P kernel language KL1 language KL1 programs knowledge representation language processing load balancing logic pro logic programming language mapping mechanism memory method MGTP module Multi-PSI Multi-PSI/V2 natural language natural language processing node object operating system parallel inference machine parallel processing parallel programs partial evaluation Pentomino performance PIM/m PIM/p PIMOS predicate problem Proc processor programming language Prolog protein query QUIXOTE relation rules semantics sequence sequential shoen simulation solution solve specification speedup structure theorem prover tion Tokyo Turing Ueda unification variables