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 commonsense reasoning. 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 ''now'' and of contradictions are the main technical devices here. We illustrate this with a computer-implemented real-time solution to R. Moore's Brother Problem. |
Year | DOI | Venue |
---|---|---|
1990 | 10.1080/09528139008953715 | J. Exp. Theor. Artif. Intell. |
Keywords | Field | DocType |
basic concept,commonsense reasoning,error correction,real time | Computer science,Commonsense reasoning,Model-based reasoning,Analytic reasoning,Artificial intelligence,Non-monotonic logic,Deductive reasoning,Reasoning system,Case-based reasoning,Machine learning,Qualitative reasoning | Journal |
Volume | Issue | Citations |
2 | 1 | 51 |
PageRank | References | Authors |
2.84 | 17 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jennifer J. Elgot-Drapkin | 1 | 63 | 4.10 |
Donald Perlis | 2 | 306 | 54.22 |