Gianni Amati, Luigia Carlucci Aiello, et al.  Home/Search
Context Related
| dcs.gla.ac.uk/~gianni/AIJ97.ps.gz dis.uniroma1.it/~pirri/PUB/...AIJ96.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: dcs.gla.ac.uk/~giann...december99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The definition of concepts is a central problem in commonsense reasoning. Many themes in nonmonotonic reasoning concern implicit and explicit definability. Implicit definability in nonmonotonic logic is always relative to the context - the current theory of the world. We show that fixed point equations provide a generalization of explicit definability, which correctly captures the relativized context. Theories expressed within this logical framework provide implicit definitions of concepts.... (Update)
Similar documents based on text: More All
1.5: Default Logic and Purity of Reasoning - Amati, Aiello, Pirri (Correct)
1.2: Defaults as restrictions on classical Hilbert-style proofs - Amati, Aiello, Pirri (1995) (Correct)
0.9: Default Logic as a formalism for understanding commonsense.. - Amati, Aiello, Pirri (1996) (Correct)
BibTeX entry: (Update)
Amati, G.; Carlucci Aiello, L.; and Pirri, F. 1997. Definability and commonsense reasoning. Artificial Intelligence Journal 93:1 -- 30. Abstract of this paper appeared also in Third Symposium on Logical Formalization of Commonsense Reasoning, Stanford, USA, 96. http://citeseer.ist.psu.edu/amati96definability.html More
@article{ amati97definability,
author = "Gianni Amati and Luigia Carlucci Aiello and Fiora Pirri",
title = "Definability and Commonsense Reasoning",
journal = "Artificial Intelligence",
volume = "93",
pages = "169-199",
year = "1997",
url = "citeseer.ist.psu.edu/amati96definability.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850 A logic for default reasoning (context) - Reiter - 1980
451 Circumscription -- a form of nonmonotonic reasoning (context) - McCarthy - 1980
311 Semantical considerations on nonmonotonic logics (context) - Moore - 1985
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
166 Computing circumscription (context) - Lifschitz - 1985
119 All I know: a study in autoepistemic logic (context) - Levesque - 1990
118 Non-monotonic logic (context) - McDermott, Doyle - 1980
114 Logics of time and computation (context) - Goldblatt - 1992
99 Formal theories of action (context) - Lifschitz - 1987
94 the relation between default and autoepistemic logic (context) - Konolige - 1988
82 Reasoning with incomplete information (context) - Etherington - 1988
62 Non-monotonic logic II: non-monotonic modal theories (context) - McDermott - 1982
55 Nonmonotonic Logic (context) - Marek, Truszczynski - 1993
55 Possible-world semantics for autoepistemic logic (context) - Moore - 1987
46 Modal nonmonotonic logics: ranges (context) - Marek, Schwarz et al. - 1993
44 Languages with self-reference I: Foundations (context) - Perlis - 1985
42 Toward a theory of knowledge and ignorance: preliminary repo.. - Halpern, Moses - 1988
42 Nonmonotonic reasoning (context) - Reiter - 1987
33 Some theories of reasoned assumptions: An essay in rational .. - Doyle - 1983
30 Provability interpretations of modal logic (context) - Solovay - 1976
28 Languages with self-reference II: Knowledge (context) - Perlis - 1988
28 Circumscription implies predicate completion (context) - Reiter - 1982
28 Epistemic semantics for fixed-points nonmonotonic logics (context) - Lin, Shoham - 1990
24 Minimal knowledge problem: a new approach (context) - Schwarz, Truszczynski - 1994
22 On Padoa's method in the theory of definition (context) - Beth - 1953
17 Modal logic for default reasoning (context) - Marek, Truszczynski - 1990
16 Categorization of natural objects (context) - Mervis, Rosh - 1981
16 Modal interpretations of default logic (context) - Truszczynski - 1991
13 Diagonalization and Self-Reference (context) - Smullyan - 1994
12 Possible world semantics for default logic (context) - Besnard, Schaub - 1992
10 A model for Deliberation (context) - Doyle - 1980
8 the unprovability of consistency (context) - Boolos - 1979
6 Syntactical treatments of modality (context) - Montague - 1963
6 Circumscription and implicit definability - Doyle - 1985
6 Autoepistemic modal logics (context) - Schwarz - 1990
6 A structural property on modal frames characterizing default.. - Amati, Carlucci et al.
3 The fixed-point theorem for diagonalizable algebras (context) - Bernardi - 1975
3 Languages in which self-reference is possible (context) - Smullyan - 1957
2 A geometric model of concept formation (context) - Gardenfors - 1992
1 A Mathematical Basis for Psychology (context) - Doyle - 1981
1 The predicate modal logic of provability (context) - Montagna - 1984
1 Modal provability interpretations for negation by failure (context) - Gabbay - 1991
Documents on the same site (http://www.dcs.gla.ac.uk/~gianni/december99.html): More
A proof theoretical approach to default reasoning I.. - Amati, Aiello.. (1995) (Correct)
A Structural Property on Modal Frames Characterizing.. - Amati, Aiello, Gabbay.. (1996) (Correct)
Intuitionistic Autoepistemic Logic - Aiello, Amati, Pirri (1997) (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