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
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
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
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
Pddraig Cunningham and Tony Veale 986
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
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
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
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
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
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
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
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.