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,1987


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

 Parallelism in LISP  

  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


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

Understanding New Metaphors  

James H. Martin  137

A Representation for Natural Category Systems  

Sandra L. Peters and Stuart C. Shapiro  140

A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule

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

How Can a Program Meant 

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

A Critic for LISP 

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


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

 Uncertainty and Probability 

Jane Terry Nutter  373

Network Regions: Alternatives to the Winner-Take-All Structure 

Hon Wai Chun, Lawrence A. Bookman, and Niki Afshartous  380

Nonmonotonic 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 Belie

 Gerhard Lakemeyer  401

 The Logic of Occurrence 

 Kenneth  D. Forbus  409

The Relevance of Irrelevance 

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

 Time Structures for Al    

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

A Semantics for Default Logic   

David W. Etherington  495

Proving Facts about "I" 

 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

 Inference without Chaining 

 Alan M. Frisch  515

Local Pragmatics   

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

Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer

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.