CONTEXTUAL KNOWLEDGE AND BELlEF: REPRESENTATION AND REASONING

Abstract

Abstract. Contextual knowledge reasoning requiresprecise but flexible fonnalisms in such a way that, together wíth the capacity to reason with well defmed infonnation, becapable as well to deal with not well defmed infonnation in thecontext. Threeválued models of Kripke are proposed as the contexts fonnal setting. Is showed how those representation knowledge frameworks are adequated to allow the dynamic manner in ' which context iníonnation evolve. Operation devoted to expand or to change contexts are defmed. In addition, the heurístical adequacy of so defined contexts can be established through tbe direct correspondence between them and the Analytic Tableaux demonstration method.