A F o r m a l i z a t i o n of t h e Turing Test* (The Turing Test as an Interactive Proof System) P h i l l i p G. B r a d f o r d t Indiana University D e p a r t m e n t of C o m p u t e r Science 215 L i n d l e y Hall B l o o m i n g t o n , I n d i a n a 47405 bradford@cs.indiana.edu Michael W o l l o w s k i Indiana University D e p a r t m e n t of C o m p u t e r Science 215 L i n d l e y Hall B l o o m i n g t o n , I n d i a n a 47405 wollowsk@cs.indiana.edu Abstract Alan Turing proposed an interactive test to replace the question "Can machines think?" This test has become known as the Turing Test and its validity for determining intelligence or thinking is still in question. Struggling with the validity
/lp/association-for-computing-machinery/a-formalization-of-the-turing-test-0VRshIJeOD