第五世代コンピュータ国際会議、1988 会議録
表紙
序
写真
目次
１．全体会議
１．１　開会式
(1) 挨　拶	1
財団法人　新世代コンピュータ技術開発機構　理事長　三田 勝茂
(2) 挨　拶	3
第五世代コンピュータ国際会議実行委員会　委員長　相磯 秀夫
(3) 挨　拶	5
通商産業大臣　田村　元、代読　通商産業政務次官　倉田 寛之
(4) 基調講演	7
通商産業省　機械情報産業局　局長　棚橋 祐治
(5) 基調講演「ホップ　ステップ　ジャンプ」	11
財団法人　新世代コンピュータ技術開発機構　常務理事・研究所長　渕　一博
(6) プログラム委員会報告	19
第五世代コンピュータ国際会議プログラム委員会　委員長　田中 英彦
１．２　パネルディスカッション
「情報技術の社会に対する影響と国際協力」	21
１．３　招待講演
(1) 認知科学の展望	53
(2) 論理プログラミングの方式	68
１．４　ICOTの研究成果報告
(1) 並列推論サブシステムの概要	83
(2) 自然言語処理システムの概要	84
２．テクニカルセッション
２．１　招待論文
(1) Interpreting One Concurrent Calculus in Another	87
(2) Program Evaluation and Generalized Partial Computation	89
(3) Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor	91
(4) Multiple Reasoning Styles in Logic Programming	93
２．２　一般論文
(1) The Semantics of Functional Logic Language with Input Mode	95
(2) Conditional Equational Programming and the Theory of Conditional Term Rewriting	96
(3) Uniform Abstraction , Atomicity and Contractions in the Comparative Semantics of 　　　　Concurrent Prolog	97
(4) Parallel Computational Complexity of Logic Programs and Alternating Turing Machines	98
(5) Finite Failures and Partial Computations in Concurrent Logic Languages	99
(6) A Declarative Semantics of Parallel Logic Programs with Perpetual Processes	100
(7) Semantics of Logic Programs over Sequence Domains	101
(8) Local Definitions with Static Scope Rules in Logic Programming	102
(9) WEIGHTED GRAPHS, A Tool for Expressing the Behaviour of Recursive Rules in Logic 　　　　Programming	103
(10) Overview of the Knowledge Base Management System (KAPPA)	104
(11) Constraint Logic Programming Language CAL	105
(12) Horn Equality Theories and Complete Sets of Transformations	106
(13) Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation	107
(14) An Abstract Interpretation Scheme for Logic Programs Based on Type Expression	108
(15) Transformation of Strictness-Related Analyses Based on Abstract Interpretation	109
(16) Rules and Justifications : A Uniform Approach to Reason Maintenance and Non- 　　　　　Monotonic Inference	110
(17) An Efficient Learning of Context-Free Grammars for Bottom-Up Parsers	111
(18) Nonmonotonic Reasoning by Minimal Belief Revision	112
(19) Generating Rules with Exceptions	112
(20) Situation Semantics and Semantic Interpretation in Constraint-Based Grammars	113
(21) Partially Specified Term in Logic Programming for Linguistic Analysis	114
(22) Towards a Computational Interpretation of Situation Theory	115
(23) Knowledge Representation and Inference Based on First-Order Modal Logic	116
(24) Declarative Semantics for Modal Logic Programs	118
(25) Theorem-Proving with Resolution and Superposition : An Extension of the Knuth and 　　　　　Bendix Procedure to a complete set of Inference Rules	119
(26) Parallel Complexity and P-Complete Problems	120
(27) Parallel Approximation Algorithms	121
(28) Algebraic Meta-Level Programming in Prolog	122
(29) Program Transformation Applied to the Derivation of Systolic Arrays	123
(30) The Use of Assertions in Algorithmic Debugging	124
(31) Transformation Rules for GHC Programs	125
(32) A Tutorial Introduction to Metaclass Architecture as Provided by Class Oriented 　　　　　Language	126
(33) Directions for Meta-Programming	127
(34) Reasoning about Knowledge and Ignorance	128
(35) Software for the Rewrite Rule Machine	129
(36) A'UM -A Stream-Based Concurrent Object-Oriented Language -	131
(37) Guarded Horn Clause Languages : Are They Deductive and Logical?	132
(38) Lazy Evaluation of EP Programs : A Data-Flow Approach	134
(39) Committed Choice Functional Programming	135
(40) A Progress Report on the LML Project	136
(41) The Constraint Logic Programming Language CHIP	137
(42) Applications of a Canonical Form for Generalized Linear Constraints	139
(43) A Query Independent Method for Magic Set Computation on Stratified Databases	140
(44) Efficient Query Answering on Stratified Databases	141
(45) Answering Linear Recursive Queries in Cyclic Databases	142
(46) CAP-A Three-Phase Query Processing Technique for Indefinite Databases	143
(47) Overview of the Dictionary and Lexical Knowledge Base Research	144
(48) A Software Environment for Research into Discourse Understanding Systems	145
(49) Expert System Architecture for Design Tasks	146
(50) ANDORRA Prolog - An Integration of Prolog and Committed Choice Language	147
(51) Design of a Concurrent Language for Distributed Artificial Intelligence	148
(52) The Language FCP(:,?)	149
(53) Meta-Interpreters and Reflective Operations in GHC	150
(54) Tables as User Interface for Logic Programs	151
(55) Modular and Communicating Objects in SICStus Prolog	152
(56) Benchmarking of Procedures for Indexing Purposes	153
(57) Foundations of DISLOG, Programming in Logic with Discontinuities	154
(58) The Aurora Or-Parallel Prolog System	155
(59) Cut and Side-Effects in Or-Parallel Prolog	155
(60) The Parallel ECRC Prolog System PEPSys : An Overview and Evaluation Results	156
(61) Performance of AND-Parallel Execution of Logic Programs On a Shared-Memory 　　　　　Multiprocessor	157
(62) Design of an Efficient Dataflow Architecture Without Data Flow	158
(63) Cell and Ensemble Architecture for the Rewrite Rule Machine	159
(64) A VLSI Building Block for Massively Parallel Computation	160
(65) Multiport Memory Architectures	161
(66) Overview of Knowledge Base Mechanism	162
(67) Overview of the Parallel Inference Machine Architecture (PIM)	163
(68) Overview of the Parallel Inference Machine Operating System (PIMOS)	164
(69) Unification-Based Query Language for Relational Knowledge Bases and Its Parallel 　　　　　Execution	165
(70) A New External Reference Management and Distributed Unification for KL1	166
(71) Parallelism in the PESA I Multiprocessor	167
(72) A Light-Weight Prolog Garbage Collector	168
(73) A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in 　　　　　BSL	169
(74) Macro-Call Instruction for the Efficient KL1 Implementation on PIM	170
(75) CARMEL-2 : A Second Generation VLSI Architecture for Flat Concurrent Prolog	171
(76) Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference 　　　　　Machine PIE 64	172
(77) A Load Balancing Mechanism for Large Scale Multiprocessor Systems and Its 　　　　　Implementation	173
(78) Load-Dispatching Strategy on Parallel Inference Machines	174
(79) Compile-Time Granularity Analysis for Parallel Logic Programming Languages	174
(80) A Highly Parallel Chess Program	175
(81) Artificial Intelligence Related Research on the Connection Machine	176
(82) Artificial Intelligence and Neural Computing	177
(83) Massively Parallel Implementation of Flat GHC on the Connection Machine	178
(84) KL1 in Condition Graphs on a Connection Machine	178
(85) A Parallel Implementation on GHC	179
(86) LogDF : A Data-Driven Abstract Machine Model for Parallel Execution of Logic 　　　　　Programs	179
(87) Toward Intelligent Interfaces for Graphic Design Applications	180
(88) How to Realize Jazz Feelings - A Logic Programming Approach	181
(89) Direct Memory Access Translation for Speech Input - A Massively Parallel Network of 　　　　　Episodic/Thematic and Phonological Memory	182
(90) Overview of the Core Language Engine	184
(91) Projections and Semantic Description in Lexical-Functional Grammar	185
(92) ADAM : An Extension of Situation Semantics for Practical Use	186
(93) Preference Judgement in Comprehending Conversational Sentences Using Multi- 　　　　　Paradigm World Knowledge	187
(94) A Multi-Target Machine Translation System	188
(95) The Design of Post-Analysis in the JETS Japanese/English Machine Translation 　　　　　System	190
(96) The Knowledge Dictionary : A Relational Tool for the Maintenance of Expert Systems	192
(97) Knowledge Representation with Abstractive Layers for Information Retrieval	193
(98) CHEMILOG - A Logic Programming Language/System for Chemical Information 　　　　　Processing -	194
(99) A Symbolic Framework for Qualitative Kinematics	195
(100) An Examination for Appicability of FGHC : The Experience of Designing Qualitative 　　　　　Reasoning System	196
(101) Methods for Partition of Target Systems in Qualitative Reasoning	197
(102) Sphinx - A Hybrid Knowledge Representation System	198
(103) Knowledge Acquisition Techniques and Tools : Current Research Strategies and 　　　　　Approaches	199
(104) Comments on Knowledge Acquisition and Learning	200
(105) When Will Machines Learn ?	201
(106) A Next-Generation Knowledge-Base from the Viewpoint of Extending Logic　Framework	202
(107) Knowledge Acquisition by Observation	203
(108) Validation in a Knowledge Acquisition System with Multiple Experts	204
(109) Applying Explanation-Based Generalization to Natural-Language Processing	206
(110) Problem Solving with Hypothetical Reasoning	208
(111) Representing Knowledge for Logic-Based Diagnosis	209
(112) A Human Strategy-Based Troubleshooting Expert System for Switching Systems	210
(113) co-LODEX : A Cooperative Expert System for Logic Design	211
(114) Advanced Information Processing in ESPRIT - Status and Plans	212
(115) A Review of MCC's Accomplishments and Strategic Outlook for Knowledge-Based 　　　　　Systems	213
(116) UK IKBS Programmes	214
２．３　パネルディスカッション
「コンカレント・システムの理論と実際」	215
付録
・開催要領	251
・プログラム	252
・委員会名簿	254