Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >

Please use this identifier to cite or link to this item:

This item has been viewed 25 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
BundyA_A Subsumption Architecture.pdf368.41 kBAdobe PDFView/Open
Title: A Subsumption Architecture for Theorem Proving?
Authors: Bundy, Alan
Dennett, D.
Issue Date: Oct-1994
Journal Title: Philosophical Transactions: Physical Sciences and Engineering
Volume: 349
Issue: 1689
Page Numbers: 71-85
Publisher: The Royal Society
Abstract: Brooks has criticized traditional approaches to artificial intelligence as too ineffi- cient. In particular, he has singled out techniques involving search as inadequate to achieve the fast reaction times required by robots and other AI products that need to work in the real world. Instead he proposes the subsumption architecture as an overall organizing principle. This consists of layers of behavioural modules, each of which is capable of carrying out a complete (usually simple) task. He has employed this architecture to build a series of simple mobile robots, but he claims that it is appropriate for all AI products. Brooks's proposal is usually seen as an example of nouvelle AI, in contrast to good old-fashioned AI (GOFAI). Automatic theorem proving is the archetypal example of GOFAI. The resolution theorem proving technique once served as the engine of AI. Of all areas of AI it seems the most difficult to implement using Brooks's ideas. It would thus serve as a keen test of Brooks's proposal to explore to what extent the task of theorem proving can be achieved by a subsumption architecture. Tactics are programs for guiding a theorem prover. They were introduced as an efficient alternative to search-based techniques. In this paper I compare recent work on tactic-based theorem proving with Brooks's proposals and show that, surprisingly, there is a similarity between them. It thus seems that the distinction between nouvelle AI and GOFAI is not so great as is sometimes claimed. However, this exercise also identifies some criticisms of Brooks's proposal.
ISSN: 0962-8428
Appears in Collections:Informatics Publications

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy