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 1606

"Where would Frankenstein and his creative mind fit into today's workplace? Should we fear technological developments or embrace them?"

E&T jobs

  • Design Engineers and Safety Engineers

    Babcock
    • South West England
    • Competitive

    Exciting opportunities have arisen within as we expand to meet the growing demands of the UK Submarine Programme.

    • Recruiter: Babcock

    Apply for this job

  • Principal Consultant

    EA Technology
    • Capenhurst
    • Up to £60k DOE + company bonus, generous pension scheme & benefits package

    EA Technology are recruiting for Experienced Consultants to deliver a broad portfolio of projects within our Smart Interventions Division.

    • Recruiter: EA Technology

    Apply for this job

  • Senior Consultant

    EA Technology
    • Capenhurst
    • Up to £45k DOE + company bonus, generous pension scheme & benefits package

    EA Technology are recruiting for Experienced Consultants to deliver a broad portfolio of projects within our Smart Interventions Division

    • Recruiter: EA Technology

    Apply for this job

  • Mid-Level Electrical Engineer

    Max Fordham LLP
    • London

    We are looking for an electrical engineer with around 4- 6 years of design experience to join and work with an able and talented group of engineers..

    • Recruiter: Max Fordham LLP

    Apply for this job

  • Electrical Training Officer / NVQ 3 Assessor

    Premium job

    JTL
    • Norwich, Norfolk
    • Competitive + Pension + Personal BUPA cover

    As a Qualified Electrician, you know what it takes to complete electrical work to exceptional standards of safety and quality.

    • Recruiter: JTL

    Apply for this job

  • Electrical Training Officer / NVQ 3 Assessor

    Premium job

    JTL
    • Dorchester, Poole or Bournemouth
    • Circa £29,000

    As a Qualified Electrician, you know what it takes to complete electrical work to exceptional standards of safety and quality.

    • Recruiter: JTL

    Apply for this job

  • Electrical Training Officer / NVQ 3 Assessor

    Premium job

    JTL
    • London
    • Competitive + Pension + Personal BUPA cover

    As a Qualified Electrician, you know what it takes to complete electrical work to exceptional standards of safety and quality.

    • Recruiter: JTL

    Apply for this job

  • Project Manager - Eastern Region

    Defence Infrastructure Organisation
    • Woolwich, London
    • £24,362 (plus car, +10% supervisory allowance)

    Opportunity to be at the heart of what SSG will be delivering to its wide and varied client base.

    • Recruiter: Defence Infrastructure Organisation

    Apply for this job

  • Project Manager - South West

    Defence Infrastructure Organisation
    • Shrivenham, Swindon
    • £24,362 (plus car, +10% supervisory allowance)

    The Project Manager would be responsible for remedial and small/medium new project works across the Southwest of England

    • Recruiter: Defence Infrastructure Organisation

    Apply for this job

  • Nuclear Facilities Governance Manager

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

    Nuclear Facilities Governance Manager Would you like to be accountable for all the Nuclear Governance for both existing day to day facilities on the Barrow Site in addition to the Proposed Facilities development which is part of the multi-million pound si

    • Recruiter: BAE Systems

    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