Context-dependent abduction and relevance

D Gabbay, R Nossum, J Woods

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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
Original languageEnglish
Pages (from-to)65 - 81
Number of pages17
Issue number1
Publication statusPublished - Feb 2006


Dive into the research topics of 'Context-dependent abduction and relevance'. Together they form a unique fingerprint.

Cite this