Reasoning Situated in Time I: Basic Concepts

Reasoning Situated in Time I: Basic Concepts (1990)

Cached

Download Links

[www.cs.umd.edu]

by Jennifer J. Elgot-drapkin , Donald Perlis

Citations:

90 - 41 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Reasoning Situated in Time I: Basic Concepts	user correction - Legacy Corrections
AUTHOR NAME	Jennifer J. Elgot-drapkin	user correction - Legacy Corrections
AUTHOR AFFIL	y; Department of Computer Science; College of Engineering and Applied Sciences; Arizona State University	user correction - Legacy Corrections
AUTHOR ADDR	Tempe, AZ 85287-5406	user correction - Legacy Corrections
AUTHOR NAME	Donald Perlis	user correction - Legacy Corrections
AUTHOR AFFIL	z; Department of Computer Science; and; Institute for Advanced Computer Studies; University of Maryland	user correction - Legacy Corrections
AUTHOR ADDR	College Park, MD 20742	user correction - Legacy Corrections
ABSTRACT	The needs of a real-time reasoner situated in an environment may make it appropriate to view error-correction and non-monotonicity as much the same thing. This has led us to formulate situated (or step) logic, an approach to reasoning in which the formalism has a kind of real-time self-reference that affects the course of deduction itself. Here we seek to motivate this as a useful vehicle for exploring certain issues in commonsensereasoning. In particular, a chief drawback of more traditional logics is avoided: from a contradiction we do not have all wffs swamping the (growing) conclusion set. Rather, we seek potentially inconsistent, but nevertheless useful, logics where the real-time self-referential feature allows a direct contradiction to be spotted and corrective action taken, as part of the same system of reasoning. Some specific inference mechanisms for real-time default reasoning are suggested, notably a form of introspection relevant to default reasoning. Special treatment of ...	user correction - Legacy Corrections
YEAR	1990	user correction - Legacy Corrections
CITATIONS	30 found	ParsCit 1.0