Gradual Classical Logic for Attributed Objects

Ryuta Arisaka 1
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on assumptions about the relation between objects and their attributes, and studies a way of expressing them, presenting as the result what we term gradual logic in which the sense of truth gradually shifts. It extends classical logic instances with a new logical connective capturing the object-attribute relation. A formal semantics is presented. Decidability is proved. Para- consistent/epistemic/conditional/intensional/description/combined logics are compared.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00969271
Contributeur : Ryuta Arisaka <>
Soumis le : mercredi 23 avril 2014 - 15:38:14
Dernière modification le : jeudi 10 mai 2018 - 02:06:26
Document(s) archivé(s) le : mercredi 23 juillet 2014 - 12:25:39

Fichiers

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

Identifiants

  • HAL Id : hal-00969271, version 2
  • ARXIV : 1404.6036

Collections

Citation

Ryuta Arisaka. Gradual Classical Logic for Attributed Objects. 2014. 〈hal-00969271v2〉

Partager

Métriques

Consultations de la notice

293

Téléchargements de fichiers

141