A modal logic for observation-based knowledge representation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

A modal logic for observation-based knowledge representation

Abstract

In this paper, we introduce and explore ways to include a notion of partiality of information in knowledge representation formalisms. This leads to the definition of an algebraic structure based on observation and partial representation, and to the study of the logical behaviour of those structures, with the characterization of a new modal logic called OL.
Fichier principal
Vignette du fichier
brunet2002a.pdf (161.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00922305 , version 1 (25-12-2013)

Identifiers

  • HAL Id : hal-00922305 , version 1

Cite

Olivier Brunet. A modal logic for observation-based knowledge representation. Proc. FLoC workshop on Intuitionistic modal logic and applications (IMLA 2002), Jul 2002, Copenhagen, Denmark. pp.69-81. ⟨hal-00922305⟩
147 View
45 Download

Share

Gmail Facebook Twitter LinkedIn More