A Popperian Falsification of AI - Lighthill's Argument Defended

04/23/2017
by   Steven Meyer, et al.
0

The area of computation called artificial intelligence (AI) is falsified by describing a previous 1972 falsification of AI by British applied mathematician James Lighthill. It is explained how Lighthill's arguments continue to apply to current AI. It is argued that AI should use the Popperian scientific method in which it is the duty of every scientist to attempt to falsify theories and if theories are falsified to replace or modify them. The paper describes the Popperian method in detail and discusses Paul Nurse's application of the method to cell biology that also involves questions of mechanism and behavior. Arguments used by Lighthill in his original 1972 report that falsifed AI are discussed. The Lighthill arguments are then shown to apply to current AI. The argument uses recent scholarship to explain Lighthill's assumptions and to show how the arguments based on those assumptions continue to falsify modern AI. An iimportant focus of the argument involves Hilbert's philosophical programme that defined knowledge and truth as provable formal sentences. Current AI takes the Hilbert programme as dogma beyond criticism while Lighthill as a mid 20th century applied mathematician had abandoned it. The paper uses recent scholarship to explain John von Neumann's criticism of AI that I claim was assumed by Lighthill. The paper discusses computer chess programs to show Lighthill's combinatorial explosion still applies to AI but not humans. An argument showing that Turing Machines (TM) are not the correct description of computation is given. The paper concludes by advocating studying computation as Peter Naur's Dataology.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/12/2020

Argument Schemes for Explainable Planning

Artificial Intelligence (AI) is being increasingly used to develop syste...
research
01/07/2021

Argument Schemes and Dialogue for Explainable Planning

Artificial Intelligence (AI) is being increasingly deployed in practical...
research
09/14/2021

AI, orthogonality and the Müller-Cannon instrumental vs general intelligence distinction

The by now standard argument put forth by Yudkowsky, Bostrom and others ...
research
12/15/2022

Online Handbook of Argumentation for AI: Volume 3

This volume contains revised versions of the papers selected for the thi...
research
12/04/2020

The Managerial Effects of Algorithmic Fairness Activism

How do ethical arguments affect AI adoption in business? We randomly exp...
research
03/07/2019

Modelling Competing Legal Arguments using Bayesian Model Comparison and Averaging

Bayesian models of legal arguments generally aim to produce a single int...
research
05/08/2017

An Anthropic Argument against the Future Existence of Superintelligent Artificial Intelligence

This paper uses anthropic reasoning to argue for a reduced likelihood th...

Please sign up or login with your details

Forgot password? Click here to reset