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

IJCAI-97 Contents Vol 1

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence

Nagoya, Japan August 23-29,1997

CHALLENGE 1

The Predictive Toxicology Evaluation Challenge

A. Srinivasan, R. D. King, S. H. Muggleton, and M.J. E. Sternberg  4

Challenge: What is the Impact of Bayesian Networks on Learning?

Mr Friedman, Moises Goldszmidt, David Heckerman,and Stuart Russell  10

Adaptive Web Sites: an AI Challenge

Mike Perkowitz and Oren Etzioni  16

CHALLENGE 2

The RoboCup Synthetic Agent Challenge 97

 Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela Veloso,  Silvia Coradeschi, Eiichi Osawa,  Hitoshi Matsubara, ltsuki Noda, and Minoru Asada  24

Understanding Three Simultaneous Speeches

Hiroshi G. Okuno, Tomohiro Nakatani, and Takeshi Kawabata  30

Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation

Hiroshi Ishiguro  36

CHALLENGE 3

Challenges in bridging plan synthesis paradigms

 Subbarao Kambhampati  44

Ten Challenges in Propositional Reasoning and Search

Bart Selman, Henry Kautz, and David McAllester   50

Challenge: How IJCAI 1999 can Prove the Value of AI by Using AI

James Geller  55

AUTOMATED REASONING

AUTOMATED REASONING 1: BELIEF REVISION

Qualitative Relevance and Independence: A Roadmap

Didier Dubois, Luis Farinas del Cerro, Andreas Herzig, and Henri Prade  62

The Complexity of Belief Update

Paolo Liberatore  68

Anytime Belief Revision

Mary-Anne Williams  74

AUTOMATED REASONING 2: BELIEF REVISION

Towards Generalized Rule-based Updates

Yan Zhang and Norman Y Foo  82

Representation Theorems for Multiple Belief Changes

Dongmo Zhang, Shiju Chen, Wujia Zhu, and Zhaoqian Chen  89

Nonmonotonic Reasoning and Multiple Belief Revision 

 Dongmo Zhang, Shiju Chen, Wujia Zhu, and Hongbing Li  95

AUTOMATED REASONING 3: THEOREM PROVING

High Performance ATP Systems by Combining Several Al Methods

Jorg Denzinger, Marc Fuchs, and Matthias Fuchs  102

Equational Reasoning using AC Constraints

David A. Plaisted and Yunshan Zhu  108

Strategies in Rigid-Variable Methods

Andrei Voronkov  114

AUTOMATED REASONING 4: PROPOSITIONAL KBS

Tractable Cover Compilations

Yacine Boujkhad, Eric Gregoire, Pierre Marquis, Bertrand Mazure, and Lakhdar Sais  122

A Four-Valued Fuzzy Prepositional Logic

Umberto Straccia  128

AUTOMATED REASONING 5: DESCRIPTION LOGIC

Autoepistemic Description Logics Francesco

M. Donini, Daniele Nardi, and Riccardo Rosati  136

Reifying Concepts in Description Logics

Liviu Badea  142

AUTOMATED REASONING 6: NONMONOTONISM

Circumscribing Inconsistency

Philippe Besnard and lorsten H. Schaub  150

A default interpretation of defeasible network

Xianchang Wangjia-Huai You, and Li Yan Yuan  156

A Cumulative-Model Semantics for Dynamic Preferences on Assumptions

Ulrich Junker  162

Compiling reasoning with and about preferences into default logic

James P. Delgrande and Torsten H. Schaub  168

AUTOMATED REASONING 7: NONMONOTONISM FOR LOGIC PROGRAMMING

Learning Extended Logic Programs

Katsumi Inoue and Yoshimitsu Kudoh 176

Compiling Prioritized Circumscription into Extended Logic Programs

Toshiko Wakaki and Ken Satoh 182

AUTOMATED REASONING 8: MODAL LOGIC

Prefixed Tableaux Systems for Modal Logics with Enriched Languages

Philippe Balbiani and Stephane Demri   190

A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics

A. Montanari and A. Policriti  196

On evaluating decision procedures for modal logic

Ullrich Hustadt and Renate A. Schmidt  202

AUTOMATED REASONING 9: ANALOGY

Production: A Common Form of Induction and Analogy

 Jun Arima  210

Analogy and Abduction in Automated Deduction Gilles

 DEfourneaux and Nicolas Peltier  216

CASE-BASED REASONING

CASE BASED REASONING 1

How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of Polymorphic Properties

Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell, and Kenneth Adamson  226

The Competence of Sub-Optimal Theories of Structure Mapping on Hard Analogies

Tony Veale and Mark Keane  232

An Average-Case Analysis of the R-Nearest Neighbor Classifier for Noisy Domains

Seishi Okamoto and Nobuhiro Yugami  238

CASE BASED REASONING 2

Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning

David B. Leake, Andrew Kinley, and David Wilson  246

Aggregating Features and Matching Cases on Vague Linguistic Expressions

Alfons Schuster, Werner Dubitzky, Philippe Lopes,Kenneth Adamson, David A. Bell,John G. Hughes, and John A. White  252

Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results

Tu Bao Ho and Chi Mai Luong  258

COGNITIVE MODELING

COGNITIVE MODELING 1

Acquisition of Human Feelings in Music Arrangement

Masayuki Numao, Masashi Kobayashi, and Katsuyuki Sakaniwa  268

Using Data and Theory in Multistrategy (Mis)Concept(ion) Discovery

Raymond Sison, Masayuki Numao, and Masamichi Shimura  274

An Aggregation Procedure for Building Episodic Memory

Olivier Ferret and Brigitte Grau  280

COGNITIVE MODELING 2

An Achievement Test for Knowledge-Based Systems: QUEM

Caroline Clarke Hayes and Michael I. Parzen  288

A Functional Theory of Design Patterns

Sambasiva R. Bhatta and Ashok K. Goel  294

Mental Tracking: A Computational Model of Spatial Development

Kazuo Hiraki, Akio Sashima, and Steven Phillips  301

COGNITIVE MODELING 3

In the Quest of the Missing Link

Guilherme Bittencourt  310

Implementing BDI-like Systems by Direct Execution

Michael Fisher  316

Managing decision resources in plan execution

Michael Freed and Roger Remington  322

COMPUTER-AIDED EDUCATION

Use of Abstraction and Complexity Levels in Intelligent Educational Systems Design

 Ruddy Lelouche and Jean-Francois Morin  329

Reasoning Symbolically About Partially Matched Cases

Kevin D. Ashley and Vincent Aleven  335

Task Ontology Makes It Easier To Use Authoring Tools

Mitsuru Ikeda, Kazuhisa Seta, and Riichiro Mizoguchi  342

CONSTRAINT SATISFACTION

CONSTRAINT SATISFACTION 1: CONSTRAINT PROGRAMMING

Semiring-based Constraint Logic Programming

Stefano Bistarelli, Ugo Montanari, and Francesca Rossi  352

Computational Complexity of Multi-way, Dataflow Constraint Problems

Gilles Trombettoni and Bertrand Neveu  358

CONSTRAINT SATISFACTION 2: SAT

Heuristics Based on Unit Propagation for Satisfiability Problems

Chu Min Li and Anbulagan  366

Hidden Gold in Random Generation of SAT Satisfiable Instances

Thierry Castell and Michel Cayrol  372

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.