Skip to main content
SpringerLink
Log in
Book cover

Applications of Uncertainty Formalisms pp 242–265Cite as

Correlation using uncertain and temporal information

  • Chapter
  • First Online:

  • 416 Accesses

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

Abstract

This paper describes a modelling language which is suitable for the correlation of information when the underlying functional model of the system is incomplete or uncertain and the temporal dependencies are imprecise. An implementation of this approach is outlined using cost functions. If the cost functions satisfy certain criteria then an efficient and incremental approach to the control computation is possible. Possibilistic logic and probability theory (as it is used in the applications targetted) satisfy the criteria.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Ghallab and A. Mounir-Alaoui. Managing efficiently temporal relations through indexed spanning trees. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1297–1303, 1989.

    Google Scholar 

  2. J. Bigham and K. Scrupps. A telecommunications maintenance application using model-based reasoning. Electronics Letters, 32:98–99, 1996.

    Article  Google Scholar 

  3. J. de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127–162, 1986.

    Article  Google Scholar 

  4. C. Dousson, P. Gaborit, and M. Ghallab. Situation recognition: Representation and algorithms. Automated Reasoning, pages 166–172, 1992.

    Google Scholar 

  5. D. Dubois, J. Lang, and H. Prade. A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision. In J. P. Martins and M. Reinfrank, editors, Truth Maintenance Systems, pages 87–106. Springer Verlag, Berlin, Germany, 1990.

    Google Scholar 

  6. K. Konolige. Abduction versus closure in causal theories. Artificial Intelligence, 53:255–272, 1992.

    Article  MathSciNet  Google Scholar 

  7. T. H. Ngair and G. Provan. A lattice-theoretic analysis of assumption-based problem solving. Technical Report, Institute of System Science, National University of Singapore, 1993.

    Google Scholar 

  8. S. Parsons and J. Bigham. Possibility theory and the generalised Noisy OR model. In Proceedings of the 6th International Conference on Information Processing and the Management of Uncertainty, pages 853–858, 1996.

    Google Scholar 

  9. D. Poole. Probabilistic horn abduction and Bayesian networks. Artificial Intelligence, 64:81–129, 1993.

    Article  Google Scholar 

  10. S. Srinivas. Modeling failure priors and persistence in model-based diagnosis. In Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence, pages 507–514, 1995.

    Google Scholar 

  11. A. Y. Tawfik and E. Neufeld. Model-based diagnosis: A probabilistic extension. In A. Hunter and S. Parsons, editors, Applications of Uncertainty Formalisms (this volume). Springer Verlag, Berlin, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electronic Engineering, Queen Mary and Westfield College, University of London, London, E1 4NS, UK

    John Bigham

Authors
  1. John Bigham
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University College London, Gower Street, London, WC1E 6BT, UK

    Anthony Hunter

  2. Queen Mary and Westfield College, Department of Electronic Engineering, University of London, London, E1 4NS, UK

    Simon Parsons

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bigham, J. (1998). Correlation using uncertain and temporal information. In: Hunter, A., Parsons, S. (eds) Applications of Uncertainty Formalisms. Lecture Notes in Computer Science(), vol 1455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49426-X_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-49426-X_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65312-7

  • Online ISBN: 978-3-540-49426-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation