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

IJCAI-97 Contents 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

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.