Proceedings:
Architectures for Intelligent Theory-Based Agents
Volume
Issue:
Papers from the 2008 AAAI Spring Symposium
Track:
Contents
Downloads:
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.
Spring
Papers from the 2008 AAAI Spring Symposium