Download:
DBLP
CACHED:
|
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
|