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