Qualitative Reasoning
Papers from the Twelfth Annual Workshop
Feng Zhao and Kenneth Yip, Program Cochairs
Technical Report WS-98-01 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. PDF file sizes may be large!
Contents
Workshop Organization / vii
Preface / viii
Feng Zhao and Kenneth Yip
PAPERS I
Reasoning About and Optimizing Distributed Parameter Physical Systems Using Influence Graphs / 2
Christopher Bailey-Kellogg and Feng Zhao
A Qualitative-Fuzzy Framework for Nonlinear Black-Box System Identification / 10
R. Bellazzi, R. Guglielmann, and L. Ironi
Preliminary Thoughts Towards a Practical Theory of Reformulation for Reasoning About Physical Systems / 21
Berthe Y. Choueiry, Sheila McIlraith, Yumi Iwasaki, Tony Loeser, Todd Neller, Robert S. Engelmore, and Richard Fikes
Model-Based Identification of Systematic Errors in Measurements / 32
H. de Jong, V. J. de Wit, N. J. I. Mars, and P. E. van der Vet
Using GDE in Educational Systems / 42
Kees de Koning and Bert Bredeweg
Incremental Design for Linear Circuits / 50
Juan Flores and Arthur M. Farley
Distributed Coaching for an Intelligent Learning Environment / 57
Kenneth D. Forbus, John O. Everett, Leo Ureel, Mike Brokowski, Julie Baher, and Sven E. Kuehne
Qualitative Spatial Reasoning à la Allen: An Algebra for Cyclic Ordering of 2D Orientations / 65
Amar Isli and Anthony G. Cohn
Functional Ontology for Functional Understanding / 77
Yoshinobu Kitamura and Riichiro Mizoguchi
Safety Verification Proofs for Physical Systems / 88
Tony Loeser, Yumi Iwasaki, and Richard Fikes
A Study of Transitions in Dynamic Behavior of Physical Systems / 96
Pieter J. Mosterman, Feng Zhao, and Gautam Biswas
Improved Infinity Filtering in Qualitative Simulation / 106
A. C. Cem Say
Qualitative Euler Integration with Continuity / 114
J. Allan Scott and George M. Coghill
Handling Assumptions in Automated Modeling / 123
Neil Smith
Automatic Construction of Processes from a Bond Graph Representation / 131
Bernard Thétiot, Fakher Zouaoui, Michel Dumas, and Philippe Dague
Transformation of Quantitative Measurements into Qualitative Values in Stochastic Qualitative Reasoning for Fault Detection / 137
Takahiro Yamasaki, Masaki Yumoto, Takenao Ohkawa, Norihisa Komoda, and Fusachika Miyasaka
PAPERS II
Acquisition of Functional Models: Combining Adaptive Modeling and Model Composition / 149
Sambasova R. Bhatta and Ashok K. Goel
Extracting and Using Relative Duration Information in Pure Qualitative Simulation / 155
Toiga Könik and A. C. Cem Say
Extending Qualitative Modeling for Simulation of Time-Delayed Behavior / 161
Ian Miguel and Qiang Shen
Using Qualitative Reasoning to Solve Dynamic Problems / 167
Yusuf Pisan and Andrew Bachmann
Index / 173
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.