A model for deliberation, action, and introspection

No abstract is available for this paper.

• Publication year

  1981

• Venue

  SGAR

• Publication date

  1981-01-31

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.1145/1056748.1056749
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Possibility of Altruism

  2016cited by this paper
• Learning and Executing Generalized Robot Plans

  1993cited by this paper
• Utterance and Objective: Issues in Natural Language Communication

  1989cited by this paper
• Non-Monotonic Logic I

  1987cited by this paper
• A Logic for Default Reasoning

  1987cited by this paper
• SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

  1987cited by this paper
• The Practice of Philosophy

  1983cited by this paper
• Intentionality: Intention and action

  1983cited by this paper
• Formalization and Automatic Derivation of Code Generators

  1982cited by this paper
• Planning and Debugging in Elementary Programming

  1982cited by this paper
• Logic for problem solving

  1982cited by this paper
• The Theory of Meaning

  1982cited by this paper
• Deontic Logic: Introductory and Systematic Readings

  1981cited by this paper
• The Logic of Frames

  1981cited by this paper
• Inspection methods in programming

  1981cited by this paper
• Counterfactuals without possible worlds

  1981cited by this paper
• Computer aided evolutionary design for software engineering

  1981cited by this paper
• The Lisp Machine manual

  1981cited by this paper
• K-Lines: A theory of Memory

  1980cited by this paper
• A selected descriptor-indexed bibliography to the literature on belief revision

  1980cited by this paper
• Meta-Rules: Reasoning about Control

  1980cited by this paper
• J. C. Latombe (Ed.), Artificial Intelligence and Pattern Recognition in Computer Aided Design

  1980cited by this paper
• This Book Needs No Title

  1980cited by this paper
• INCOMPREHENSIBLE COMPUTER SYSTEMS: KNOWLEDGE WITHOUT WISDOM

  1980cited by this paper
• Methodological solipsism considered as a research strategy in cognitive psychology

  1980cited by this paper
• Principles of Artificial Intelligence

  1980cited by this paper
• Prolegomena to a Theory of Mechanized Formal Reasoning

  1980influential reference
• Special issue on knowledge representation

  1980cited by this paper
• Problem Solving Tactics

  1979cited by this paper
• Speech Acts and Multiple Environments

  1979cited by this paper
• What is the name of this book? : the riddle of Dracula and other logical puzzles

  1979cited by this paper
• Network Truth Maintenance for Deduction and Modelling

  1979cited by this paper
• Failure Processing in a System for Designing Complex Assemblies

  1979cited by this paper
• Theory of Action

  1979cited by this paper
• Computer Models of Human Personality Traits

  1979cited by this paper
• First-Order Dynamic Logic

  1979cited by this paper
• ThingLab: a constraint-oriented simulation laboratory

  1979cited by this paper
• Utterance and objective: issues in natural language communication

  1979cited by this paper
• Dependency Directed Reasoning for Complex Program Understanding

  1979cited by this paper
• Interestingness: Controlling Inferences

  1979cited by this paper
• Godel, Escher, Bach: An Eternal Golden Braid

  1979cited by this paper
• Constraints

  1979cited by this paper
• The Unprovability of Consistency: An Essay in Modal Logic

  1979cited by this paper
• The Origin and Resolution of Ambiguities in Causal Arguments

  1979cited by this paper
• NETL: A System for Representing and Using Real-World Knowledge

  1979cited by this paper
• Causal and Teleological Reasoning In Circuit Recognition

  1979influential reference
• A Truth Maintenance System

  1979cited by this paper
• A new implementation technique for applicative languages

  1979cited by this paper
• ETHER - A Parallel Problem Solving System

  1979cited by this paper
• A Three Valued Truth Maintenance System.

  1978cited by this paper
• Fragments of a Theory of Human Plausible Reasoning

  1978cited by this paper
• Recursive programs as functions in a first order theory

  1978cited by this paper
• Distributed Problem Solving: The Contract Net Approach

  1978cited by this paper
• Understanding Goal-Based Stories

  1978cited by this paper
• The Revised Report on SCHEME: A Dialect of LISP.

  1978cited by this paper
• Speech Acts as a Basis for Understanding Dialogue Coherence

  1978cited by this paper
• On knowing what to say: planning speech acts.

  1978cited by this paper
• On Reasoning by Default

  1978cited by this paper
• Dependency networks as a representation for modelling in general problem solvers.

  1978influential reference
• A Structural Paradigm for Representing Knowledge.

  1978cited by this paper
• Planning and Acting

  1978cited by this paper
• A Metalanguage for interactive proof in LCF

  1978cited by this paper
• A Theorem Prover for Meta Theory

  1978cited by this paper
• Foundations of Probability theory, statistical inference, and statistical theories of science

  1978cited by this paper
• A Theory of Conclusions

  1978cited by this paper
• Philosophy of logics

  1978cited by this paper
• Making and Thinking: A Study of Intelligent Activities

  1978cited by this paper
• The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence

  1978cited by this paper
• Initial Report on a Lisp Programmer's Apprentice

  1978cited by this paper
• The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)

  1978cited by this paper
• Viewing Control Structures as Patterns of Passing Messages

  1977cited by this paper
• Explicit Control of Reasoning

  1977cited by this paper
• Proofs and Refutations: The Logic of Mathematical Discovery

  1977cited by this paper
• On Semantic Nets, Frames and Associations

  1977cited by this paper
• Reasoning About Knowledge and Action

  1977cited by this paper
• Predicate logic: a calculus for deriving programs

  1977influential reference
• Representation of Actions That Have Side-Effects

  1977cited by this paper
• Artificial Intelligence and Natural Man

  1977cited by this paper
• Computers and Thought Lecture: The Ubiquity of Discovery

  1977cited by this paper
• Genesis and Observership

  1977cited by this paper
• A Structure for Plans and Behavior

  1977cited by this paper
• Automatic construction of algorithms and data structures using a knowledge base of programming rules

  1977cited by this paper
• A Transformation System for Developing Recursive Programs

  1977cited by this paper
• The competence/performance dichotomy in programming preliminary report

  1977cited by this paper
• A Survey of Contemporary Learning Theories

  1977cited by this paper
• Foundational problems in the special sciences

  1977cited by this paper
• Naming, necessity, and natural kinds

  1977cited by this paper
• Focus of Attention in the Hearsay-II Speech Understanding System

  1977cited by this paper
• Hierarchy in Knowledge Representations

  1977cited by this paper
• A management guide to PERT/CPM: With GERT/PDM/DCPM and other networks

  1977cited by this paper
• Plain Talk about Neurodevelopmental Epistemology

  1977cited by this paper
• The nature of morality

  1977cited by this paper
• On the Kind of Data Needed for A Theory of Proofs

  1977cited by this paper
• Generating Project Networks

  1977cited by this paper
• Reason and action

  1977cited by this paper
• Names and descriptions

  1977cited by this paper
• Foundations of fuzzy reasoning

  1976cited by this paper
• The Frame and Focus Problems in AI: Discussion in Relation to the Believer System

  1976cited by this paper
• Computer power and human reason

  1976cited by this paper
• The philosophy of mind

  1976cited by this paper

• Toward Human-Level Artificial Intelligence: Representation and Computation of Meaning in Natural Language

  2019cites this paper
• Towards a computational analysis of motives and emotions

  2018influential citation
• Modelling serendipity in a computational context

  2014cites this paper
• Mechanics and Mental Change

  2013cites this paper
• Meta-Cognitive Complex-Valued Relaxation Network and Its Sequential Learning Algorithm

  2013cites this paper
• Mechanics and Mental Change

  2013cites this paper
• Some Theories of Reasoned Assumptions

  2011cites this paper
• Toward a quantitative theory of belief change: Structure, difficulty, and likelihood (a progress report)

  2010cites this paper
• Doyle See Infer Choose Do Perceive Act

  2009cites this paper
• Bounded Rationality

  2009cites this paper
• Active logic semantics for a single agent in a static world

  2008cites this paper
• A Proposal for Research With the Goal of Formulating A Computational Theory of Rational Action

  2008cites this paper
• Review and Experiments on SDMSCue

  2007cites this paper
• A decision network framework for the behavioral animation of virtual humans

  2007cites this paper
• Reasoning with preferences over temporal, uncertain, and conditional statements

  2005cites this paper
• How to decide what to do?

  2005cites this paper
• Metacognition in computation

  2005cites this paper
• Metacognition in computation: A selected history

  2005cites this paper
• Decision-Theoretic Deliberation in Resource Bounded Self-Aware Agents

  2005cites this paper
• Field review: Metacognition in computation: A selected research review

  2005cites this paper
• Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness

  2005cites this paper
• Decisions, Deliberation, and Agent Types CDT - QDT - BDI - 3APL - BOID

  2005cites this paper
• Darwin: A Theorem Prover for the Model Evolution Calculus

  2004cites this paper
• Prospects for Preferences

  2004cites this paper
• Utilitarian Desires

  2002cites this paper
• What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures

  2002cites this paper
• Two Kinds of Conflicts Between Desires (and how to resolve them)

  2001cites this paper
• BDI and QDT: a comparison based on classical decision theory

  2001cites this paper
• Merging Beliefs with Goals A formal analysis based on Merging Operators

  2001cites this paper
• Logical models of argument

  2000cites this paper
• Matter , Mind and Mechanics New models for dynamogenesis and rationality Synopsis of The Mechanical Foundations of Psychology and Economics

  2000cites this paper
• Revised D ected Backtracking

  1999cites this paper
• Background to Qualitative Decision Theory

  1999cites this paper
• Diagnosis and decision making in normative reasoning

  1999cites this paper
• Belief, rationality and inference : a general theory of computational pragmatics

  1998cites this paper
• Process and Policy: Resource‐Bounded NonDemonstrative Reasoning

  1998cites this paper
• Goals , Desires , Utilities and PreferencesLeendert

  1998cites this paper
• Qualitative Decision Theory and Interactive (Extended Abstract)

  1998cites this paper
• Definability and Commonsense Reasoning

  1997influential citation
• Using meta-knowledge within a multilevel framework for KBS development

  1997cites this paper
• An Empirical Study of Computational Introspection: Evaluating Introspective Multistrategy Learning in the Meta-AQUA System

  1996cites this paper
• An image database browser that learns from user interaction

  1996cites this paper
• Introspective multistrategy learning: constructing a learning strategy under reasoning failure

  1996cites this paper
• Automatic classification of office documents: Review of available methods and techniques

  1995cites this paper
• Knowledge representation and reasoning for mixed-initiative planning

  1995cites this paper
• Automatic classification of office documents: Review of available methods and techniques

  1995cites this paper
• Hart's critics on defeasible concepts and ascriptivism

  1995cites this paper
• REASONED ASSUMPTIONS AND RATIONAL PSYCHOLOGY

  1994influential citation
• PROCESS AND POLICY: RESOURCE-BOUNDED NON-DEMONSTRATIVE REASONING

  1993cites this paper
• A planner for the control of problem-solving systems

  1993cites this paper
• Preferential Semantics for Goals

  1991cites this paper
• Decision‐theoretic control of inference for time‐critical applications

  1991cites this paper
• A Logic of Relative Desire (Preliminary Report)

  1991cites this paper
• Automatic acquisition and use of some of the knowledge in physics texts

  1991cites this paper
• SIBYL: a tool for managing group design rationale

  1990cites this paper
• RATIONALITY AND ITS ROLES IN REASONING

  1990cites this paper
• Constructive belief and rational representation

  1989cites this paper
• Decision Representation Language (DRL) and Its Support Environment

  1989cites this paper
• Using hindsight in medical decision making.

  1989cites this paper
• The psychology of knights and knaves.

  1989cites this paper
• Artificial Intelligence and Rational Self-Government

  1988influential citation
• Formulation of tradeoffs in planning under uncertainty

  1988cites this paper
• The dynamic structure of everyday life

  1988cites this paper
• Implicit knowledge and rational representation

  1988cites this paper
• Dynamics of Knowledge Processing in Parallel Systems

  1988cites this paper
• Belief Systems: Ascribing Belief

  1987cites this paper
• Revised Dependencydirected Backtracking for Default Reasoning

  1987cites this paper
• Toward an engineering science of knowledge-based design

  1987cites this paper
• ABSTRACT REASONING AS EMERGENT FROM CONCRETE ACTIVITY

  1987cites this paper
• Logic, rationality, and rational psychology

  1987cites this paper
• Planning for Conjunctive Goals

  1987cites this paper
• The concurrent logic programming language CP: Definition and operational semantics

  1987cites this paper
• Controlling Recursive Inference

  1986cites this paper
• Representing Control Knowledge as Abstract Task and Metarules. ONR Technical Report #15.

  1985cites this paper
• Expert Systems and the "Myth" of Symbolic Reasoning

  1985cites this paper
• An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge

  1985cites this paper
• On conceptual modelling - perspectives from artificial intelligence, databases and programming languages

  1984cites this paper
• Reflection and semantics in LISP

  1984cites this paper
• An overview of Knowledge Representation

  1983cites this paper
• Some theories of reasoned assumptions : an essay in rational psychology

  1983influential citation
• Contexts and Data Dependencies: A Synthesis

  1983cites this paper
• CHAPTER 14 – Review and recapitulation

  1982cites this paper
• The Organization of Expert Systems, A Tutorial

  1982cites this paper
• The Impact of Modelling and Abstraction Concerns on Modern Programming Languages

  1982cites this paper
• Learning and Inductive Inference

  1982cites this paper
• A Temporal Logic for Reasoning About Processes and Plans

  1982cites this paper
• GARI: A Problem Solver That Plans How to Machine Mechanical Parts

  1981cites this paper
• Jokes and the Logic of the Cognitive Unconscious

  1980cites this paper
• RLL-1: A Representation Language Language

  1980cites this paper
• A Representation Language Language

  1980cites this paper
• 2 Three problems in commonsense reasoning

  year unknowncites this paper
• HPP-809 ( Working Paper ) RLL-1 : A Representation Language Language

  year unknowncites this paper