TY - JOUR
T1 - Context-dependent abduction and relevance
AU - Gabbay, Dov
AU - Nossum, Rolf
AU - Woods, John
PY - 2006/2
Y1 - 2006/2
N2 - Based on the premise that what is relevant, consistent, or true may change from context to context, a formal framework of relevance and context is proposed in which contexts are mathematical entities each context has its own language with relevant implication the languages of distinct contexts are connected by embeddings inter-context deduction is supported by bridge rules databases are sets of formulae tagged with deductive histories and the contexts they belong to abduction and revision are supported by a notion of consistency of formulae and sets of formulae which are relative to a context, and which can, in turn, be seen as constituents of agendas.
AB - Based on the premise that what is relevant, consistent, or true may change from context to context, a formal framework of relevance and context is proposed in which contexts are mathematical entities each context has its own language with relevant implication the languages of distinct contexts are connected by embeddings inter-context deduction is supported by bridge rules databases are sets of formulae tagged with deductive histories and the contexts they belong to abduction and revision are supported by a notion of consistency of formulae and sets of formulae which are relative to a context, and which can, in turn, be seen as constituents of agendas.
UR - http://www.scopus.com/inward/record.url?scp=33746137325&partnerID=8YFLogxK
U2 - 10.1007/s10992-005-9002-y
DO - 10.1007/s10992-005-9002-y
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:33746137325
SN - 0022-3611
VL - 35
SP - 65
EP - 81
JO - Journal of Philosophical Logic
JF - Journal of Philosophical Logic
IS - 1
ER -