Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-00922305
Contributor : Jérôme Euzenat <>
Submitted on : Wednesday, December 25, 2013 - 9:05:23 PM
Last modification on : Monday, August 3, 2020 - 11:40:02 AM
Long-term archiving on: : Tuesday, March 25, 2014 - 10:16:20 PM

File

brunet2002a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00922305, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

461

Files downloads

125