Evaluating a qualitative reasoner

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1342, Issue , 1997, Pages 505-514

  Waugh, Sam ^a   Menzies, Tim ^b   Goss, Simon ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

OPERATIONS RESEARCH;

GENERAL METHODOLOGIES; QUALITATIVE REASONING; REASONER; TEMPORAL DATA; TEMPORAL REASONING; TESTING MODELS;

ARTIFICIAL INTELLIGENCE;

EID: 84961316937     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63797-4_104     Document Type: Conference Paper

References (12)

1. H. Bossel. Modeling and Simulations. A. K. Peters Ltd, 1994. ISBN 1-56881-033-4.
2. I. Bratko, I. Mozetic, and N. Lavrac. KARDIO: a Study in Deep and Qualitative Knowledge for Expert Systems. MIT Press, 1989.
3. T. Bylander. A Critique of Qualitative Simulation from a Consolidation Viewpoint. IEEE Transactions on Systems, Man, and Cybernetics, 18(2):252-263, March/April 1988.
4. B. Feldman, P. Compton, and G. Smythe. Towards Hypothesis Testing: JUSTIN, Prototype System Using Justification in Context. In Proceedings of the Joint Australian Conference on Artificial Intelligence, AI '89, pages 319-331, 1989.
5. Y. Iwasaki. Qualitative Physics. In P. R. Cohen A. Barr and E. A. Feigenbaum, editors, The Handbook of Artificial Intelligence, volume 4, pages 323-413. Addison Wesley, 1989.
6. B. Kuipers. Qualitative Simulation. Artificial Intelligence, 29:229-338, 1986.
7. R. Levins and C. J. Puccia. Qualitative Modeling of Complex Systems: An Introduction to Loop Analysis and Time Averaging. Harvard University Press, Cambridge, Mass., 1985.
8. T. J. Menzies and R. E. Cohen. "And" Can You Validate It? In Submitted to the Australian Al '97 conference., 1997.
9. T. J. Menzies and R. E. Cohen. A Graph-Theoretic Optimisation of Temporal Ab- ductive Validation. In European Symposium on the Validation and Verification of Knowledge Based Systems, Leuven, Belgium, 1997.
10. T. J. Menzies and P. Compton. Knowledge Acquisition for Performance Systems; or: When can "tests" replace "tasks"? In Proceedings of the 8th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, 1994.
11. T. J. Menzies and P. Compton. Applications of Abduction: Hypothesis Testing of Neuroendocrinological Qualitative Compartmental Models. Artificial Intelligence in Medicine, (10):145-175, 1997.
12. K. M. Yip. Understanding Complex Dynamics by Visual and Symbolic Reasoning. Artificial Intelligence, 51:179-221, 1991.