Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Formalisations of Uncertain Reasoning

  • Conference paper
Multiple Approaches to Intelligent Systems (IEA/AIE 1999)

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

  • 906 Accesses

Abstract

The proper construction of a Knowledge-based System has as a pre-requisite the (in most cases logic-based) formalisation of the problem domain knowledge and inference procedures related to the System. This is a necessary step if one desires to convey scientific accreditation to the results eventually obtained from the System and used for solving problems.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

References

  1. Correa da Silva, F.S.: On Reasoning With and Reasoning About Uncertainty in Artificial Intelligence. In: European Summer Meeting of the Association of Symbolic Logic (abstract published in The Bulletin of Symbolic Logic 3(2), 255–256), Spain (1996)

    Google Scholar 

  2. Curry, M.B.: Foundations of Mathematical Logic. McGraw-Hill, New York (1977)

    MATH  Google Scholar 

  3. Fine, T.L.: Theories of Probability. Academic Press, London (1973)

    MATH  Google Scholar 

  4. Hacking, I.: The Emergence of Probability. Cambridge University Press, Cambridge (1975)

    MATH  Google Scholar 

  5. Krause, P., Clark, D.: Representing Uncertain Knowledge - An Artificial Intelligence Approach. Kluwer, Dordrecht (1993)

    MATH  Google Scholar 

  6. Kruse, R., Schwecke, E., Heinsohn, J.: Uncertainty and Vagueness in Knowledge-based Systems - Numerical Methods. Springer, Heidelberg (1991)

    MATH  Google Scholar 

  7. Motro, A., Smets, P. (eds.): Uncertainty Management in Information Systems - From Needs to Solutions. Kluwer, Dordrecht (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Matemática e Estatística da Universidade de São Paulo Cid. Universitária “ASO”, São Paulo, SP, Brazil

    Flávio S. Corrêa da Silva

Authors
  1. Flávio S. Corrêa da Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Thinking Machines Corporation, 16 New England Executive Park, 01803, Burlington, MA, USA

    Ibrahim Imam

  2. LRI, UMR CNRS 8623, Bât, 490, Université de Paris-Sud 11, 91405, Orsay, France

    Yves Kodratoff

  3.  ,  

    Ayman El-Dessouki

  4. Department of Computer Science, Texas State University-San Marcos, Nueces 247, 601 University Drive, 78666-4616, San Marcos, TX, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

da Silva, F.S.C. (1999). Formalisations of Uncertain Reasoning. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-48765-4_1

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48765-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation