Oscar

Journal of Applied Non-Classical Logics 6 (1):89-113 (1996)
  Copy   BIBTEX

Abstract

OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author’s work in philosophy concerning epistemology and practical cognition. The seminal idea is that a generally intelligent agent must be able to function in an environment in which it is ignorant of most matters of fact. The architecture incorporates a general-purpose defeasible reasoner, built on top of an efficient natural deduction reasoner for first-order logic. It is based upon a detailed theory about how the various aspects of epistemic and practical cognition should interact, and many of the details are driven by theoretical results concerning defeasible reasoning. The architecture is easily extensible by changing the set of inference schemes supplied to the reasoner. Existing inference schemes handle many kinds of epistemic cognition, including reasoning from perceptual input, causal reasoning and the frame problem, and reasoning defeasibly about probabilities. Work is underway to implement a system of defeasible decisiontheoretic planning.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
51 (#227,934)

6 months
1 (#415,205)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Defeasible Reasoning and Degrees of Justification.John L. Pollock † - 2010 - Argument and Computation 1 (1):7-22.

Add more citations

References found in this work

A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Defeasible Reasoning.John L. Pollock - 1987 - Cognitive Science 11 (4):481-518.
Contemporary Theories of Knowledge.John Pollock - 1986 - British Journal for the Philosophy of Science 39 (1):131-140.
The Paradox of the Preface.David C. Makinson - 1965 - Analysis 25 (6):205-207.

View all 12 references / Add more references