Skip to main content
SpringerLink
Log in

The temporal QCM modelling language

  • Scientific Track
  • Conference paper
  • First Online:
Advanced Topics in Artificial Intelligence (AI 1998)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1502))

Included in the following conference series:

  • 164 Accesses

Abstract

We examine the QCM language for qualitative compartmental modelling, along with temporal extensions to that framework (TQCM). We identify translations of QCM and TQCM which are explanatory as well as descriptive, adding to our ability to correctly verify qualitative models. The reasoning about such explanatory translations is supported by the reported experimental results.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Bossel. Modeling and Simulations. A.K. Peters Ltd, 1994. ISBN 1-56881-033-4.

    Google Scholar 

  2. E. Coiera. The Qualitative Representation of Physical Systems. The Knowledge Engineering Review, 7:1–23, 1, 1992.

    Article  Google Scholar 

  3. B. Feldman, P. Compton, and G. Smythe. Hypothesis Testing: an Appropriate Task for Knowledge-Based Systems. In 4th AAAI-Sponsored Knowledge Acquisition for Knowledge-based Systems Workshop Banff, Canada, 1989.

    Google Scholar 

  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.

    Google Scholar 

  5. T.J. Menzies and P. Compton. Applications of Abduction: Hypothesis Testing of Neuroendocrinological Qualitative Compartmental Models. Artificial Intelligence in Medicine, 10:145–175, 1997. Available from http://www.cse.unsw.edu.au/~timm/ pub/docs/96aim.ps.gz.

    Article  Google Scholar 

  6. S. Waugh, T.J. Menzies, and S. Goss. Evaluating a Qualitative Reasoner. In Abdul Sattar, editor, Advanced Topics in Artificial Intelligence: 10th Australian Joint Conference on AI. Springer-Verlag, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Air Operations Division, Defence Science and Technology Organisation, Melbourne, Australia

    Sam Waugh & Brian Hanlon

  2. Artificial Intelligence Department, School of Computer Science & Engineering, University of NSW, Sydney, Australia

    Tim Menzies

Authors
  1. Sam Waugh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Brian Hanlon
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tim Menzies
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grigoris Antoniou John Slaney

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Waugh, S., Hanlon, B., Menzies, T. (1998). The temporal QCM modelling language. In: Antoniou, G., Slaney, J. (eds) Advanced Topics in Artificial Intelligence. AI 1998. Lecture Notes in Computer Science, vol 1502. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0095058

Download citation

  • DOI: https://doi.org/10.1007/BFb0095058

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65138-3

  • Online ISBN: 978-3-540-49561-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation