Jennifer J. Elgot-Drapkin  Home/Search
Context
Related
| umd.edu/projects/a...le.aaai92.wkshp.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umd.edu/projects/active/biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Because humans must deal in a world about which we have incomplete knowledge, humans often use default reasoning: in the absence of information to the contrary assume such and such. For example, upon being told that Tweety is a bird, and knowing that typically birds fly, we might conclude that Tweety flies. When we then discover that Tweety is in fact a penguin (and knowing that penguins typically do not fly), we retract our belief that Tweety flies. Humans do this type of... (Update)
Similar documents (at the sentence level):
5.4%: Active Logics: A Unified Formal Approach to Episodic.. - Elgot-Drapkin, Kraus, .. (Correct)
Active bibliography (related documents): More All
0.6: Step-logic and the Three-wise-men Problem - Elgot-Drapkin (1991) (Correct)
0.3: A Modal Active-Logic with Focus of Attention for Reasoning in Time - Globerman (1997) (Correct)
0.3: Reasoning Situated in Time I: Basic Concepts - Elgot-Drapkin, Perlis (1990) (Correct)
Similar documents based on text: More All
0.4: EIL: An Exceptional Approach to Nonmonotonic Reasoning - Al-Asady, Narayanan (Correct)
0.4: Statistical Foundations for Default Reasoning - Bacchus, Grove, Halpern, Koller (1993) (Correct)
0.4: A Connectionist Model of Nonmonotonic Reasoning: Handling.. - Bodén, Narayanan (Correct)
BibTeX entry: (Update)
@misc{ elgot-drapkin-using,
author = "Jennifer J. Elgot-Drapkin",
title = "Using Step-Logic For Tractable Non-Monotonic Inference - Research Summary",
url = "citeseer.ist.psu.edu/elgot-drapkin92using.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980
451 Circumscription-a form of non-monotonic reasoning (context) - McCarthy - 1980
334 A truth maintenance system (context) - Doyle - 1979
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1983
161 A logic of implicit and explicit belief (context) - Levesque - 1984
125 An assumption-based TMS (context) - deKleer - 1986
118 Non-monotonic logic (context) - McDermott, Doyle - 1980
24 On epistemic logic and logical omniscience (context) - Vardi - 1986
20 Step-logic: Reasoning Situated in Time (context) - Elgot-Drapkin - 1988
19 Belief and incompleteness (context) - Konolige - 1984
15 the consistency of commonsense reasoning (context) - Perlis - 1986
15 The computational value of nonmonotonic reasoning - Ginsberg - 1991
14 Steps towards a first-order logic of explicit and implicit b.. (context) - Lakemeyer - 1986
9 Steplogics: An alternative approach to limited reasoning (context) - Drapkin, Perlis - 1986
5 Reasoning situated in time I: Basic concepts - Elgot-Drapkin, Perlis - 1990
4 and time: The step-logic approach (context) - Elgot-Drapkin, Miller et al. - 1991
1 Stop the world---I want to think - Perlis, Elgot-Drapkin et al. - 1991
1 Step-logic as tractable non-monotonic inference just got bet.. (context) - Elgot-Drapkin - 1992
Documents on the same site (http://www.cs.umd.edu/projects/active/biblio.html): More
Active Logic and Heim's Rules for Updating Discourse Context - John Gurney (1995) (Correct)
Assessing Others' Knowledge and Ignorance - Kraus, Perlis (1989) (Correct)
A Real-time Solution to the Wise-men Problem - Elgot-Drapkin (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC