A modal logic for observation-based knowledge representation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

A modal logic for observation-based knowledge representation

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00922305 , version 1

Citer

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⟩
148 Consultations
50 Téléchargements

Partager

Gmail Facebook X LinkedIn More