Gradual Classical Logic for Attributed Objects - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

Gradual Classical Logic for Attributed Objects

Résumé

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.
Fichier principal
Vignette du fichier
aiPaper.pdf (231.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00969271 , version 1 (02-04-2014)
hal-00969271 , version 2 (23-04-2014)

Identifiants

Citer

Ryuta Arisaka. Gradual Classical Logic for Attributed Objects. 2014. ⟨hal-00969271v2⟩
230 Consultations
110 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More