A Model for Deliberation, Action, and Introspection

See this document in CiteSeerX!

A Model for Deliberation, Action, and Introspection (1980) (Make Corrections) (1 citation)
Jon Doyle

View or download:
mit.edu/medg/ftp/doyle/phd80.ps.gz
Cached: PS.gz PS PDF Image Update Help

From: mit.edu/medg/ftp/doyle/ (more)
(Enter author homepages)

Rate this article:

(best)
Comment on this article

(Enter summary)
Abstract: This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program. The basic approach explored is to view reasoning as a species of action, so that a program might apply its reasoning powers to the task of deciding what inferences to make as well as deciding what other actions to take. A design for the architecture of reasoning programs is proposed. This architecture involves self-consciousness, intentional actions, deliberate adaptations, and a... (Update)

Context of citations to this paper: More

.... we concentrate exclusively on the role of expressing desirability as opposed to intentionality (commitment to pursue) (Doyle, 1980) recognizing that the result is only a partial account of the use of goals in planning systems. aamas.tex; 30 05 2000; 14:52; p.34 35...

Cited by: More
Utilitarian Desires - Lang, van der Torre, Weydert (2000) (Correct)

Active bibliography (related documents): More All
3.1: Reflexive Interpreters - Doyle (1978) (Correct)
2.5: Artificial Intelligence and Rational Self-Government - Doyle (1988) (Correct)
2.4: Some Theories of Reasoned Assumptions - An essay in rational.. - Doyle (1983) (Correct)

Similar documents based on text:
80.0: Unknown - (Correct)

BibTeX entry: (Update)

Doyle, J.: 1980, `A model for deliberation, action and introspection'. Technical Report AI-TR-581, MIT AI Laboratory. http://citeseer.ist.psu.edu/doyle80model.html More

@techreport{ doyle80model,
    author = "Jon Doyle",
    title = "A model for deliberation, action, and introspection",
    number = "AI-TR-581",
    address = "Cambridge, Massachusetts",
    year = "1980",
    url = "citeseer.ist.psu.edu/doyle80model.html" }

Citations (may not include all citations):
891 STRIPS: a new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
850 A logic for default reasoning (context) - Reiter - 1979
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
410 Principles of Artificial Intelligence (context) - Nilsson - 1980
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
366 The Sciences of the Artificial (context) - Simon - 1969
343 An Introduction to Metamathematics (context) - Kleene - 1950
334 A truth maintenance system (context) - Doyle - 1979
327 How To Do Things With Words (context) - Austin - 1973
304 A framework for representing knowledge (context) - Minsky - 1975
288 Planning in a hierarchy of abstraction spaces (context) - Sacerdoti - 1974
251 Generating project networks (context) - Tate - 1977
225 Learning and executing generalized robot plans (context) - Fikes, Hart et al. - 1972
200 Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
194 Knowledge and Belief (context) - Hintikka - 1962
185 The calculi of lambda-conversion (context) - Church - 1941
184 Definitional interpreters for higher order programming langu.. (context) - Reynolds - 1972
182 Logic for problem solving (context) - Kowalski - 1974
164 A Structure for Plans and Behavior (context) - Sacerdoti - 1979
160 Programs with common sense - McCarthy - 1968
155 Forward reasoning and dependency-directed backtracking in a .. (context) - Stallman, Sussman - 1977
121 Learning structural descriptions from examples (context) - Winston - 1975
118 Non-monotonic logic (context) - McDermott, Doyle - 1978
95 On computable numbers with an application to the entscheidun.. (context) - Turing - 1936
87 Speech Acts (context) - Searle - 1969
85 First Order Dynamic Logic (context) - Harel - 1979
75 Reasoning about knowledge and action (context) - Moore - 1979
74 Theorem-proving by resolution as a basis for question-answer.. (context) - Green - 1969
74 The Language of Thought (context) - Fodor - 1975
67 Subjective bayesian methods for rulebased inference systems (context) - Duda, Hart et al. - 1976
64 NETL: A System for Representing and Using Real World Knowled.. (context) - Fahlman - 1979
62 Programmer's Manual (context) - McCarthy - 1965
62 Non-monotonic logic II: non-monotonic modal theories (context) - McDermott - 1980
60 A Theory of Human Action (context) - Goldman - 1975
57 A Computer Model of Skill Acquisition (context) - Sussman - 1972
52 Meta-rules: reasoning about control (context) - Davis - 1980
51 Planning and acting (context) - McDermott - 1978
45 a program that simulates human thought (context) - Newell, Simon - 1963
44 Thinglab: a constraint-oriented simulation laboratory (context) - Borning - 1979
43 On knowing what to say: planning speech acts (context) - Cohen - 1978
43 Fuzzy logic and approximate reasoning (context) - Zadeh - 1975
39 Artificial Intelligence Programming (context) - Charniak, Riesbeck et al. - 1979
39 Outline of a Theory of Truth (context) - Kripke - 1975
37 Proofs and Refutations: the logic of mathematical discovery (context) - Lakatos - 1976
35 Cambridge: Cambridge University Press (context) - Nagel - 1979
35 Computer Structures: Readings and Examples (context) - Bell, Newell - 1971
35 Cambridge: Cambridge University Press (context) - Nagel - 1979
35 Lisp machine manual (context) - Weinreb, Moon - 1979
34 Intuitionism: An Introduction (context) - Heyting - 1956
33 The Study of Instinct (context) - Tinbergen - 1951
32 Formal reductions of the general combinatorial decision prob.. (context) - Post - 1943
31 Temporal Logic (context) - Rescher, Urquhart - 1971
30 How a computer should think (context) - Belnap - 1976
30 The Concept of Mind (context) - Ryle - 1949
28 A metalanguage for interactive proof in LCF (context) - Gordon, Milner et al. - 1978
27 Two dogmas of empiricism (context) - Quine - 1953
27 What is it like to be a bat (context) - Nagel - 1979
27 Utterer's meaning and intentions (context) - Grice - 1969
26 Rational decisions (context) - Good - 1973
26 A Theory of Justice (context) - Rawls - 1971
23 GPS: A Case Study in Generality and Problem Solving (context) - Ernst, Newell - 1969
22 The Right and the Good (context) - Ross - 1930
22 A structural paradigm for representing knowledge (context) - Brachman - 1978
21 Understanding goal-based stories (context) - Wilensky - 1978
21 The frame problem and related problems in artificial intelli.. (context) - Hayes - 1973
20 What Computers Can't Do (context) - Dreyfus - 1946
20 What is the Name of this Book (context) - Smullyan - 1978
20 LAMBDA: the ultimate imperative (context) - Steele, Jr - 1976
20 Some problems and non-problems in representation theory (context) - Hayes - 1974
18 Interacting goals and their use (context) - Tate - 1975
17 From Frege to Godel: A Source Book in Mathematical Logic (context) - van Heijenoort - 1967
16 Computer Power and Human Reason (context) - Weizenbaum - 1978
16 Applications of meta level knowledge to the construction (context) - Davis - 1976
15 A planning system for robot construction tasks (context) - Fahlman - 1974
15 Plans and the Structure of Behavior (context) - Miller, Galanter et al. - 1960
15 Philosophy of Logic (context) - Quine - 1970
15 On reasoning by default - Reiter - 1978
14 Psychology of Reasoning: Structure and Content (context) - Wason, Johnson-Laird - 1972
14 Predicate logic: a calculus for deriving programs (context) - Clark, Sickel - 1977
14 Hypothetical Reasoning (context) - Rescher - 1964
14 Computation and deduction (context) - Hayes - 1973
13 The Unprovability of Consistency: An essay in modal logic (context) - Boolos - 1979
13 Production system conflict resolution strategies (context) - McDermott, Forgy - 1976
12 A survey of proof theory (context) - Kreisel - 1968
12 Introduction to Logic (context) - Suppes - 1957
12 Artificial Intelligence and Natural Man (context) - Boden - 1977
11 A three-valued truth maintenance system (context) - McAllester - 1978
11 Administrative Behavior (context) - Simon - 1976
10 Speech acts and multiple environments (context) - Wilks, Bien - 1979
10 Formalization and automatic derivation of code generators (context) - Cattell - 1978
10 Deontic Logic: Introductory and Systematic Readings (context) - Hilpinen - 1971
10 An overview of KRL (context) - Bobrow, Winograd - 1977
10 New York: Wiley (context) - March, Simon - 1958
10 Bach: An Eternal Golden Braid (context) - Hofstader - 1979
9 Initial report on a LISP programmer's apprentice (context) - Rich, Shrobe - 1976
9 Heuristic programming: ill-structured problems (context) - Newell - 1969
9 Foundations of fuzzy reasoning (context) - Gaines - 1976
8 The Web of Belief (context) - Quine, Ullian - 1978
8 Psychological Explanation (context) - Fodor - 1968
8 The ubiquity of discovery (context) - Lenat - 1977
7 The revised report on SCHEME (context) - Steele, Jr - 1978
7 Philosophy of Logics (context) - Haack - 1978
7 Explicit control of reasoning (context) - de Kleer, Doyle et al. - 1977
7 Models for various type-free calculi (context) - Scott - 1973
7 Truisms as the grounds for historical explanations (context) - Scriven - 1959
7 Inspection methods in programming (context) - Rich - 1980
7 Cambridge: Harvard University Press (context) - Lewis - 1973
6 The will to believe (context) - James - 1971
6 Causal and teleological reasoning in circuit recognition (context) - de Kleer - 1979
6 Arithmetization of metamathematics in a general setting (context) - Feferman - 1960
6 Computer models of human personality traits (context) - Carbonell - 1979
6 Plain talk about neurodevelopmental epistemology - Minsky - 1979
6 Organization structuring: designing large complex software (context) - Fox - 1979
6 Values and collective decision-making (context) - Arrow - 1967
6 Distributed problem solving: the contract net approach (context) - Smith, Davis - 1957
6 Interestingness: controlling inferences (context) - Schank - 1978
6 The Interpretation of Dreams (context) - Freud - 1937
5 Artificial Intelligence (context) - Minsky, Papert - 1973
5 Department of Computer Science (context) - Hayes - 1977
5 Network truth maintenance for deduction and modelling (context) - Thompson - 1979
5 Utterance and objective: issues in natural language processi.. (context) - Grosz - 1979
5 Rational belief change (context) - Harper - 1976
5 Counterfactuals without possible worlds (context) - Turner - 1978
5 The Functions of the Executive (context) - Barnard - 1977
5 The Logic of Commands (context) - Rescher - 1966
5 Reference and Modality (context) - Linsky - 1971
5 Dependency networks as a representation for modelling in gen.. (context) - London - 1978
4 Speech acts as a basis for understanding dialogue coherence (context) - Perrault, Allen et al. - 1978
4 Plausible Reasoning (context) - Rescher - 1976
4 Freedom and Reason (context) - Hare - 1963
4 Practical reasoning (context) - Harman - 1976
4 ETHER - a parallel problem solving system (context) - Kornfeld - 1979
4 Monitored execution of robot plans produced by STRIPS (context) - Fikes - 1971
4 The ultra-intuitionistic criticism and the antitraditional p.. (context) - Yessenin-Volpin - 1968
4 A survey of proof theory II (context) - Kreisel - 1971
4 the IFIP Congress (context) - Minsky - 1965
3 The semantic conception of truth and the foundations of sema.. (context) - Tarski - 1944
3 New York: Basic Books (context) - Nozick - 1974
3 Action and Purpose (context) - Taylor - 1966
3 A logic of actions (context) - Hayes - 1971
3 Towards a foundation of general proof theory (context) - Prawitz - 1973
3 Philosophy and our mental life (context) - Putnam - 1975
3 On Human Nature (context) - Wilson - 1978
3 Practical Reasoning (context) - Raz - 1978
3 Hypothesis formation and evaluation in medical diagnosis (context) - Rubin - 1975
3 Special issue on knowledge representation (context) - Brachman, Smith - 1980
3 Strategy and Structure: Chapters in the History of the Indus.. (context) - Chandler - 1962
3 Theory of Action (context) - Davis - 1979
3 Knowledge: undefeated justified true belief (context) - Lehrer, Paxson - 1969
3 The origin and resolution of ambiguities in causal arguments (context) - de Kleer - 1979
3 Description and theoretical analysis (context) - Hewitt - 1972
3 A logic for subjective belief (context) - Giles - 1976
3 and Natural Kinds (context) - Schwartz - 1977
3 Towards a programming apprentice (context) - Hewitt, Smith - 1975
3 New issues in the logic of explanation (context) - Scriven - 1963
2 A selected descriptor-indexed bibliography to the literature.. (context) - Doyle, London - 1980
2 The theory of meaning (context) - Brown - 1977
2 or the modularity complex (context) - Steele, Jr - 1978
2 A Management Guide to PERT/ CPM: with GERT/ PDM/ DCPM and ot.. (context) - Wiest, Levy - 1977
2 Management: Tasks (context) - Drucker - 1974
2 Representation of actions that have side-effects (context) - Sridharan, Hawrusik - 1977
2 The Possibility of Altruism (context) - Nagel - 1970
2 Deductive retrieval mechanisms for state description models (context) - Fikes - 1975
2 Hierarchy in knowledge representations (context) - Doyle - 1977
2 competenceperformance dichotomy programming - competence, in et al. - 1977
2 A Compiler Generator (context) - McKeeman, Horning et al. - 1970
2 Dependency directed reasoning for complex program understand.. (context) - Shrobe - 1979
2 Practical reasoning and rational appetite (context) - Kenny - 1978
2 The intentionality of intention and action (context) - Searle - 1979
2 A Theory of Reasons for Action (context) - Richards - 1971
2 How to Win Friends and Influence People (context) - Carnegie - 1936
2 The Conquest of Happiness (context) - Russell - 1930
2 Production systems as a programming language for artificial .. (context) - Rychner - 1976
2 The Cultural Contradictions of Capitalism (context) - Bell - 1976
2 The Sot-Weed Factor (context) - Barth - 1960
2 Being and Nothingness (context) - Sartre - 1956
2 Fragments of a theory of human plausible reasoning (context) - Collins - 1978
2 A theory of conclusions (context) - Dacey - 1978
2 Topics in Philosophical Logic (context) - Rescher - 1968
2 Theoretical impediments to artificial intelligence (context) - Rabin - 1974
1 Englewood Cliffs: Prentice-Hall (context) - Taylor - 1974
1 Reasons for Actions (context) - Norman - 1971
1 Brain bisection and the unity of consciousness (context) - Nagel - 1979
1 A survey of contemporary learning theories (context) - Suppes - 1977
1 Decision theory (context) - Suppes - 1967
1 Methodological solipsism as a research strategy in psycholog.. (context) - Fodor - 1978
1 Knowledge structuring: an overview (context) - Fox - 1978
1 Philosophical Logic (context) - Strawson - 1967
1 Planning with constraints (context) - Steele, Jr et al. - 1980
1 The Society Theory of Mind (context) - Minsky, Papert - 1963
1 Reason and Action (context) - Aune - 1977
1 The Rest of the Robots (context) - Asimov - 1964
1 The Philosophy of History (context) - Gardiner - 1974
1 Practical Reasoning (context) - Gauthier - 1963
1 Affective exploitation: a view of emotion and intellect (context) - Minsky - 1980
1 On semantic nets (context) - Ph - 1977
1 Focus of attention in the Hearsay-II speech understanding sy.. (context) - Hayes-Roth, Lesser - 1977
1 New York: Gnome Press (context) - Asimov - 1950
1 The Moon is a Harsh Mistress (context) - Heinlein - 1975
1 Qualitative knowledge (context) - Brown - 1976

[Article contains additional citations not shown here]

Documents on the same site (http://groups.csail.mit.edu/medg/ftp/doyle/): More
The Architecture of MAITA - A Tool For Monitoring.. - Doyle, Kohane, Long, .. (1999) (Correct)
Methodological Simplicity in Expert System Construction - The Case .. - Doyle (1983) (Correct)
The Foundations Of Psychology: A . . . - Doyle (1982) (Correct)

Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback

CiteSeer.IST - Copyright Penn State and NEC