Uncertain Reasoning in Justification Logic - Couverture souple

Kokkinis, Ioannis

 
9781326645106: Uncertain Reasoning in Justification Logic
Couverture souple
ISBN 10 : 1326645102 ISBN 13 : 9781326645106
Editeur : Lulu.com, 2016

Synopsis

This thesis studies the combination of two well known formal systems for knowledge representation: probabilistic logic and justification logic. Our aim is to design a formal framework that allows the analysis of epistemic situations with incomplete information. In order to achieve this we introduce two probabilistic justification logics, which are defined by adding probability operators to the minimal justification logic J. We prove soundness and completeness theorems for our logics and establish decidability procedures. Both our logics rely on an infinitary rule so that strong completeness can be achieved. One of the most interesting mathematical results for our logics is the fact that adding only one iteration of the probability operator to the justification logic J does not increase the computational complexity of the logic.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Lulu.com
Date d'édition
2016
Langue
anglais
ISBN 10 
1326645102
ISBN 13 
9781326645106
Reliure
Broché
Nombre de pages
114
Coordonnées du fabricant
non disponible
Personne responsable
HACHETTE LIVRE SA
https://www.hachette.fr/

1 AVENUE GUTENBERG
MAUREPAS CEDEX
78319
France