F. Giunchiglia, R.W. Weyhrauch April 1991 Published in D. Nardi and P. Maes...  Home/Search
Context Related
| sra.itc.it/tr/GW91a.ps.gz 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: sra.itc.it/trarch/1991 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The main premise of this paper is that certain kinds of non-monotonic reasoning can be solved within first order logic in a simple monotonic way by formulating problems in a suitable environment. Any problem is formalized as a set of contexts, where a context is a (first order) formalization of a piece of the problem. Reasoning comes out as a result of deduction in different contexts. The claim is that proofs built in this way are clearer and better resemble the kind of explanation that... (Update)
Context of citations to this paper: More
...show both the proposed framework and the GETFOL implementation. 1 Introduction Recent work in artificial intelligence [GW88, Giu91, McC90, McC91, Sho91] advocates for the use of multiple formal systems (called contexts) both in knowledge representation and in problem solving....
.... knowledge should be structured into sets of facts or theories (often called contexts ) some of the many examples are [11, 21, 10, 45, 7, 32, 29, 48, 5]. In [10, 13] the authors take a further step and introduce a new general kind of formal systems allowing multiple distinct...
Cited by: More
Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc (Correct)
Comparing Formal Theories of Context in AI - Serafini, Bouquet (2004) (Correct)
Multilanguage Hierarchical Logics (or: How We Can Do.. - Giunchiglia, Serafini (1994) (Correct)
Active bibliography (related documents): More All
0.0: An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993) (Correct)
0.0: Non-monotonic Reasoning vs. Logic Programming: A New Perspective - Przymusinski (1987) (Correct)
0.0: Defeasible and Pointwise Prioritization - Benjamin N. Grosof (1995) (Correct)
Similar documents based on text: More All
1.0: GETFOL Manual - Giunchiglia (1994) (Correct)
0.7: Ideal and Real Belief about Belief - Giunchiglia, Giunchiglia (1997) (Correct)
0.6: A Many Sorted Natural Deduction - Cimatti, Giunchiglia, Weyhrauch (1994) (Correct)
Related documents from co-citation: More All
17: Natural Deduction: a Proof Theoretical Study (context) - Prawitz - 1965
16: Notes on formalizing context - McCarthy - 1993
11: or: how we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
BibTeX entry: (Update)
F. Giunchiglia and R.W. Weyhrauch. A multi-context monotonic axiomatization of inessential non-monotonicity. In D. Nardi and P. Maes, editors, Meta-level architectures and Reflection, pages 271--285. North Holland, 1988. Also DIST Technical Report 910502, DIST, University of Genova, Italy. http://citeseer.ist.psu.edu/article/giunchiglia88multicontext.html More
@techreport{ giunchiglia91multicontext,
author = "Fausto Giunchiglia and Richard Weyhrauch",
title = "A Multi-Context Monotonic Axiomatization of Inessential Nonmonotonicity",
number = "MRG/DIST 9105--02",
address = "Trento, Italy",
year = "1991",
url = "citeseer.ist.psu.edu/article/giunchiglia88multicontext.html" }
Citations (may not include all citations):663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes
304 A framework for representing knowledge (context) - Minsky - 1981
297 Applications of Circumscription to Formalizing Common-Sense .. - McCarthy
295 On closed world data bases (context) - Reiter - 1978
200 Introduction to Mathematical Logic (context) - Mendelson - 1964
167 Natural Deduction - A proof theoretical study (context) - Prawitz - 1965
121 Prolegomena to a Theory of Mechanized Formal Reasoning (context) - Weyhrauch - 1980
118 Non-Monotonic Logic (context) - McDermott, Doyle - 1980
102 Semantical considerations on modal logic (context) - Kripke - 1962
49 Generality in Artificial Intelligence - McCarthy
25 From a logical point of view (context) - Quine - 1953
24 the adequacy of predicate circumscription for closed-world r.. (context) - Etherington, Mercer et al. - 1985
1 Minimization of abnormality: a simple system for default rea.. (context) - Lukaszewicz - 1986
1 Quine on modality (context) - Follesdal
1 Brief considerations about knowledge (context) - Giunchiglia - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sra.itc.it/trarch/1991.html):
A set of hierarchically structured decision procedures for some .. - Giunchiglia (1991) (Correct)
Hierarchical Meta-Logics: Intuitions, Proof Theory and.. - Fausto Giunchiglia Luciano (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