OSCAR: a general theory of rationality

@article{Pollock1989OSCARAG,
  title={OSCAR: a general theory of rationality},
  author={J. Pollock},
  journal={J. Exp. Theor. Artif. Intell.},
  year={1989},
  volume={1},
  pages={209-226}
}
  • J. Pollock
  • Published 1989
  • Computer Science
  • J. Exp. Theor. Artif. Intell.
  • Abstract The enterprise is the construction of a general theory of rationality, and its implementation in an automated reasoning system named OSCAR. The paper describes a general architecture for rational thought. This includes both theoretical reasoning and practical reasoning, and builds in important interconnections between them. It is urged that a sophisticated reasoner must be an introspective reasoner, capable of monitoring its own reasoning and reasoning about it. An introspective… CONTINUE READING
    58 Citations

    Topics from this paper.

    A General-Purpose Defeasible Reasoner
    • J. Pollock
    • Mathematics, Computer Science
    • J. Appl. Non Class. Logics
    • 1996
    • 18
    Inquirers: A general model of non-ideal rational agents
    Overloading Intentions for Efficient Practical Reasoning
    • 50
    The Referential Basis of Abduction and Logic
    • 1
    Rationality, function, and content
    • 1
    A situation-theoretic account of nonmonotonic reasoning
    • A. Gillies
    • Computer Science
    • J. Exp. Theor. Artif. Intell.
    • 1998

    References

    SHOWING 1-10 OF 31 REFERENCES
    A Logical Framework for Default Reasoning
    • D. Poole
    • Mathematics, Computer Science
    • Artif. Intell.
    • 1988
    • 854
    • PDF
    On the Comparison of Theories: Preferring the Most Specific Explanation
    • 262
    • PDF
    An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report
    • 218
    • PDF
    Semantical Considerations on Nonmonotonic Logic
    • R. Moore
    • Mathematics, Computer Science
    • IJCAI
    • 1983
    • 1,236
    • PDF
    Defeasible Reasoning: A Philosophical Analysis in Prolog
    • 92
    Formalizing Nonmonotonic Reasoning Systems
    • 186
    A Logic for Default Reasoning
    • R. Reiter
    • Mathematics, Computer Science
    • Artif. Intell.
    • 1980
    • 4,220
    • PDF
    On reasoning by default
    • 164
    • PDF
    A Truth Maintenance System
    • J. Doyle
    • Computer Science
    • Artif. Intell.
    • 1979
    • 2,020
    • PDF