Proceedings of the Tenth International Joint Conference on Artificial Intelligence (I)
IJCAI-87 Contents Vol1
Proceedings of the Tenth International Joint Conference on Artificial Intelligence
August 23-28,1987ARCHITECTURES AND LANGUAGES
A Theoretical Framework for Consistency Techniques in Logic Programming
Pascal van Hentenryck 2
Logic Program Derivation for a Class of First Order Logic Relations
George Dayantis 9
PLAN LOG: A Language Framework for the Integration of Procedural and Logical Programming
Bertram Fronhbfer 15
An Environment Model for the Integration of Logic and Functional Programming .
Pierre E. Bonzon 18
Network of Communicating Logic Programs and Its Semantics
Susumu Yamasaki 24
Constraints in a Hybrid Knowledge Representation System
H.W. Guesgen, U. Junker, and A. Voss 30
Extending Logic Programming to Object Programming: The System Lap
Herman /line and Henry Kanoui 34
A Uniform Model for Object-Oriented Languages Using the Class Abstraction
Jean-Pierre Briot and Pierre Cointe 40
Reflection as a Tool for Integration: An Exercise in Procedural Introspection
Roberto Ghislanzoni, Luca Spampinato, and Giorgio Tornielli 44
A Parallel Logic Programming Language for PEPSys
Michael Ratcliffe and Jean-Claude Syre 48
Michael van Biema 56
A Distributed Approach for Inferring Production Systems
Ching-Chi Hsu, Shao-Ming Wu, and Jan-Jan Wu 62
Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG
Giorgio Montini 68
Amalgamating Multiple Programming Paradigms in PROLOG
Yoshiyuki Koseki 76
Graphical Debugging with the Transparent PROLOG Machine (TPM)
Marc Eisenstadt and Mike Brayshaw 83
A Logic-based Architecture for Knowledge Management
Damian Black and John Manley 87
A Tool for Building Second Generation Expert Systems
Xueiun Tong, Zhiiun He, and Ruizao Yu 91
X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces
Hans-Werner Hein, Gert M. Kellerman, and Christoph G. Thomas 97
Knowledge Engineering Tools at the Architecture Level
Thomas Gruber and Paul Cohen 100
Opportunistic Backward Chaining (paper unavailable)
Paul V. Haley - NA
COGNITIVE MODELING
Surprisingness and Expectation Failure: What's the Difference?
Andrew Ortony and Derek Partridge 106
Explaining and Repairing Plans that Fail
Kristian J. Hammond 109
An Analysis of Psychological Experiments on Non-Monotonic Reasoning
Edward Hoenkamp 115
Multiple Agents and the Heuristic Ascription of Belief
Yorick Wilks andAfzal Ballim 118
Language Acquisition: Learning a Hierarchy of Phrases
Uri Zernick 125
Learning Idioms—With and Without Explanation
Uri Zernick 133
James H. Martin 137
A Representation for Natural Category Systems
Sandra L. Peters and Stuart C. Shapiro 140
Michael Pazzani and Michael Dyer 147
Marker-Passing and Microfeatures
James A. Hendler 151
Information Retrieval from Never-Ending Stories (paper unavailable)
Lisa F. Rau -NA
Spontaneous Retrieval in a Conceptual Information System
Lisa F. Rau 155
Donald Perlis 163
A Shell for Intelligent Help Systems
Joost Breuker, Radboud Winkels, and Jacobjin Sandberg 167
Intelligent Case Selection and Presentation
Robert Farrell 174
Gerhard Fischer 177
Implementing a Model of Human Plausible Reasoning
Michelle Baker, Mark H. Burstein, and Allan M. Collins 185
A Framework for Representing Tutorial Discourse
Beverly Woolf and Tom Murray 189
KNOWLEDGE REPRESENTATION
On the Discovery of Mathematical Theorems
Susan L Epstein 194
Towards an Integrated Discovery System
Bernd Nordhausen and Pat Langley 198
Knowledge-based Knowledge Elicitation
Joachim Diederich 201
The Classification, Detection and Handling of Imperfect Theory Problems
Shankar Rajamoney and Gerald DeJong 205
Non-Cumulative Learning in METAXA.3
Werner Emde 208
Concepts in Conceptual Clustering
Robert E. Stepp 211
Pattern Clustering: An Artificial Intelligence Approach
B. Shekar, M. Narasimha Murty, and G. Krishna 214
Hierarchical Credit Allocation in a Classifier System
Stewart W. Wilson 217
Explanation-based Generalization in a Logic-Programming Environment
Haym Hirsh 221
Strategies for Learning Search Control Rules: An Explanation-based Approach
Steven Minton and Jaime G. Carbonell 228
An Explanation-based Approach to Generalizing Number
Jude W. Shavlik and Gerald F DeJong 236
Approximation in Mathematical Domains
Scott W. Bennett 239
On the Operationality/Generality Trade-off in Explanation-based Learning
Alberto Maria Segre 242
Failsafe—A Floor Planner that Uses EBG to Leam from Its Failures
Jack Mostow and Neeraj Bhatnagar 249
Learning Strategies by Reasoning about Rules
D. Paul Benjamin 256
An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning
Brian Falkenhainer 260
A Logical Approach to Reasoning by Analogy
Todd R. Davies and Stuart J. Russell 264
DISCTPLE-1: Interactive Apprentice System in Weak Theory Fields
Yves Kodratoff and Gheorghe Tecuci 271
The Use of Explanations for Similarity-based Learning
Andrea Pohoreckyj Danyluk 274
Using Prior Learning to Facilitate the Learning of New Causal Theories
Michael Pazzani, Michael Dyer, and Margot Flowers 277
Learning in the Limit in a Growing Language
Ranan B. Banerji 280
Inductive Inference of Context-free Languages— Context-free Expression Method
Takeshi Yokomori 283
Duce An Oracle-based Approach to Constructive Induction
Stephen Muggleton 287
Guiding Constructive Induction for Incremental Learning from Examples
Larry Watanabe and Renee Elio 293
Multiple Convergence: An Approach to Disjunctive Concept Acquisition
Kenneth S.Murray 297
Hypercuboid-Formation Behaviour of Two Learning Algorithms
Chris Thornton 301
Generating Production Rules from Decision Trees
J.R. Quintan 304
Layered Concept-Learning and Dynamically Variable Bias Management
Larry Rendell, Raj Sheshu, and David Tcheng 308
A Formal Approach to Learning From Examples
James P. Delgrande 315
Network Learning on the Connection Machine
Guy Blelloch and Charles R. Rosenberg 323
CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design
David Steier 327
Combining Weak Learning Heuristics in General Problem Solvers
T.L McCluskey 331
Learning General Search Control from Outside Guidance
Andrew Golding, Paul S. Rosenbloom, and John E. Laird 334
Machine Learning for Software Reuse
Walter L Hill 338
CHARADE: A Rule System Learning System
Jean-Gabriel Ganascia 345
Noise and Knowledge Acquisition
Michel V. Manago and Yves Kodratoff 348
From Application Shell to Knowledge Acquisition System
Gary S. Kahn 355
SIS: A Shell for Interview Systems
Atsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, and Osamu Kakusho 359
Development of an Expert System for Diagnosing Problems on a Paper Machine
Nancy Gardner Margolis 362
MUNIN—A Causal Probabilistic Network for Interpretation of Electromyographic Findings
Steen Andreassen, Marianne Woldbye, Bj0rn Falck, and Stig K. Andersen 366
Jane Terry Nutter 373
Network Regions: Alternatives to the Winner-Take-All Structure
Hon Wai Chun, Lawrence A. Bookman, and
Niki Afshartous 380Nonmonotonic Logics: Meaning and Utility
Yoav Shoham 388
On the Relation Between Default Theories and Autoepistemic Logic
Kurt Konolige 394
Tractable Meta-Reasoning in Propositional Logics of Belief
Gerhard Lakemeyer 401
Kenneth D. Forbus 409
Devika Subramanian and Michael R. Genesereth 416
A Logic for Representing Default and Prototypical Properties
James P. Delgrande 423
Qualitative Kinematics: A Framework
Kenneth D. Forbus, Paul Nielson, and Boi Faltings 430
Qualitative Kinematics in Mechanisms
Bol Faltings 436
Qualitative Reasoning in Electronic Fault Diagnosis
Padraig Cunningham 443
Commonsense Reasoning with Verbs
Joyce P. McDowell and Kathleen Dahlgren 446
Non-Standard Semantics for the Method of Temporal Arguments
Brian A. Haugh 449
Edward P. K. Tsang 456
The Completeness of a Natural System for Reasoning with Time Intervals
Peter Ladkin 462
A Representation Framework for Continuous Dynamic Systems
Peter Raulefs 468
Temporal Event Conceptualization
Krishna Kumar and Amitabha Mukerjee 472
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems
David S. Touretzky, John F. Horty, and Richmond H. Thomason 476
The Logic of Inheritance in Frame Systems
Gerhard Brewka 483
Relating Default Logic and Circumscription
David W. Etherington 489
David W. Etherington 495
Michael Miller and Donald Perlis 499
Belief Functions for Real-Time Script Processing
Philip Schaefer 502
On Definitional Processes in Knowledge Reconstruction Systems
Peter Schefe 509
Program Understanding with the Lambda Calculus
Stanley Letovsky 512
Alan M. Frisch 515
Jerry R. Hobbs and Paul Martin 520
Hardware Diagnosis as Program Debugging
Ajay Gupta 524
DANTES: An Expert System for Real-Time Network Troubleshooting
Robert Mathonet, Herwig Van Cotthem, and Leon Vanryckeghem 527
Repair Strategies in a Diagnostic Expert System
Jeff Pepper and Gary S. Kahn 531
Performance in Practical Problem Solving
Leo B. Hartman and Josh D. Tenenberg 535
Drastic Cut of Man's Work in Reliability Studies by Using an Expert System
M. Bouissou and N. Watte 541
Graphical Deep Knowledge for Intelligent Machine Drafting
James Geller and Stuart C. Shapiro 545
Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics
Agustin A. Araya and Sanjay Mittal 552
What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems
David Klein and Tim Finin 559
Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object Al Environme
Mihai Barbuceanu, Stefan Trausan-Matu, and Balint Molnar 563
Paul McKevitt and Yorick Wilks 569
Planning and Executing Office Procedures in Project ASPERA
M. Cristina Bena, Giorgio Montini, and Franco Sirovich 576
Deduction-based Region-Use Planning
Robin B. Stanton and Hugh G. Mackenzie 584
A Multi-Attribute Approach to Knowledge Representation for Loan Granting
Suzanne Pinson 588
An Integration Tool for Life-Cycle Engineering
Kathryn M. Chalfan 592
GLIMPSE—A Statistical Adventure
David E. Wolstenholme and Carl M. O'Brien 596
DISCLAIMER: Please note that IJCAI Organization is the sole copyright owner of all materials published in the Proceedings of its conferences. All rights are reserved. No part of any IJCAI conference Proceedings may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, which is also the IJCAI Organization. Contact information for obtaining written permission can be found here.