第五世代コンピュータ国際会議1992 会議録
表紙
目　　　次
写真
１．　全体会議
1.1　開会式
(1) 開会挨拶　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・　当機構理事長　関澤　義　・・・	1
(2) 挨　拶　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・　実行委員長　田中　英彦　・・・	3
(3) 祝　辞　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・　通商産業大臣　渡部　恒三　・・・	5
(4) 基調講演「情報技術政策の方向」　・・・・・・・・・・　通商産業省機械情報産業局長　熊野　英昭　・・・	6
(5) 基調講演「新時代への発信」　・・・・・・・・・・・・・・・・・　当機構常務理事・研究所所長　渕　一博　・・・	10
(6) プログラム委員会報告　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・　プログラム委員長　田中　穂積　・・・	19
1.2　パネルディスカッション
「21世紀の情報処理への出発点」　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	25
1.3　招待講演
(1) Algorithmic & Knowledge Based Methods : Do They "Unify" ?
- With Some Programme Remarks for UNU/IIST -
Dines Bjorner （国連大学国際ソフトウェア工学研究所長）　・・・	59
(2) The Role of Logic in Computer Science and Artificial Intelligence
J.A.Robinson （シラキュース大学教授）　・・・	79
(3) Programs are Predicates
C.A.R.Hoare （オックスフォード大学教授）　・・・	102
1.4　ICOTの研究成果報告（質疑応答）
1) ICOT研究開発総合報告　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	119
2) ICOT研究成果報告　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	122
(1) 並列推論マシンPIM　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	122
(2) オペレーティングシステムPIMOSと核言語KL1　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	123
(3) 統合知識ベース管理システム　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	125
(4) 制約プログラミングシステム　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	126
(5) 並列定理証明器とその応用　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	127
(6) 自然言語処理ソフトウェア　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	128
(7) 並列推論実験ソフトウェア　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	129
２．　テクニカルセッション
2.1　招待論文
(1) Formalizing Database Evolution in the Situation Calculus
R. Reiter (Professor, Univ. of Toronto)　・・・	131
(2) A Universal Parallel Computer Architecture
W.J.Dally (Professor, MIT)　・・・	133
(3) Application of Machine Learning: Towards Knowledge Synthesis
I .Bratko (Professor, Ljubljana Univ. and Josef Stefan Institute)　・・・	135
2.2　一般論文
基　礎
(1) Logic Program Synthesis from First Order Logic Specifications
T.Kawamura (ICOT)　・・・	137
(2) Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures
B.Martens (K.U.Leuven)　・・・	138
(3) A Framework for Analysing the Termination of Definite Logic Programs with respect to Call 　　　　　Patterns
M.Bruynooghe (K.U.Leuven)　・・・	139
(4) Automatic Verification of GHC-Programs: Termination
L.Plumer (Rheinische Friedrich - Wilhelms - Universitat Bonn)　・・・	140
(5) Analogical Generalization
T.Ohkawa (大阪大学）　・・・	141
(6) Logical Structure of Analogy
J.Arima (ICOT)　・・・	142
(7) Consistency-Based and Abductive Diagnoses as Generalised Stable Models
C.Preist (Hewlett Packard Laboratories)　・・・	143
(8) A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation
Y.Ohta (ICOT)　・・・	144
(9) Logic Programming, Abduction and Probability
D.Poole (Univ. of British Columbia)　・・・	145
(10) Abduction in Logic Programming with Equality
E.Knill (Technical Univ. of Nova Scotia)　・・・	146
(11) Hypothetico-deductive Reasoning
C.Evans (Goldsmiths' College)　・・・	147
(12) Acyclic Disjunctive Logic Programs with Abductive Procedure as Proof Procedure
P.M.Dung (AIT)　・・・	148
(13) Adding Closed World Assumptions to Well Founded Semantics
L.M.Pereira (Univ. Nove de Lisboa)　・・・	149
(14) Contributions to the Semantics of Open Logic Programs
G.Levi (Universita di Padova)　・・・	150
(15) A Generalized Semantics for Constraint Logic Programs
R.Giacobazzi (Univesita di Pisa)　・・・	151
(16) Extended Well-Founded Semantics for Paraconsistent Logic Programs
C.Sakuma (ASTEM研究所）　・・・	152
(17) Learning Missing Clauses by Inverse Resolution
P.Idestam-Almquist (Stockholm Univ.)　・・・	153
(18) A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns
S.Miyano (九州大学）　・・・	154
(19) Efficient Induction of Version Spaces through Constrained Language Shift
C.Carpineto (Fondazione Ugo Bordoni)　・・・	155
(20) Theorem Proving Engine and Strategy Description Language
M.Bruschi (State Univ. of Milan)　・・・	156
(21) A New Algorithm for Subsumption Test
B.M.Kim (KAIST)　・・・	157
(22) On The Duality of Abduction and Model Generation
M.Denecker (K.U.Leuven)　・・・	158
(23) Defining Concurrent Processes Constructively
Y.Takayama (沖電気工業）　・・・	159
(24) Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams
M.Tatsuta (東北大学）　・・・	160
(25) MLOG: A Strongly Typed Confluent Functional Language with Logical Variables
V.Poirriez (INRIA)　・・・	161
(26) A New Perspective on Integrating Functional and Logic Languages
J.Darlington (Imperial College, London)　・・・	162
(27) A Mechanism for Reasoning about Time and Belief
H.Isozaki (NTTデータ通信）　・・・	163
(28) Dealing with Time Granularity in the Event Calculus
A.Montanari (CISE)　・・・	164
アーキテクチャ
(1) UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64
K.Shimada (東京大学）　・・・	165
(2) Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/c
T.Nakagawa (日立製作所）　・・・	166
(3) Evaluation of the EM-4 Highly Parallel Computer using a Game Tree Searching Problem
Y.Kodama (ETL)　・・・	167
(4) OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora
K.A.M.Ali (SICS)　・・・	168
(5) An Automatic Translation Scheme from Prolog to the Andorra Kernel Language
F.Bueno (Universidad Politecnica de Madrid)　・・・	169
(6) Recomputation based Implementations of And-Or Parallel Prolog
G.Gupta (New Mexico State Univ.)　・・・	170
(7) Estimating the Inherent Parallelism in Prolog Programs
D.C.Sehr (Univ. of Illinois at Urbana-Champaign)　・・・	171
(8) Implementing Streams on Parallel Machines with Distributed Memory
K.Konishi (日本電気）　・・・	173
(9) Message-Oriented Parallel Implementation of Moded Flat GHC
K.Ueda (ICOT)　・・・	174
(10) Towards an Efficient Compile-Time Granularity Analysis Algorithm
E.Tick (Univ. of Oregon)　・・・	175
(11) Providing Iteration and Concurrency in Logic Programs through Bounded Quantifications
J.Barklund (Uppsala Univ.)　・・・	176
(12) An Implementation for a Higher Level Logic Programming Language
A.S.K.Cheng (Univ. of Queensland)　・・・	177
(13) Implementing Prolog Extensions: a Parallel Inference Machine
J-M.Alliot (Institut de Recherche en Informatique de Toulouse)　・・・	178
(14) Parallel Constraint Solving in Andorra-I
S.Gregory (Univ. of Bristol)　・・・	179
(15) A Parallel Execution of Functional Logic Language with Lazy Evaluation
J.H.Nang (KAIST)　・・・	180
(16) Asymptotic Load Balance of Distributed Hash Tables
N.Ichiyoshi (ICOT)　・・・	181
(17) Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn Clauses
J.Tanaka (富士通研究所）　・・・	182
(18) CHARM: Concurrency and Hiding in an Abstract Rewriting Machine
U.Montanari (Univ. of Pisa)　・・・	183
(19) Less Abstract Semantics for Abstract Interpretation of FGHC Programs
K.Horiuchi (ICOT)　・・・	184
(20) Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases
A.Lefebvre (Griffith Univ.)　・・・	185
(21) A Distributed Programming Environment based on Logic Tuple Spaces
P.Ciancarini (Univ. of Pisa)　・・・	186
(22) Visualizing Parallel Logic Programs with VISTA
E.Tick (Univ. of Oregon)　・・・	187
(23) Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint 　　　　　Programs
K.M.Kahn (Xerox PARC)　・・・	188
(24) Logic Programs with Inheritance
E. Shapiro (The Weizmann Institute of Science)　・・・	189
(25) Implementing a Process Oriented Debugger with Reflection and Program Transformation
M.Maeda （富士通研究所）　・・・	190
(26) A New Parallelization Method for Production Systems
E.Bahr (Alcatel Austria-ELIN Research Center)　・・・	191
(27) Performance Evaluation of the Multiple Root Node Approach to the Rete Pattern Matcher for 　　　　　Production Systems
A.Sohn (New Jersey Institute of Technology)　・・・	192
アプリケーション
(1) Output in CLP(R)
M.J.Maher (IBM T.J.Watson Research Center)　・・・	193
(2) Adapting CLP(R) to Floating-Point Arithmetic
J.H.M.Lee (Univ. of Victoria)　・・・	194
(3) Domain Independent Propagation
T.L.Provost (ECRC)　・・・	195
(4) A Feature-based Constraint System for Logic Programming with Entailment
A.Podelski (DEC, Paris Reaserch Lab.)　・・・	196
(5) Range Determination of Design Parameters by Qualitative Reasoning and its Application to 　　　　　Electronic Circuits
M.Ohki (日立製作所）　・・・	197
(6) Logical Implementation of Dynamical Models
Y.Ishida (京都大学）　・・・	198
(7) The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation
R.J.Brachman (AT&T Bell Laboratories)　・・・	199
(8) Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge
S.Watari (Sony CSL)　・・・	200
(9) On the Evolution of Objects in a Logic Programming Framework
M.Sergot (Imperial College, London)　・・・	201
(10) A Hybrid Reasoning System For Explaining Mistakes In Chinese Writing
J.Castaing (Universite de Paris-Nord)　・・・	202
(11) Automatic Generation of a Domain Specific Inference Program for Building a Knowledge 　　　　　Processing System
T.Kasahara (日立製作所）　・・・	203
(12) Knowledge-Based Functional Testing For Large Software Systems
U.Nonnenmann (AT&T Bell Laboratories)　・・・	204
(13) A Diagnostic and Control Expert System Based on a Plant Model
J.Suzuki (東芝）　・・・	205
(14) A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive 　　　　　Metalogic Program
A.Hamfelt (Uppsala Univ.)　・・・	206
(15) HELIC-II: A Legal Reasoning System on the Parallel Inference Machine
K.Nitta (ICOT)　・・・	207
(16) Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs
D.A.Rosenblueth (IIMAS, UNAM)　・・・	209
(17) A Discourse Structure Analyzer for Japanese Text
K.Sumita (東芝）　・・・	210
(18) Dynamics of Symbol Systems　　-An Integrated Architecture of Cognition-
K.Hasida (ICOT)　・・・	211
(19) Mental Ergonomics As Basis For New-Generation Computer Systems
M.H.van Emden (Univ. of Victoria)　・・・	212
(20) An Integrated Knowledge Support System
B.R.Gaines (Univ. of Calgary)　・・・	213
(21) Modeling the Generational Infrastructure of Information Technology
B.R.Gaines (Univ. of Calgary)　・・・	214
(22) Co-HLEX: Co-operative Recursive LSI Layout Problem Solver on Japan's Fifth Generation 　　　　　Parallel Inference Machine
T.Watanabe (日立製作所）　・・・	216
(23) A Cooperative Logic Design Expert System on a Multiprocessor
S.Sawada (富士通）　・・・	217
(24) A Parallel Inductive Learning Algorithm for Adaptive Diagnosis
Y.Nakakuni (日本電気）　・・・	218
(25) Parallel Logic Simulator based on Time Warp and its Evaluation
Y.Matsumoto (ICOT)　・・・	219
(26) テクニカルパネルディスカッション
「次世代応用システムの方向性を探る」　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	220
ICOTセッション
(1) LSI-CAD Programs on Parallel Inference Machine
H.Date (ICOT)　・・・	225
(2) Parallel Database Management System: Kappa-P
M.Kawamura (ICOT)　・・・	226
(3) Objects, Properties, and Modules in Quixote
H.Yasukawa (ICOT)　・・・	227
(4) Resource Management Mechanism of PIMOS
H.Yashiro (ICOT)　・・・	228
(5) ParaGraph: A Graphical Tuning Tool for Multiprocessor Systems
S.Aikawa （富士通）　・・・	229
(6) Protein Sequence Analysis by Parallel Inference Machine
M.Ishikawa (ICOT)　・・・	230
(7) Folding Simulation using Temperature Parallel Simulated Annealing
M.Hirosawa (ICOT)　・・・	231
(8) Toward a Human Genome Encyclopedia
K.Yoshida (Lawrence Berkeley Lab.)　・・・	232
(9) Integrated System for Protein Information Processing
H.Tanaka (ICOT)　・・・	233
(10) Parallel Constraint Logic Programming Language GDCC and its Constraint Solvers
S.Terasaki (ICOT)　・・・	234
(11) cu-Prolog for Constraint-Based Grammar
H.Tsuda (ICOT)　・・・	236
(12) On A Grammar Formalism, Knowledge Bases and Tools for Natural Language Processing in 　　　　　Logic Programming
H.Sano (ICOT)　・・・	237
(13) Argument Text Generation System (Dulcinea)
T.Ikeda (ICOT) 　・・・	238
(14) Situated Inference of Temporal Information
S.Tojo （三菱総合研究所）　・・・	239
(15) A Parallel Cooperation Model for Natural Language Processing
S.Yamasaki （富士通）　・・・	240
(16) Architecture and Implementation of PIM/p
K.Kumon （富士通）　・・・	241
(17) Architecture and Implementation of PIM/m
H.Nakashima （三菱電機）　・・・	242
(18) Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1
K.Hirata (ICOT)　・・・	243
付　録
・会議要項
・プログラム
・委員会名簿