Context-dependent abduction and relevance

TY - JOUR

T1 - Context-dependent abduction and relevance

AU - Gabbay, D

AU - Nossum, R

AU - Woods, J

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 center dot contexts are mathematical entities center dot each context has its own language with relevant implication center dot the languages of distinct contexts are connected by embeddings center dot inter-context deduction is supported by bridge rules center dot databases are sets of formulae tagged with deductive histories and the contexts they belong to center dot 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 center dot contexts are mathematical entities center dot each context has its own language with relevant implication center dot the languages of distinct contexts are connected by embeddings center dot inter-context deduction is supported by bridge rules center dot databases are sets of formulae tagged with deductive histories and the contexts they belong to center dot 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

U2 - 10.1007/s10992-005-9002-y

DO - 10.1007/s10992-005-9002-y

M3 - Article

VL - 35

SP - 65

EP - 81

JO - JOURNAL OF PHILOSOPHICAL LOGIC

JF - JOURNAL OF PHILOSOPHICAL LOGIC

IS - 1

ER -