IJCAI 97 VOL 2

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence

August 23-29,1997

 LEARNING

LEARNING 1

Unbiased Assessment of Learning Algorithms

 Tobias Scheffer and Ralf Herbrich            798

Is Nonparametric Learning Practical in Very High Dimensional Spaces?

Gregory Z. Grudic and Peter D. Lawrence            804

Discovering Admissible Models of Complex Systems Based on Scale-Types and Identity Constraints

lakashi Washio and Hiroshi Motoda            810

LEARNING 2: REINFORCEMENT LEARNING

An Adaptive Architecture for Modular Q-Learning

Takayuki Kohri, Kei Matsubayashi, and Mario lokoro            820

A convergent Reinforcement Learning algorithm in the continuous case based on a Finite Difference method

Remi Munos            826

Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks

Devika Subramanian, Peter Druschel, and Johnny Chen             832

LEARNING 3: DECISION TREES

Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains

Paul Davidsson            840

Decision Tree Grafting

Geoffrey I Webb            846

Noise-Tolerant Windowing

 Johannes Furnkranz            852

LEARNING 4: CLASSIFICATION

Ensembles as a Sequence of Classifiers

 Lars Asker and Richard Maclin            860

Stacked Generalization: when does it work?

Kai Ming Ting and Ian H. Witten            866

LEARNING 5: APPLICATIONS

Alignment Algorithms for Learning to Read Aloud

Charles X. Ling and Handong Wang            874

Socially Embedded Learning of the Office-Conversant Mobile Robot Jijo-2

Hideki Asoh, Satoru Hayamizu, Isao Hara, Yoichi Motomura, Shotaro Akaho, and Toshihiro Matsui            880

LEARNING 6: LOGIC AND ILP

Tractable Induction and Classification in First Order Logic Via Stochastic Matching

Michtte Sebag and Ctline Rouveirol            888

RHB+\ A Type-Oriented ILP System Learning from Positive Data

Yutaka Sasaki and Masahiko Haruno            894

Integrating Explanatory and Descriptive Learning in ILP

Yannis Dimopoulos, Saso Dzeroski,and Antonis Kakas            900

LEARNING 7: DYNAMIC ENVIRONMENTS

Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems

G. M. Shiraz and C. Sammut            908

Skill reconstruction as induction of LQ controllers with subgoals

Dorian Sue and Ivan Bratko            914

Learning Topological Maps with Weak Local Odometric Information

 Hagit Shatkay and Leslie Pack Kaelbling            920

LEARNING 8

Discovering Interesting Holes in Data

Bing Liu, Liang-Ping Ku, and Wynne Hsu            930

An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size

Tatsuya Nomura            936

Minimum Splits Based Discretization for Continuous Features

Ke Wang and Han Chong Goh            942

NATURAL LANGUAGE PROCESSING 1: GENERATION

Dynamically Improving Explanations: A Revision-Based Approach to Explanation Generation

 Charles B. Callaway and James C. Lester            952

Exploiting the Addressee s Inferential Capabilities in Presenting Mathematical Proofs

Detlef Fehrer and Helmut Horacek            959

Proof Verbalization as an Application of NLG

 Xiaorong Huang and Armin Fiedler            965

NATURAL-LANGUAGE PROCESSING 2: MACHINE TRANSLATION

Corpus-Based Chinese-Korean Abstracting Translation System

Jun-Jie Li and Key-Sun Choi             972

A Hybrid Approach to Interactive Machine Translation—Integrating Rule-based, Corpus-based, and Example-based Method  

Kiyoshi Yamabana, Shin-ichiro Kamei, Kazunori Muraki, Shinichi Doi, Shinko Tamura, and Kenji Satoh.       977    

Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Information from Context, Situation and Environment 

Hideki Mima, Osamu Furuse, and Hitoshi Iida     983

NATURAL LANGUAGE PROCESSING 3: DIALOGUE AND DISCOURSE

Dynamic, User-Centered Resolution in Interactive Stories

 Nikitas M. Sgouros             990

"Tall", "Good", "High"— Compared to What?

Steffen Staab and Udo Hahn                 996

Charts, interaction-free grammars, and the compact representation of ambiguity

Marc Dymetman             1002

NATURAL-LANGUAGE PROCESSING 4: DIALOGUE AND DISCOURSE

On the Interaction of Metonymies and Anaphora Katja Markert and Udo Hahn             1010

Computing Parallelism in Discourse

 Claire Gardent and Michael Kohlhase             1016

Content Ordering in the Generation of Persuasive Discourse

Chris Reed and Derek Long             1022

NATURAL LANGUAGE PROCESSING 5: DIALOGUE AND DISCOURSE

ARTIMIS: Natural Dialogue Meets Rational Agency

M. D. Sadek, P Bretier, and E Panaget             1030

An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction

Matthias Denecke             1036

Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementations for French and English

Hervt Blanchon             1042

GRAPHICS

A Method of Generating Calligraphy of Japanese Character using Deformable Contours

Lisong Wang, Tsuyoshi Nakamura, Minkai Wang,Hirohisa Seki, and Hidenori Itoh             1050

The Representation and Use of a Visual Lexicon for Automated Graphics Generation

Michelle X. Zhou and Steven K. Feiner             1056

 NEURAL NETWORKS NEURAL NETS 1: RULE EXTRACTION

On the Efficient Classification of Data Structures by Neural Networks

Paolo Frasconi, Marco Gori, and A lessandro Sperduti.             1066

On the Role of Hierarchy for Neural Network. Interpretation

Jurgen Rahmel, Christian Blum, and Peter Hahn             1072

Law Discovery using Neural Networks

Kazumi Saito and Ryohei Nakano             1078

Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor

Yoshiteru Ishida             1084

LANGUAGE AND STRUCTURE PROCESSING NEURAL NETS 2:

Meaning and the Mental Lexicon

Will Lowe             1092

Extracting Propositions from Trained Neural Networks

Hiroshi Tsukimoto             1098

Convergence time characteristics of an associative memory for natural language processing

Nigel Collier             1106

NEURAL NETS 3:

NEUROBIOLOGICALLY INSPIRED COMPUTATION

Combining Probabilistic Population Codes

Richard S. Zemel and Peter Dayan             1114

Self-Organization and Segmentation with Laterally Connected Spiking Neurons

Yoonsuck Choe and Risto Miikkulainen             1120

A Music Stream Segregation System Based on Adaptive Multi-Agents

Kunio Kashino and Hiroshi Murase             1126

LEARNING ALGORITHMS AND ARCHITECTURESNEURAL NETS 4:

An effective learning method for max-min neural networks

 Loo-Nin Teow and Kia-Fock Loe             1134

Avoiding Overfitting with BP-SOM

Ton Weijters, H.Jaap van den Herik, Antal van den Bosch, and Eric Postma             1140

Evolvable Hardware for Generalized Neural Networks

Masahiro Murakawa, Shuji Yoshizawa, Isamu Kajitani, and Tetsuya Higuchi             1146

PLANNING 1: RELATIONS AMONG TECHNIQUESPLANNING AND SCHEDULING

Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning

Craig Boutilier, Rotten I. Brafman, and Christopher Ck'ib             1156

Model Minimization, Regression, and Propositional STRIPS Planning

Robert Givan and Tltomas Dean             1163

Automatic SAT-Compilation of Planning Problems

Michael D. Ernst, Todd D. Millstein, and Daniel S. Weld             1169

PLANNING 2: REACTIVE PLANNING

A Reactive Planner for a Model-based Executive

Brian C. Williams and P. Pandurang Nayak             1178

Modeling Command Entities

Michael D. Howard             1186

PLANNING 3: PLANNING UNDER UNCERTAINTY

Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost

fun Miura and Yoshiaki Shirai             1194

Handling Duration Uncertainty in Meta-Level Control of Progressive Processing

Ahdel-Illah Mouaddib and Shlomo Zilberstem             1201

PLANNING 4: REASONING ABOUT PLANS

Adaptive goal recognition

Neal Lesh             1208

Reasoning about Plans

Witold Lukasiewicz and Ewa Madalinska-Bugaj             1215

Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

 Guiseppe De Giacomo, Yves Lesperance, and Hector J. Levesque             1221

Learning to Improve both Efficiency and Quality of Planning

Tara A. Estlin and Raymond J. Mooney             1227

PLANNING 5: APPLICATIONS AND SUPPORT

Robust Periodic Planning and Execution for Autonomous Spacecraft

Barney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, and Ben Smith             1234

System Assistance in Structured Domain Model Development

Susanne Biundo and Werner Stephan             1240

Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems

 Leliane Nunes de Barros, James Hendler, and V Richard Benjamins             1246

SCHEDULING

Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems

Andrea Schaerf       1254

Automatic Generation of Heuristics for Scheduling

Robert A. Morris,John L. Bresina, and Stuart M. Rodgers             1260

Development of Iterative Real-time Scheduler to Planner Feedback

Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, and Kang G. Shin             1267

PROBABILISTIC REASONING DISTINGUISHED PAPER

Object Identification in a Bayesian Context

Timothy Huang and Stuart Russell             1276

PROBABILISTIC REASONING 1: EFFICIENCY

Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference

David Poole             1284

Space-efficient inference in dynamic probabilistic networks

John Binder, Kevin Murphy, and Stuart Russell             1292

Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning

Rina Dechter             1297

PROBABILISTIC REASONING 2: CAUSAL DISCOVERY

A Study of Causal Discovery With Weak Links and Small Samples

Honghua Dai, Kevin Korb, Chris Wallace, and Xindong Wu             1304

ILP with Noise and Fixed Example Size: A Bayesian Approach

Eric McCreath and Arun Sharma             1310

Learning probabilities for noisy first-order rules

 Daphne Koller and Avi IJeffer             1316

PROBABILISTIC REASONING 3

A Symmetric View of Utilities and Probabilities

 Yoav Shoham             1324

PRISM: A Language for Symbolic-Statistical Modeling

 Taisuke Sato and Yoshitaka Kameya             1330

 ROBOTICS     ROBOTICS 1

Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error

Ioannis M. Rekleitis, Gregory Dudek,and Evangelos E. Milios             1340

Active Mobile Robot Localization

 Wolfram Burgard, Dieter Fox, and Sebastian Thrun             1346

Reactive Combination of Belief Over Time Using Direct Perception

Robin R. Murphy, Dale K. Hawkins, and Marcel J. Schoppers             1353

ROBOTICS 2

Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics

Edward W Large, Heneik I. Christensen,and Ruzena Bajcsy             1360

Learning to Coordinate Controllers—Reinforcement Learning on a Control Basis

Manfred Huber and Roderic A. Grupen             1366

Situated Actions and Cognition

Jacques Penders and Peter J. Braspenning             1372

SEARCH I: DEPTH-FIRST SEARCH

Interleaved Depth-First Search

Pedro Meseguer             1382

Depth-bounded Discrepancy Search

Toby Walsh             1388

SEARCH 2: BIN PACKING

From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules

 Ian P. Gent and Toby Walsh             1396

An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem

Ho Soo Lee and Mark Trumbo             1402

TEMPORAL REASONING DISTINGUISHED PAPER

Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator

Fangzhen Lin   1412

TEMPORAL REASONING 1

Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism

Marcus Bjdreland and LaKarlsson        1420

Change, Change, Change: three approaches

Tom Costello             1426

TEMPORAL REASONING 2

Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus

Lars Karlsson             1434

Defeasible Specifications in Action Theories

Chitta Baral and Jorge Lobe             1441

Reasoning about Action in Polynomial Time

Thomas Drakengren and Marcus Bjdreland             1447

TEMPORAL REASONING 3

Qualitative Temporal Reasoning with Points and Durations

Isabel Nauarrete and Roque Marin.             1454

On Finding a Solution in Temporal Constraint Satisfaction Problems

Alfonso Gerevini and Matteo Cristani             1460

Towards a Complete Classification of Tractability in Allen's Algebra

Thomas Drakengren and Peter Jonsson             1466

 VISION  VISION 1

Comparing Random Starts Local Search with Key Feature Matching

J. Ross Beveridge, Christopher R. Graves, and Jim Steinborn             1476

Chain of Circles for Matching and Recognition of Planar Shapes

Jae-Moon Chung and Noboru Ohnishi             1482

Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing

 Shin'ichi Satoh, Yuichi Nakamura,and Takeo Kanade             1488

VISION 2: STEREO VISION

Neural network based photometric stereo using illumination planning

Yuji Iwahori, Wataru Kato, Md. Shoaib Bhuiyan, Robert J. Woodham, and Naohiro Ishii             1496

A General Expression of the Fundamental Matrix for Both Perspective and Affine Cameras

Zhengyou Zhang and Gang Xu             1502

PANEL

The Next Big Thing: Position Statements

Munindar P Singh, Daniel G. Bobrow,Michael N. Huhns, Margaret King, Hiroaki Kitano, and Ray Reiter             1511

VIDEOS

Robust Real-Time Face Tracking and Gesture Recognition

J. Heizmann and A. Zelinksy             1525

PAC—Personality and Cognition: an interactive system for modelling agent scenarios

Lin Padgham and Guy Taylor             1531

DOCTORAL CONSORTIUM ABSTRACTS

Modularity in Computer Assisted Reasoning Systems

A lessandro Agostini             1539

Describing Time-Varying Data

Sarah Boyd             1540

Automation of Diagrammatic Proofs in Mathematics

Mateja Jamnik             1541

Toward the Automatic Discovery of Misconceptions

Raymund C. Sison             1542

Control Structures for Software Agents

Hongjun Song             1543

Algorithm Evolution for Signal Understanding

Astro Teller             1544

The use of neural network approach in financial asset management

Francesco Virili             1545

Constrained Object Hierarchy

—An Architecture for Intelligent Systems Hongxue Wang             1546

INVITED SPEAKERS

Lets plan it deductively!

W.Bihel.             1549

Creativity and Artificial Intelligence

Margaret A. Boden             1563

Modeling Social Action for AI Agents

Cristiano Castelfranchi             1567

Vehicles Capable of Dynamic Vision

Ernest D. Dickmanns             1577

Remote-Brained Robots

Masayuki Inaha             1593

Generating Multimedia Briefings: Language Generation in a Coordinated Multimedia Environment

Kathleen R. McKeoum             1601

Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry

Leora Morgenstern             1613

Machine Learning Techniques to Make Computers Easier to Use

Hiroshi Motoda and Kenichi Yoshida             1622

The Origins of Syntax in Visually Grounded Robotic Agents

Luc Steels.             1632

Numerica: a Modeling Language for Global Optimization

Pascal Van Hentenryck             1642

AWARDS

Research Excellence Award: Relationship Between Natural Language Processing and AI

Aravind K. Joshi             1651

AUTHOR INDX             1653