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 1604

"Should the UK's engineers be in or out of Europe? The IET sets out its official position on the EU referendum this week - will you agree?"

->

E&T jobs

  • Solutions Engineer

    Bristol Water
    • United Kingdom
    • £41,000 - 49,000

    We serve a population of over one million people and all the associated businesses in an area of 1,000 square miles centered on Bristol.

    • Recruiter: Bristol Water

    Apply for this job

  • Senior Mechanical Engineer

    Bristol Water
    • United Kingdom
    • £41,000 - 49,000

    We serve a population of over one million people and all the associated businesses in an area of 1,000 square miles centered on Bristol.

    • Recruiter: Bristol Water

    Apply for this job

  • Software Renewals Manager

    BAE Systems
    • Preston, Lancashire, England
    • Negotiable

    Software Renewals Manager Would you like to work in a resourceful and developing role within IT Services? We currently have a vacancy for a Software Renewals Manager at our site in Preston Channel Way. As a Software Renewals Manager, you will be responsi

    • Recruiter: BAE Systems

    Apply for this job

  • Technical Manager

    Aggregate Industries
    • Hulland Ward, Ashbourne
    • Attractive salary plus comprehensive benefits

    A key Technical Manager role driving product improvement and compliance with Aggregate Industries, market leader in Construction Solutions.

    • Recruiter: Aggregate Industries

    Apply for this job

  • Field Application Engineer

    Intel
    • Madrid

    Responsible for giving product presentations to the customer describing how Intel products provide the optimum solution to their application.

    • Recruiter: Intel

    Apply for this job

  • Engineers and Scientists

    European Patent Office
    • Munich and The Hague
    • See job description

    We are looking for Engineers and scientists in various technical fields for our locations in Munich and The Hague.

    • Recruiter: European Patent Office

    Apply for this job

  • Director of Product Management

    EMS Recruitment Group
    • West Yorkshire
    • Circa £70,000 PA + car allowance, excellent benefits including lucrative bonus scheme

    Our client is the undoubted world leader in their field. A highly innovative and progressive specialist electro-mechanical product manufacturer....

    • Recruiter: EMS Recruitment Group

    Apply for this job

  • Electrical Engineer

    Premium job

    Scottish Prison Service
    • Edinburgh, City of Edinburgh
    • £40,654 to £48,579 plus annual supplement of £10,000

    Build Your Engineering Career. The Scottish Prison Service (SPS) is an Agency of the Scottish Government, working in partnership.....

    • Recruiter: Scottish Prison Service

    Apply for this job

  • Sales Electronics Engineer

    Premium job

    Precision Microdrives
    • London (Greater)
    • £25,000 - £30,000 starting salary, inclusive of on-target commissions.

    Precision Microdrives (PMD) is a fast growing technology company that designs, produces and trades miniature electro-mechanical mechanisms

    • Recruiter: Precision Microdrives

    Apply for this job

  • Installation and Commissioning Engineer

    Premium job

    Crest Solutions
    • Corby
    • Competitive

    You will be involved in installation, commissioning & servicing of printing and machine vision related solutions.

    • Recruiter: Crest Solutions

    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