The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997, gave rise to the present book, which contains a selection of the papers presented there, thoroughly refereed and revised. The treatment of contexts as bona fide objects of logical formalisation has gained wide acceptance, following the seminal impetus given by McCarthy in his Turing Award address. The field of natural language offers a particularly rich variety of examples and challenges to researchers concerned with the (...) formal modelling of context, and several chapters in the volume deal with contextualisation in the setting of natural language. Others adopt a purely formal-logical viewpoint, seeking to develop general models of even wider applicability. The 12 chapters are organised in three groups: formalisation of contextual information in natural language understanding and generation, the application of context in mechanised reasoning domains, and novel non-classical logics for contextual application. (shrink)

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. (shrink)

A propositional framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from.The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of interpretations of the formula language. The corresponding Hilbert system incorporates the algebraic equations as (...) axioms asserted in context.In semigroups of contexts, where combination of contexts is associative, finite ground algebraic equations correspond to contingent equivalence between certain logical formulas. Systems for sets and multisets of contexts are obtained by presenting their respective algebras as associativity plus finite ground equations. Soundness and completeness results are proved.Some contextual reasoning systems in the literature are inherently associative, and we present those as special cases. (shrink)