Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (II)

IJCAI-91 Contents Vol2

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


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


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



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


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


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


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

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.