Exclusive

Turing Test ‘reworked for programmers’, predicts Hoare

26 June 2012
Chris Edwards
Mobile version
Share |
Professor Sir Tony Hoare

Professor Sir Tony Hoare, Microsoft: programs of the future will be written by collaboration, taking the particular skills of each of the human and computer parties.

Credit: Chris Edwards

Professor Sir Tony Hoare has proposed an alternative Turing Test that could yield more effective tools for software developers at a prestige conference dedicated to the developer of arguably the famous method for assessing the quality of artificial intelligence.

Speaking at the Alan Turing Centenary Conference in Manchester, Hoare, principal researcher at Microsoft Research in Cambridge, asked whether computers can understand their own programs – and how long it might take for that to become possible.

“Turing predicted that within 50 years that a machine would pass his test: it seems a little nearer now than when he made that prediction," Hoard said. "If I had to make a 50-year prediction, this would be it: that a computer could understand its own program and assist the programmer to make changes and improvements,”

Hoare added: “This engineering version of the Turing Test would involve an interactive examination of the machine on a single topic – its own program – for as long as desired. The machine would not have to answer all of the questions. For his test, Turing showed that the computer will always have some questions it can’t answer.”

Hoare said the computer would be expected to answer questions such as whether the program it is running could overflow a buffer. “And if so, give a test case that shows the error. It would also be able to generate test cases that exercise all the changes recently made to the program and answer whether a certain change would make the program slower.”

Hoard predicted that "programs of the future will be written by collaboration, taking the particular skills of each of the parties [human and computer]. The human understands the real world, who will use the program and its commercial value. The computer understands the detail of the program and the consequences of changing it.”

Hoare explained that progress is being made to towards this end as computers are increasingly being called upon not just to demonstrate mathematical proofs but generate them. An example is the attempt to prove the Kepler conjecture on the most efficient packing of spheres. “The FlySpeck project aims to provide a completely computerised proof. In this work, there is a collaboration between human and computer, but it is very asymmetric,” he said.

Hoare stressed that understanding does not mean the computer would be able to reflect on the meaning of the program in the way a human would. “My version of the Turing Test doesn’t give much support to Alan Turing’s hope that we could make a computer that thinks.”

More Information:
http://www.turing100.manchester.ac.uk/
http://eandt.theiet.org/news/2012/may/alan-turing.cfm
http://research.microsoft.com/en-us/people/thoare/

Latest Issue

E&T cover image 1605

"We visit Barcelona, one of the smartest cities in the world, to find out what makes it so special. What does it look like and what is the future?"

E&T jobs

  • Senior Development Engineer, Electronics

    Premium job

    Helmet Integrated Systems / Gentex Corporation
    • Letchworth Garden City, Hertfordshire
    • Competitive

    We are an innovative, robust and fast growing business, whose main focus is to deliver continues improvement to existing products and offer new sol..

    • Recruiter: Helmet Integrated Systems / Gentex Corporation

    Apply for this job

  • Smart Grid Research Engineer

    Premium job

    University of Strathclyde
    • Cumbernauld, Glasgow
    • Grade: 6/7* £26,537 - £37,768*

    Work as part of a growing dynamic team on a wide range of technical projects with particular emphasis on experimental validation and testing

    • Recruiter: University of Strathclyde

    Apply for this job

  • Electrical Asset Specialist

    Affinity Water
    • Hatfield, Hertfordshire

    Responsible for updating and writing electrical engineering standards, approved codes of practice and safe systems of work

    • Recruiter: Affinity Water

    Apply for this job

  • Senior Electronics Engineer

    York Instruments
    • York, North Yorkshire

    Senior electronics engineer to work as part of a team developing an MEG imaging system; working with the engineering team and external contractors.

    • Recruiter: York Instruments

    Apply for this job

  • Manufacturing Engineer - Circuit Card Assembly

    MBDA
    • Lostock Junction
    • Competitive Salary & Benefits

    What’s the opportunity?   Manufacturing UK is an integral part of the Operations Directorate whose principal mission is to ensure that MBDA’s deliverable commitments are met...

    • Recruiter: MBDA

    Apply for this job

  • High Voltage Engineer

    Premium job

    Essex X-Ray & Medical Equipment
    • Great Dunmow, Essex

    This High Voltage Engineer will provide design leadership for high voltage cable assemblies up to one megavolt.

    • Recruiter: Essex X-Ray & Medical Equipment

    Apply for this job

  • Team Leader - Flank Arrays

    BAE Systems
    • Barrow-In-Furness, Cumbria, England
    • Negotiable

    Team Leader - Flank Arrays Would you like to work in a unique role within the construction of the Astute Class submarines? We currently have a vacancy for a Team Leader - Flank Arrays at our site in Barrow-in-Furness. As a Team Leader - Flank Arrays, you

    • Recruiter: BAE Systems

    Apply for this job

  • Electronics and Software Engineer

    Copley Scientific Ltd
    • Nottingham
    • circa £35,000 per annum + bonus

    Develop new test equipment for the pharmaceutical industry. Good opportunities to grow and develop. Successful family-owned and managed business.

    • Recruiter: Copley Scientific Ltd

    Apply for this job

  • Intelligent Transport Systems Engineer - Highways Technology

    Premium job

    Mott MacDonald
    • Birmingham, West Midlands

    Our transport technology team in Birmingham is currently growing a highly skilled and customer-focused team to...

    • Recruiter: Mott MacDonald

    Apply for this job

  • Analogue Electronics Engineer

    Premium job

    Swedish Institute of Space Physics (IRF)
    • Uppsala (Stad) (SE)

    The Swedish Institute of Space Institute (IRF) in Uppsala search for an analogue electronics engineer.

    • Recruiter: Swedish Institute of Space Physics (IRF)

    Apply for this job

More jobs ▶

Subscribe

Choose the way you would like to access the latest news and developments in your field.

Subscribe to E&T