MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Contextual Reasoning (1992) [60 citations — 4 self]

Download:

DBLP
CACHED:
Download as a PDF | Download as a PS
by Fausto Giunchiglia ,  Fausto Giunchiglia
Epistemologia, special issue on I Linguaggi e le Macchine
Add To MetaCart

Abstract:

It is widely agreed on that most cognitive processes are contextual in the sense that they depend on the environment, or context, inside which they are carried on. Even concentrating on the issue of contextuality in reasoning, many different notions of context can be found in the Artificial Intelligence literature. Our intuition is that reasoning is usually performed on a subset of the global knowledge base. The notion of context is used as a means of formalizing this idea of localization. Roughly speaking, we take a context to be the set of facts used locally to prove a given goal plus the inference routines used to reason about them (which in general are different for different sets of facts). Our perspective is similar to that proposed in [McC87, McC91]. The goal of this paper is to propose an epistemologically adequate theory of reasoning with contexts. The emphasis is on motivations and intuitions, rather than on technicalities. The two basic definitions are reported i...

Citations

1220 Some philosophical problems from the standpoint of artificial intelligence – McCarthy, Hayes - 1969
283 Notes on Formalizing Context – McCarthy - 1993
179 Natural Deduction - A Proof Theoretical Study. Almquist and Wiksell – Prawitz - 1965
176 A Deduction Model of Belief – Konolige - 1986
144 Multilanguage hierarchical logics (or: how we can do without modal logics – Giunchiglia, Serafini - 1994
130 Prolegomena to a theory of mechanized formal reasoning – Weyhrauch - 1980
112 Formal Theories of Action – Lifschitz - 1987
83 Ascribing mental qualities to machines – McCarthy - 1979
74 Generality in Artificial Intelligence – McCarthy - 1987
26 Abstract theorem proving – Giunchiglia, Walsh - 1989
23 Reflective reasoning with and between a declarative metatheory and the implementation code – Guinchiglia, Traverso - 1991
21 A multi-context monotonic axiomatization of inessential non-monotonicity – Giunchiglia, Weyhrauch - 1988
18 Formalization of Two Puzzles Involving Knowledge – McCarthy - 1990
16 Multilanguage first order theories of propositional attitudes – Giunchiglia, Serafini - 1991
12 FOL User Manual - FOL version 2 – Giunchiglia, Weyhrauch - 1991
12 A Computational Theory of Belief Introspection – Konolige - 1985
12 Empirical explorations of the logic theory machine – Newell, Shaw, et al. - 1963
9 Microtheories and contexts in cyc – Guha - 1990
8 GETFOL User Manual - GETFOL version 1. Manual 9109-09 – Giunchiglia, Traverso - 1991
4 Towards a logical treatment of qualitative reasoning – Giunchiglia - 1991
1 Significato e teorie del linguaggio. Franco Angeli – Bottani, Penco - 1991