Skip to main content
SpringerLink
Log in

Adaptive Fault Diagnosis using Self-Referential Reasoning

  • Chapter
  • First Online:
Book cover Raymond Smullyan on Self Reference

Part of the book series: Outstanding Contributions to Logic ((OCTR,volume 14))

  • 401 Accesses

Abstract

The problem is to determine which processors are reliable in a remote location by asking“Yes or No” questions. The processors are of three types: those that always tell the truth, those that always lie, and those the sometimes tell the truth and sometimes lie. Using self-referential reasoning, along with earlier techniques, we can regard both the truth-tellers and liars as reliable and thus the tackle situations when fewer than half the processors are truth-tellers.

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

References

  • Alonso, L., Chassaing, P., Reingold, E., & Schott, R. (2004). The worst-case chip problem. Information Processing Letters, 89, 303–308.

    Article  Google Scholar 

  • Alonso, L., Riengold, E., & Scott, R. (1993). Determining the majority. Information Processing Letters, 47(5), 253–255.

    Article  Google Scholar 

  • Blecher, P. M. (1983). On a logical problem. Discrete Math, 43, 107–110.

    Article  Google Scholar 

  • Hakimi, S. L., & Nakajima, K. (1984). On adaptive system diagnosis. IEEE Transactions on Computers, 33, 234–240.

    Article  Google Scholar 

  • Hakimi, S. L., & Shmeichel, E. F. (1984). An adaptive algorithim for system level diagnosis. Journal of Algorithms, 5, 526–530.

    Article  Google Scholar 

  • Saks, M. E., & Werman, M. (1991). On computing majority by comparisons. Combinatorica, 11, 383–387.

    Article  Google Scholar 

  • Smullyan, R. (1978). What is the Name of this Book?. Englewood Cliffs, NJ: Prentice Hall.

    Google Scholar 

  • Smullyan, R. (1992). Satan, cantor and infinity. Knopf Inc, New York, NY: Alfred A.

    Google Scholar 

  • Smullyan, R. (2009). Logical Labyrinths. Peters, Wellsley, MA: A.K.

    Google Scholar 

  • Taschuk, S. (2012). http://math.stackexchange.com/questions/115823/

  • Wildon, M. (2010). Knights, spies, games and ballot sequences. Discrete Mathematics, 310, 2974–2983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Queens College, CUNY, New York, USA

    Robert Cowen

Authors
  1. Robert Cowen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robert Cowen .

Editor information

Editors and Affiliations

  1. City University of New York (CUNY) System, City University of New York, New York City, New York, USA

    Melvin Fitting

  2. NYC Department of Education, Brooklyn, New York, USA

    Brian Rayman

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Cowen, R. (2017). Adaptive Fault Diagnosis using Self-Referential Reasoning. In: Fitting, M., Rayman, B. (eds) Raymond Smullyan on Self Reference. Outstanding Contributions to Logic, vol 14. Springer, Cham. https://doi.org/10.1007/978-3-319-68732-2_3

Download citation

Publish with us

Policies and ethics

Search

Navigation