Jon Doyle  Home/Search
Context Related
| mit.edu/ftp/doyle/cid85.ps mit.edu/doyle/publications/cid85.ps mit.edu/medg/ftp/doyle/cid85.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: mit.edu/ftp/doyle/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : We explore some connections between the technique of circumscription in artificial intelligence and the notion of implicit definition in mathematical logic. Implicit definition can be taken as the informal intent, but not necessarily the formal result, of circumscription. This raises some questions for logical theory and suggests some implications for artificial intelligence practice. The principal implication is that when circumscription "works" its conclusions can be explicitly described.... (Update)
Context of citations to this paper: More
...selfknowledge, and self consistency. While some topics in the literature are properly logical ones (for example circumscription see [Doyle 1984]) recent work on reasoned assumptions ( Doyle 1982] indicates that non monotonic logic and reason maintenance are more...
.... early notion of circumscription a solution to this problem, or even credit the older logical theory of implicit definition (Doyle, 1985). The RMS represents mental attitudes (or other representational or procedural items) by structures called nodes that the RMS labels...
Cited by: More
Modal Non Monotonic Reasoning Via Boxed Fixed Points - Gianni Amati Luigia (1996) (Correct)
Circumscription and Generic Mathematical Objects - Bertossi (1992) (Correct)
Definability and Commonsense Reasoning - Amati, Aiello, al. (1996) (Correct)
Active bibliography (related documents): More All
0.3: Issues in Commonsense Set Theory - Pakkan, Akman (1992) (Correct)
0.3: Spatial Reasoning with Propositional Logics - Bennett (1994) (Correct)
0.2: On the Decision Problem for Two-Variable First-Order Logic - Grädel, Kolaitis, Vardi (1997) (Correct)
Similar documents based on text: More All
0.4: Point-Sensitive Circumscription - Amir (1997) (Correct)
0.4: Pointwise Circumscription Revisited - Amir (Correct)
0.4: An Efficient Method for Eliminating Varying Predicates.. - Cadoli, Eiter, Gottlob (1992) (Correct)
Related documents from co-citation: More All
4: Circumscription -- a form of non-monotonic reasoning (context) - McCarthy - 1980
3: Some theories of reasoned assumptions: an essay in rational psychology - Jon
3: Computing Circumscription (context) - Lifschitz - 1985
BibTeX entry: (Update)
J. Doyle. Circumscription and implicit definability. Journal of Automated Reasoning, 1:391--405, 1985. http://citeseer.ist.psu.edu/doyle85circumscription.html More
@article{ doyle85circumscription,
author = "Jon Doyle",
title = "Circumscription and Implicit Definability",
journal = "Journal of Automated Reasoning",
volume = "1",
number = "4",
pages = "391-405",
year = "1985",
url = "citeseer.ist.psu.edu/doyle85circumscription.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
451 Circumscription---a form of non-monotonic reasoning (context) - McCarthy - 1980
297 Applications of circumscription to formalizing common sense .. - McCarthy - 1984
295 On closed world data bases (context) - Reiter - 1978
235 First-Order Logic (context) - Smullyan - 1968
214 Domains for denotational semantics (context) - Scott - 1982
185 On indefinite databases and the closed world assumption (context) - Minker - 1982
181 Mathematical Logic (context) - Shoenfield - 1967
154 Introduction to Artificial Intelligence (context) - Charniak, McDermott - 1985
97 An introduction to inductive definitions (context) - Aczel - 1977
86 Epistemological problems of artificial intelligence (context) - McCarthy - 1977
62 Model Theory (context) - Chang, Kiesler - 1973
39 Outline of a theory of truth (context) - Kripke - 1975
33 Some theories of reasoned assumptions: an essay in rational .. - Doyle - 1982
28 Circumscription implies predicate completion (context) - Reiter - 1982
14 Reasoned assumptions and Pareto optimality - Doyle - 1985
13 The mathematics of non-monotonic reasoning (context) - Davis - 1980
10 Intelligent backtracking and sidetracking in Horn clause pro.. (context) - Pereira, Porto - 1979
8 Some results on circumscription (context) - Lifschitz - 1984
4 the logic of incomplete information (context) - Lipski - 1977
3 Thirty Years of Foundational Studies (context) - Mostowski - 1966
1 Logical problems related to incomplete information in databa.. (context) - Lipski - 1983
1 Computational aspects of evolving theories (context) - Gumb - 1978
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.medg.lcs.mit.edu/ftp/doyle/): More
Strategic Directions in Artificial Intelligence - Doyle, Dean (1996) (Correct)
Reason Maintenance and Belief Revision - Foundations vs. Coherence .. - Doyle (1992) (Correct)
How To Frame It - Modern Applied Logic from the Top Down,. . . - Doyle (1986) (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