A Proof and Some Representations
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Authors
Colleges, School and Institutes
Abstract
Hilbert defined proofs as derivations from axioms via the modus ponens rule and variable instantiation (this definition has a certain parallel to the ‘recognise-act cycle’ in artificial intelligence). A pre-defined set of rules is applied to an initial state until a goal state is reached. Although this definition is very powerful and it can be argued that nothing else is needed, the nature of proof turns out to be much more diverse, for instance, changes in representation are frequently done. We will explore some aspects of this by McCarthy’s ‘mutilated checkerboard’ problem and discuss the tension between the complexity and the power of mechanisms for finding proofs.
Details
Original language | English |
---|---|
Title of host publication | From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition |
Subtitle of host publication | A Collection in Honour of Aaron Sloman |
Editors | Jeremy L Wyatt, Dean D Petters, David Hogg |
Publication status | Published - 11 Jul 2014 |
Publication series
Name | Cognitive Systems Monographs |
---|---|
Publisher | Springer |
Volume | 22 |
ISSN (Print) | 1867-4925 |