Reasoning About Knowledge in Context

International audienceIn this paper we lay out the conceptual and technical foundations of a general framework that will allow us to talk and reason about the connections between knowledge and context. Based on the notion of “contextual models”, a first section on “static formalism” will make it possible to capture using the same language and the same semantics, a number of epistemological positions amongst those most prominent in the recent philosophical literature on knowledge, and to investigate the logical properties and connections they end up attaching to their respective notions of knowledge and context. This “static” component is augmented with a “dynamic” formalization of context based on a simplified version of Discourse Representation Theory, which will allow us to account for the contribution of epistemic statements to the evolution of the “score” of a conversation about knowledge