Neats vs. scruffies
From Wikipedia, the free encyclopedia
In artificial intelligence, the labels neats and scruffies are used to refer to one of the continuing holy wars in artificial intelligence research. This conflict is over a serious concern: what is the best way to design an intelligent system? Neats consider that solutions should be elegant, clear and provably correct. Scruffies believe that intelligence is too complicated (or computationally intractable) to be solved with the sorts of homogeneous system such neat requirements usually mandate.
As is often the case with holy wars, much success in AI has come from combining neat and scruffy approaches. For example, there are many cognitive models matching human psychological data built in Soar (Newell 1990) and ACT-R. Both of these systems have formal representations and execution systems, but the rules put into the systems to create the models are generated ad hoc.
Contents |
[edit] Typical Methodologies
As might be guessed from the terms, neats use formal methods – such as logic or pure applied statistics – exclusively. Scruffies are hackers, who will cobble together a system built of anything – even logic. Neats care whether their reasoning is both provably sound and complete and that their machine learning systems can be shown to converge in a known length of time. Scruffies would like their learning to converge too, but they are happier if empirical experience shows their systems working than to have mere equations and proofs showing that they ought to.
To a neat, scruffy methods appear promiscuous, successful only by accident and unlikely to produce insights about how intelligence actually works. To a scruffy, neat methods appear to be hung up on formalism and to be too slow, fragile or boring to be applied to real systems.
[edit] Relation to Philosophy and Human Intelligence
This conflict goes much deeper than programming practices, (though it clearly has parallels in software engineering). For philosophical or possibly scientific reasons, some people believe that human intelligence is fundamentally rational, and can best be represented by logical systems incorporating truth maintenance. Others believe that human intelligence consists of a mass of learned or evolved hacks, not necessarily having internal consistency or any unifying organizational framework. Ironically, this apparently scruffy philosophy may also turn out to be provably optimal, because intelligence is a form of search, and as such cannot generally be solved perfectly in a reasonable amount of time (see also NP and Simple Heuristics (Gigerenzer & Todd, 1999), commonsense reasoning, memetics, reactive planning).
To further tangle the issue, some AI practitioners do not care about human intelligence. Some writers have equated caring about human intelligence with being neat, but this is probably because they conform to the rational view of human intelligence described earlier. The famous neat John McCarthy has said publicly he has no interest in how human intelligence works, while famous scruffy Rodney Brooks is openly obsessed with creating humanoid intelligence (Brooks 2001).
[edit] Well-Known Neats and Scruffies
Neats
Scruffies
[edit] References
- Anderson, John R. (2005). "Human symbol manipulation within an integrated cognitive architecture". Cognitive Science 29 (3): 313-341.
- Brooks, Rodney A. (2001-01-18). "The Relationship Between Matter and Life". Nature 409: 409–411.
- Gigerenzer, Gerd; Todd, Peter M.; the ABC Research Group (1999). Simple Heuristics That Make Us Smart. Oxford University Press.
- Newell, Alan (1990). Unified Theories of Cognition. Cambridge, Massachusetts: Harvard University Press.
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
