John McCarthy  Home/Search
Context Related
| stanford.edu/jmc/applications.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: stanford.edu/jmc/applications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. The applications in this paper are mostly based on minimizing the abnormality of different aspects of various entities. Included are nonmonotonic treatments of is-a hierarchies, the unique names hypothesis, and the frame problem. The new circumscription may be called formula circumscription to... (Update)
Cited by: More
Artificial Intelligence and Rational Self-Government - Doyle (1988) (Correct)
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (Correct)
Representing Action: Indeterminacy and Ramifications - Giunchiglia, Kartha, Lifschitz (1997) (Correct)
Active bibliography (related documents): More All
0.5: HOL - A Machine Oriented Formulation of Higher Order Logic - Gordon (2001) (Correct)
0.0: Non-monotonic Reasoning vs. Logic Programming: A New Perspective - Przymusinski (1987) (Correct)
0.0: An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993) (Correct)
Similar documents based on text: More All
0.7: Circumscription and Disjunctive Logic Programming - Minker, Lobo, Rajasekar (1991) (Correct)
0.7: Point-Sensitive Circumscription - Amir (1997) (Correct)
0.7: An Efficient Method for Eliminating Varying Predicates.. - Cadoli, Eiter, Gottlob (1992) (Correct)
Related documents from co-citation: More All
51: Circumscription -- a form of non-monotonic reasoning (context) - McCarthy - 1980
32: A Logic for Default Reasoning (context) - Reiter - 1980
31: Negation as Failure (context) - Clark - 1978
BibTeX entry: (Update)
John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26(3):89--116, 1986. Reproduced in [23]. http://citeseer.ist.psu.edu/mccarthy86applications.html More
@incollection{ mccarthy90applications,
author = "John McCarthy",
title = "Applications of Circumscription to Formalizing Common Sense Knowledge",
booktitle = "Formalizing Common Sense: Papers by {J}ohn {M}c{C}arthy",
publisher = "Ablex Publishing Corporation",
address = "Norwood, New Jersey",
editor = "Vladimir Lifschitz",
pages = "198--225",
year = "1990",
url = "citeseer.ist.psu.edu/mccarthy86applications.html" }
Citations (may not include all citations):850 A Logic for Default Reasoning (context) - Raymond
663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - John, Hayes - 1969
451 Circumscription --- A Form of Non-Monotonic Reasoning (context) - John - 1980
166 Computing Circumscription (context) - Vladimir - 1985
160 Programs with Common Sense - John - 1959
36 Equality and domain closure in first order data bases (context) - Raymond - 1980
28 Circumscription Implies Predicate Completion (context) - Raymond - 1982
26 A Decidable Fragment of Predicate Calculus (context) - Jussi, Weyhrauch - 1984
24 the Adequacy of Predicate Circumscription for Closed-World R.. (context) - Etherington, Mercer et al. - 1985
2 EKL --- An Interactive Proof Checker (context) - Jussi, Weening - 1984
1 Munich and Vienna (context) - Verlag - 1982
The graph only includes citing articles where the year of publication is known.
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