Opening book details…
Can I read Comprehending Software Correctness Implies Comprehending an Intelligence-related Limitation on EtoBox?
Comprehending Software Correctness Implies Comprehending an Intelligence-related Limitation by Arthur Charlesworth is a Computer Science article available to read on EtoBox.
What is Comprehending Software Correctness Implies Comprehending an Intelligence-related Limitation about?
This article applies mathematical logic to obtain a rigorous foundation for previous inherently nonrigorous results and also extends those previous results. Roughly speaking, our main theorem states: any agent A that comprehends the correctness-related properties of software __S__ also comprehends an intelligence-related limitation of __S__ . The theorem treats the output of __S__ , if any, as an attempt at solving a halting problem. Previous nonrigorous attempts to obtain similar theorems depend on infallibility assumptions on both the agent and the software. The hypothesis that intelligent agents and intelligent software must be infallible has been widely questioned. In addition, recent work by others has determined that well-known previous attempts use a fallacious form of reasoning; that is, the same form of reasoning can yield paradoxical results. Our main theorem avoids infallibility assumptions on both the agent and the software. In addition, our proof is rigorous, in the sense that in principle one can carry it out in Zermelo-Fraenkel set theory. The software correctness framework considered in the main theorem is that of Hoare logic.
Who reads Comprehending Software Correctness Implies Comprehending an Intelligence-related Limitation?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Arthur Charlesworth
- Publisher
- ACM
- Published
- 2006
- Language
- EN
- Field
- Computer Science (Physical Sciences)