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.
Type de document :
Communication dans un congrès
Rajeev Goré, Michael Mendler, Valeria de Paiva. Proc. FLoC workshop on Intuitionistic modal logic and applications (IMLA 2002), Jul 2002, Copenhagen, Denmark. No commercial editor., pp.69-81, 2002, Intuitionistic modal logic and applications
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00922305
Contributeur : Jérôme Euzenat <>
Soumis le : mercredi 25 décembre 2013 - 21:05:23
Dernière modification le : mercredi 11 avril 2018 - 01:52:03
Document(s) archivé(s) le : mardi 25 mars 2014 - 22:16:20

Fichier

brunet2002a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00922305, version 1

Collections

Citation

Olivier Brunet. A modal logic for observation-based knowledge representation. Rajeev Goré, Michael Mendler, Valeria de Paiva. Proc. FLoC workshop on Intuitionistic modal logic and applications (IMLA 2002), Jul 2002, Copenhagen, Denmark. No commercial editor., pp.69-81, 2002, Intuitionistic modal logic and applications. 〈hal-00922305〉

Partager

Métriques

Consultations de la notice

287

Téléchargements de fichiers

83