IJCAI 91 VOL 2

Proceedings of the

Twelfth International Conference

on Artificial Intelligence

24-30 August 1991

Explanation-based Learning

Quantitative Evaluation of Explanation-Based Learning as an Optimization Tool for a Large-Scale Natural Language System

Christer Samuelsson and Manny Rayner             609

A Formalization of Explanation-Based Macro-operator Learning

 Prasad Tadepalli             616

An Augmented EBL and its Application to the Utility Problem

 Masayuki Yamamura and Shigenobu Kobayashi             623

Concept Formation over Explanations and Problem-Solving Experience

 Jungsoon Yoo and Doug Fisher             630

Classifiers/Genetic Algorithms

Classifiers: A Theoretical and Empirical Study

 Wray Buntine             638

A Hybrid Genetic Algorithm for Classification

 James D. Kelly, Jr. and Lawrence Davis             645

Learning Concept Classification Rules Using Genetic Algorithms

Kenneth A. De Jong and William M. Spears             651

Classification ft Generalization

Flexible Matching for Noisy Structural Descriptions

 Floriana Esposito, Donato Malerba, and Giovanni Semeraro             658

Theoretical Underpinnings of Version Spaces

 Haym Hirsh             665

Empirical Bias for Version Space

 Jacques Nicolas             671

Inductive Learning I

Reduced Complexity Rule Induction

Sholom M. Weiss and Nitin Indurkhya             678

Qualitative Model Evolution Alen Varsek (late addition, see p. 1311)

Semantic Model for Induction of First Order Theories Celine Rouveirol             685

Inductive Learning II

Bayesian Classification with Correlation and Inheritance

 Robin Hanson, John Stutz, and Peter Cheeseman             692

A Scheme for Feature Construction and a Comparison of Empirical Methods

Der-Shung Yang, Larry Rendell, and Gunnar Blix             699

Learning with a Helpful Teacher Steven Salzberg, Arthur Delcher, David Heath, and Simon Kasif-NA             705

Towards a Model of Grounded Concept Formation

 Stefan Wrobel             712

Inductive Learning III

Machine Discovery of Effective Admissible Heuristics

 Armand E. Prieditis             720

Input Generalization in Delayed Reinforcement Learning: An Algorithm and Performance Comparisons

 David Chapman and Leslie Pack Kaelbling         726

Learning to Classify Observed Motor Behavior

Wayne Jba             732

Modelling Experiments in Scientific Discovery

 Peter C-H. Cheng             739

Inductive Logic Programming

Determinate Literals in Inductive Logic Programming

 JR. Quinlan             746

Inductive Learning from Good Examples

 Xiaofeng (Charles) Ling             751

Refinement Strategies for Inductive Learning of Simple Prolog Programs

Marc Kirschenbaum and Leon S. Sterling             757

Concept Formation

Overpruning Large Decision Trees

Jason Catlett             764

Learning Structural Decision Trees from Examples

 Larry Watanabe and ixirry Rendell             770

Learning Nested Concept Classes with Limited Storage

David Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, and Gregory Sullivan             777

Acquiring Knowledge by Efficient Query Learning

 Achim G. Hoffman and Sunil Thakar             783

Case-based Learning

The Base Selection Task in Analogical Planning

Diane J. Cook             790

FGP: A Virtual Machine for Acquiring Knowledge from Cases

Scott Fertig and David H. Gelernter             796

CABOT: An Adaptive Approach to Case-Based Search

 James P. Callan, Tom E. Fawcett, and Edwina L. Rissland             803

Knowledge Acquisition

Constraints on Tree Structure in Concept Formation

Kathleen B. McKusick and Pat Langley             810

An Interactive Visual Language for Term Subsumption Languages

 Brian R. Gaines             817

Cooperative Hybrid Systems

 Matthias Gutknecht, RolfPfeifer, and Markus Stolze             824

Connectionist Models

Integration of Neural Networks and Expert Systems for Process Fault Diagnosis

Warren R. Becraft, Peter L. Lee, and Robert B. Newell             832

Analyzing Images Containing Multiple Sparse Patterns with Neural Networks

Rangachari Anand, Kishan Mehrotra, Chilukuri K.Mohan, and Sanjay Ranka             838

The Utility of Feature Construction for Back-Propagation

 Harish Ragavan and Selwyn Piramuthu             844

Logic Programming I

Weak Equivalence for Constraint Sets

 Sieger van Denneheuvel and Karen L. Kwast             851

Fitting Semantics for Conditional Term Rewriting

Chilukuri K. Mohan             857

Derivation Procedures for Extended Stable Models

 Luis Moniz Pereira, Joaquim N. Aparicio, and Jose ./. A Iferes             863

Logic Programming II

An Architecture for Visualizing the Execution of Parallel Logic Programs

 Mike Bray show             870

A Non-shared Binding Scheme for Parallel Prolog Implementation

Kang Zhang and Ray Thomas             877

Logic Programming III

Programming in Autoepistemic Logic

Kienchung Kuo             884

Indefinite Reasoning with Definite Rules

L. Thorne McCarty and Ron van der Meyden             890

The Incomplete Database

Karen L. Kwast             897

Compiling Integrity Checking into Update Procedures

Mark Wallace             903

                      Natural Language

 Natural Language Processing

High Performance Natural Language Processing on Semantic Network Array Processor

Hiroaki Kitano, Dan Moldovan, and Seungho Cha             911

Massively Parallel Memory-Based Parsing

Hiroaki Kitano and Tetsuya Higuchi             918

Incremental Syntactic and Semantic Processing Esther Konig             925

An Environment for Experimentation with Parsing Strategies Gregor Erhach             931

Pragmatics

Resolving Plan Ambiguity for Cooperative Response Generation

 Peter van Beek and Robin Cohen             938

Your Metaphor or Mine: Belief Ascription and Metaphor Interpretation

Yorick Wilks, John Barnden, and Jin Wang             945

Confirmations and Joint Action

 Philip R. Cohen and Hector J. Levesque             951

Natural Language Systems

POST: Using Probabilities in Language Processing

 Marie Me leer, Richard Schwartz, and Ralph Weischedel             960

The Rc-use of Linguistic Resources across Languages in Multilingual Generation Components

 John Bateman, Christian Matthiessen, Keizo Nanri, and Licheng Zeng             966

Natural Language and Exploration of an Information Space: The ALFresco Interactive System

Oliviero Stock             972

Efficient Representation of Linguistic Knowledge for Continuous Speech Understanding

 P. Baggia, E. Gerbino, E. Giachin, and C. Rullent             979

Representation and Semantics

Organizational Issues Arising from the Integration of the Lexicon and Concept Network in a Text Understanding System

Pddraig Cunningham and Tony Veale             986

Logic and Feature Structures

 Mark Johnson             992

Interpretation of Definite Noun Phrases

 L. Ardissono, L. Lesmo, P. Pogliano, and P. Terenziani             997

Using Pattern-Action Rules for the Generation of GPSG Structures from MT-Oriented Semantics

 Stephan Busemann             1003

Parsing and Morphology

Coordinated Morphological and Syntactic Analysis of Japanese Language

 Tsunenori Mine, Rin-ichiro Taniguchi, and Makoto Amamiya             1012

A Parsing Method for Identifying Words in Mandarin Chinese Sentences

 Liang-Jyh Wang, Tzusheng Pei, Wei-Chuan Li,and Lih-Ching R. Huang         1018

X2MORF: A Morphological Component Based on Augmented Two-Level Morphology

 Harald Trost             1024

Parsing = Parsimonious Covering? (Abduction in Logical Form Generation)

VenuDasigi             1031

 Philosophical Foundations

Philosophical Foundations I

The Philosophy of Automated Theorem Proving

 Francis Jeffry Pelletier             1039

Generalised Inference and Inferential Modelling

 RE. Jennings, C.W. Chan, andMJ. Dowad             1046

The Implications of Paraconsistency

 John Slaney             1052

Philosophical Foundations II

Actions and Movements

David Israel, John Perry, and Syun Tutiya             1060

In Defense of Hyper-Logicist AI

 Selmer Bringsjord and Michael Zenzen             1066

The Problem of Induction and Machine Learning

 F. Bergadano             1073

Principles of AI Applications

Intelligent Tutoring Systems

UMRAO: A Chess Endgame Tutor

 Dinesh Gadwal, Jim E. Greer, and Gordon 1. McCalla             1081

Reasoning about Student Knowledge and Reasoning

 Luipa Cartucci Aiello, Marta Cialdea, and Dariiele Nardi             1087

Integration-Kid: A Learning Companion System

 Tak-Wai Chan             1094

An Endorsement-based Approach to Student Modeling for Planner-controlled Tutors

 William R. Murray .             1100

Qualitative Reasoning

Diagnosis

When Oscillators Stop Oscillating

 Philippe Dague, Olivier Jehl, Philippe Devis, Pierre Luciani, and Patrick Taillibert             1109

Diagnosing Temporal Misbehavior

Gerhard Friedrich and Franz Lackinger             1116

Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems

 Franz Lackinger and Wolfgang Nejdl             1123

Representing Diagnostic Knowledge for Probabilistic Horn Abduction

David Poole             1129

                                          Qualitative Modeling

The Hybrid Phenomena Theory

 Erling A. Woods             1138

Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces

Feng Zhao             1144

A Geometric Approach to Total Envisioning

Toyoaki Nishida and Shuji Doshita             1150

Qualitative Modeling, Temporal Reasoning

Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems

 Ulf Soderman and Jan-Erik Stromberg             1158

Directed Constraint Networks: A Relational Framework for Causal Modeling

 Rina Dechter and Judea Pearl             1164

Computational and Physical Causality

 Jan Top and Hans Akkermans             1171

Reified Temporal Theories and How to Unreify Them

 Antony Galton             1177

Reasoning under Uncertainty I

Characterizing Belief with Minimum Commitment

 Yen-Teh Hsia             1184

On a Tool for Reasoning with Mass Distributions

 Rudolf kruse, Erhard Schweke, and Frank Klawonn             1190

Evidential Probability

 Henry E. Kyburg, Jr.             1196

Reasoning under Uncertainty II

Propagation of Preference Relations in Qualitative Inference Networks

 S.K.M. Wong, Pawan Lingras, and YJ. Yao             1204

Parallel Distributed Belief Networks That Learn

 Wilson X. Wen and Andrew Jennings             1210

Robotics

Architectures

Emergent Frame Recognition and Its Use in Artificial Creatures

 Luc Steels             1219

Integrating Reaction Plans and Layered Competences Through Synchronous

 Control R. Peter Bonasso             1225

Navigation

Planning Robot Control Parameter Values with Qualitative Reasoning

 Stephen E Peters, Shigeoki Hirai, Toru Omata, and Tomomasa Sato             1234

Mobile Robot Navigation by an Active Control of the Vision System

 Patrick Stelmaszyk, Hiroshi Ishiguro, and Saburo Tsuji             1241

Determining Robot Egomotion from Motion Parallax Observed by an Active Camera

 Matthew Earth, Hiroshi Ishiguro, and Saburo Tsuji             1247

  Vision

Object Recognition

A Pictorial Approach to Object Classification

 Ye rue ham Shapira and Shimon U11 man             1257

Natural Object Recognition: A Theoretical Framework and Its Implementation

 Thomas M. St rat and Martin A. Fischler             1264

On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for Analyzing Flexible Extruded Objects

John R. Kender and Rick Kjeldsen             1271

HyperBF Networks for Real Object Recognition R. Brunelli and T Poggio             1278

Interpretation

Shading-Based Two-View Matching

 Michel Audette, Paul Cohen, and Juyang Weng             1286

ombining Stereo and Monocular Information to Compute Dense Depth Maps that Preserve Depth Discontinuities

 Pascal Fua             1292

Visual Interpretation of Lambertian Surface Deformation

 R. Mike Cameron-Jones             1299

Line Labeling and Junction Labeling: A Coupled System for Image Interpretation

Terry Regier             1305

Qualitative Model Evolution

 Alen Varsek (late addition)             131