Skip to main content

Logic, Randomness and Cognition

  • Chapter
Book cover Logic, Thought and Action

Part of the book series: Logic, Epistemology, and the Unity of Science ((LEUS,volume 2))

  • 1297 Accesses

Abstract

Many natural intensional properties in artificial and natural languages are hard to compute. We show that randomized algorithms are often necessary to have good estimators of natural properties and to verify some specific relations. We concentrate on the reliability of queries to show the advantage of randomized algorithms in uncertain cognitive worlds.

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

Access this chapter

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

  • Babai L. (1985). Trading Group Theory for Randomness. Symposium on the Theory of Computing, 421–429.

    Google Scholar 

  • Burago D. and de Rougemont M. (1998). “On the Average Complexity of Graph Reliability”. Fundamenta Informaticae 36(4):307–315.

    Google Scholar 

  • Burago D., de Rougemont M. and Slissenko A (1996). “On the Complexity of Partially Observed Markov Decision Processes”. Theoretical Computer Science, (157):161–183.

    Google Scholar 

  • Couveignes J.M., Diaz-Frias J.F., de Rougemont M. and Santha M (1994). “On the Interactive Complexity of Graph Reliability”. FSTCS International Symposium on Theoretical Computer Science, Madras, LNCS 880:1–14.

    Google Scholar 

  • de Rougemont M. (1995). The Reliability of Queries. ACM Principles on Databases Systems, 286–191.

    Google Scholar 

  • de Rougemont M. and Schlieder C. (1997). Spatial Navigation with Uncertain Deviations. American Association for Artificial Intelligence.

    Google Scholar 

  • Goldwasser S., Micali S. and Rackoff C. (1985). The Knowledge Complexity of Interactive Poof Systems. Symposium on the Theory of Computing, 291–304.

    Google Scholar 

  • Lassaigne R. & de Rougemont M. (1996). Logique et complexité. Hermès.

    Google Scholar 

  • Levin L. (1973). “Universal Sorting Problems”. Problems of Information Transmission 9(3):265–266.

    Google Scholar 

  • Papadimitriou C. (1985). “Games Against Nature”. Journal of Computer and System Sciences 31:288–301.

    Google Scholar 

  • Papadimitriou C. (1994). Computational Complexity. Addison-Wesley.

    Google Scholar 

  • Sinclair A. (1993). Algorithms for Random Generation and Counting. Birhauser Verlag.

    Google Scholar 

  • Valiant L. (1979). “The Complexity of Enumeration and Reliability Problems”. SIAM Journal of Computing 8(3).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer

About this chapter

Cite this chapter

de Rougemont, M. (2005). Logic, Randomness and Cognition. In: Vanderveken, D. (eds) Logic, Thought and Action. Logic, Epistemology, and the Unity of Science, vol 2. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3167-X_22

Download citation

Publish with us

Policies and ethics