The Structures of Everyday Life
This note descends from a talk I gave at the AI Lab's Revolving Seminar series in November 1984. I offer it as an informal introduction to some work I've been doing over the last year on common sense reasoning. Four themes wander in and out. 1) Computation provides an observation vocabula...
| Main Author: | |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Online Access: | http://hdl.handle.net/1721.1/41473 |
| _version_ | 1826213394176278528 |
|---|---|
| author | Agre, Philip E. |
| author_facet | Agre, Philip E. |
| author_sort | Agre, Philip E. |
| collection | MIT |
| description | This note descends from a talk I gave at the AI Lab's Revolving Seminar series in November 1984. I offer it as an informal introduction to some work I've been doing over the last year on common sense reasoning. Four themes wander in and out.
1) Computation provides an observation vocabulary for introspection. With a little work, you can learn to exhume your models of everyday activities. This method can provide empirical grounding for computational theories of the central systems of mind.
2) The central systems of mind arise in each of us as a rational response to the impediments to living posed by the laws of computation. One of these laws is that all search problems (theorem proving for example) are intractable. Another is that no one model of anything is good enough for all tasks. Reasoning from these laws can provide theoretical grounding for computational theories of the central systems of mind.
3) Mental models tend to form mathematical lattices under the relation variously called subsumption or generalization. Your mind puts a lot of effort into maintaining this lattice because it has so many important properties. One of these is that the more abstract models provide a normalized decomposition of world-situations that greatly constrains the search for useful analogies.
4) I have been using these ideas in building a computational theory of routines, the frequency repeated and phenomenologically automatic rituals of which most of daily life is made. I describe this theory briefly. |
| first_indexed | 2024-09-23T15:48:23Z |
| format | Working Paper |
| id | mit-1721.1/41473 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T15:48:23Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/414732019-04-10T22:36:32Z The Structures of Everyday Life Agre, Philip E. This note descends from a talk I gave at the AI Lab's Revolving Seminar series in November 1984. I offer it as an informal introduction to some work I've been doing over the last year on common sense reasoning. Four themes wander in and out. 1) Computation provides an observation vocabulary for introspection. With a little work, you can learn to exhume your models of everyday activities. This method can provide empirical grounding for computational theories of the central systems of mind. 2) The central systems of mind arise in each of us as a rational response to the impediments to living posed by the laws of computation. One of these laws is that all search problems (theorem proving for example) are intractable. Another is that no one model of anything is good enough for all tasks. Reasoning from these laws can provide theoretical grounding for computational theories of the central systems of mind. 3) Mental models tend to form mathematical lattices under the relation variously called subsumption or generalization. Your mind puts a lot of effort into maintaining this lattice because it has so many important properties. One of these is that the more abstract models provide a normalized decomposition of world-situations that greatly constrains the search for useful analogies. 4) I have been using these ideas in building a computational theory of routines, the frequency repeated and phenomenologically automatic rituals of which most of daily life is made. I describe this theory briefly. MIT Artificial Intelligence Laboratory 2008-04-28T13:54:22Z 2008-04-28T13:54:22Z 1985-02 Working Paper http://hdl.handle.net/1721.1/41473 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-267 application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Agre, Philip E. The Structures of Everyday Life |
| title | The Structures of Everyday Life |
| title_full | The Structures of Everyday Life |
| title_fullStr | The Structures of Everyday Life |
| title_full_unstemmed | The Structures of Everyday Life |
| title_short | The Structures of Everyday Life |
| title_sort | structures of everyday life |
| url | http://hdl.handle.net/1721.1/41473 |
| work_keys_str_mv | AT agrephilipe thestructuresofeverydaylife AT agrephilipe structuresofeverydaylife |