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