2014/07/17 by Robert Cowen, Cowen, Robert
Computer Science · #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Other Computer Science (cs.OH) #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.OH
paper · pdf · doi:10.48550/arxiv.1407.6255
This article will appear in a book on Self-Referential Reasoning dedicated to Raymond Smullyan
arxiv created 2014/07/17 · openalex publication_date 2014/07/17 · arxiv updated 2014/07/24 · openalex created_date 2022/02/24 · openalex updated_date 2026/07/28
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.