AbstractA rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combine that information with causal information to reason about the changing world. Using the system of defeasible reasoning that is incorporated into the OSCAR architecture for rational agents, a set of reasonschemas is proposed for enabling an agent to perform some of the requisite reasoning. Along the way, solutions are proposed for the Frame Problem, the Qualification Problem, and the Ramification Problem. The principles and reasoning described have all been implemented in OSCAR.
Added to PP
Historical graph of downloads
References found in this work
No references found.
Citations of this work
Towards a Formal Account of Reasoning About Evidence: Argumentation Schemes and Generalisations. [REVIEW]Floris Bex, Henry Prakken, Chris Reed & Douglas Walton - 2003 - Artificial Intelligence and Law 11 (2-3):125-165.
Similar books and articles
The IKBALS Project: Multi-Modal Reasoning in Legal Knowledge Based Systems. [REVIEW]John Zeleznikow, George Vossos & Daniel Hunter - 1993 - Artificial Intelligence and Law 2 (3):169-203.
Using Abstract Resources to Control Reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.