Skip to main content
SpringerLink
Log in

Temporal Abductive Diagnosis

  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 1999)

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

Included in the following conference series:

  • 536 Accesses

Abstract

Diagnostic problem solving aims to explain an observed divergence from the proper functioning of some case, human or other. The paper presents a temporal-abductive framework for diagnostic problem solving focusing on the integration of time. It is argued that time can be intrinsically relevant to diagnostic reasoning and as such it should be treated as an integral aspect of the knowledge and reasoning of a diagnostic problem solver. The proposal for achieving this is to model all relevant concepts as time-objects.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence 23 (1984) 123–154.

    Article  MATH  Google Scholar 

  2. Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R.: The computational complexity of abduction. Artificial Intelligence 49 (1991) 25–60.

    Article  MATH  MathSciNet  Google Scholar 

  3. Console, L., Torasso, P.: Integrating models of the correct behavior into abductive diagnosis. Proc ECAI-90 (1990) 160–166.

    Google Scholar 

  4. Console, L., Torasso, P.: On the co-operation between abductive and temporal reasoning in medical diagnosis. Artificial Intelligence in Medicine 3 (1991) 291–311.

    Article  Google Scholar 

  5. Console, L., Torasso, P.: A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7 (1991) 133–141.

    Article  Google Scholar 

  6. Friedrich, G., Lackinger, F.: Diagnosing temporal misbehaviour. Proc IJCAI’91 (1991) 1116–1122.

    Google Scholar 

  7. Gamper, J., Nejdl, W.: Abstract temporal diagnosis in medical domains. Artificial Intelligence in Medicine 10 (1997) 209–234.

    Article  Google Scholar 

  8. Keravnou, E.T.: Engineering time in medical knowledge-based systems through time-axes and time-objects. Proc TIME-96, IEEE Computer Society Press (1996) 160–167.

    Google Scholar 

  9. Keravnou, E.T.: Temporal diagnostic reasoning based on time-objects. Artificial Intelligence in Medicine 8(3) (1996) 235–265.

    Article  Google Scholar 

  10. Keravnou, E.T.: Temporal abstraction of medical data: deriving periodicity. In Lavrač, N., Keravnou, E.T., and Zupan, B., editors, Intelligent Data Analysis in Medicine and Pharmacology, Kluwer Academic Publishers (1997) 61–79.

    Google Scholar 

  11. Keravnou, E.T.: A time ontology for medical knowledge-based systems. Proc EMCSR’98 (1998) 831–835.

    Google Scholar 

  12. Keravnou, E.T.: A multidimensional and multigranular model of time for medical knowledge-based systems. The Journal of Intelligent Information Systems 13(1/2) (1999) 73–120.

    Article  Google Scholar 

  13. Keravnou, E.T., Washbrook, J.: A temporal reasoning framework used in the diagnosis of skeletal dysplasias. Artificial Intelligence in Medicine 2 (1990) 239–265.

    Article  Google Scholar 

  14. Keravnou, E.T., Washbrook, J.: Abductive diagnosis using time-objects: criteria for the evaluation of solutions. Submitted for publication.

    Google Scholar 

  15. Long, W.: Temporal reasoning for diagnosis in a causal probabilistic knowledge base. Artificial Intelligence in Medicine 8(3) (1996) 193–215.

    Article  Google Scholar 

  16. Peng, Y., Reggia, J.A.: Abductive inference models for diagnostic problem-solving, Springer-Verlag, 1990.

    Google Scholar 

  17. Poole, D.: Explanation and prediction: an architecture for default and abductive reasoning. Computational Intelligence 5(2) (1989) 97–110.

    Article  MathSciNet  Google Scholar 

  18. Poole, D.: Representing diagnosis knowledge. Annals of Mathematics and Artificial Intelligence, 11 (1994) 33–50.

    Article  MATH  MathSciNet  Google Scholar 

  19. Poole, D., Goebel, R., Aleliunas, R.: THEORIST: a logical reasoning system for defaults and diagnosis. In Cercone, N., and McCalla, G., editors, The Knowledge Frontier, Springer-Verlag (1987) 331–352.

    Google Scholar 

  20. Pople, H.E.: On the mechanization of abductive logic. Proc IJCAI-73, Stanford, CA (1973) 147–152.

    Google Scholar 

  21. Shoham, Y.: Temporal logics in AI: semantical and ontological considerations. Artificial Intelligence 33 (1987) 89–104.

    Article  MATH  MathSciNet  Google Scholar 

  22. Thagard, P.: Hypothesis formation. In Keane, M., and Gilhooly, K., editors, Advances in the Psychology of Thinking Vol.1 (1992) Hemel Hempstead: Harvester Wheatsheaf, 177–201.

    Google Scholar 

  23. Wainer, J., de Melo Rezende, A. A temporal extension to the parsimonious covering theory. Artificial Intelligence in Medicine 10 (1997) 235–255.

    Article  Google Scholar 

  24. Washbrook, J., Dams, F.S., Hall, C.M, Shaw, D., Keravnou, E.T.: Malformation Syndromes Diagnostician Project: Final Report to the Leverhulme Trustees. (Available on request.)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Cyprus, P.O.Box 20537, CY-1678, Nicosia, Cyprus

    Elpida T. Keravnou & John Washbrook

Authors
  1. Elpida T. Keravnou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Washbrook
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, Quinta da Torre, P-2825-114, Caparica, Portugal

    Pedro Barahona

  2. Departamento de Matemática, Universidade de Évora, R. Romão Ramalho 59, P-7000, Évora, Portugal

    José J. Alferes

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Keravnou, E.T., Washbrook, J. (1999). Temporal Abductive Diagnosis. In: Barahona, P., Alferes, J.J. (eds) Progress in Artificial Intelligence. EPIA 1999. Lecture Notes in Computer Science(), vol 1695. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48159-1_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-48159-1_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66548-9

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation