|Abstract||Proceedings of the 2008 AAAI Spring Symposium on Architectures for Intelligent Theory-Based Agents. “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.”.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
John L. Pollock (1991). Self-Defeating Arguments. Minds and Machines 1 (4):367-392.
Lawrence Cavedon (1998). Default Reasoning as Situated Monotonic Inference. Minds and Machines 8 (4):509-531.
John Zeleznikow, George Vossos & Daniel Hunter (1993). The IKBALS Project: Multi-Modal Reasoning in Legal Knowledge Based Systems. [REVIEW] Artificial Intelligence and Law 2 (3):169-203.
Robert L. Causey (1991). The Epistemic Basis of Defeasible Reasoning. Minds and Machines 1 (4):437-458.
Added to index2009-01-28
Total downloads3 ( #212,976 of 722,698 )
Recent downloads (6 months)1 ( #60,006 of 722,698 )
How can I increase my downloads?