Share
Uncertain Reasoning in Justification Logic (in English)
Ioannis Kokkinis
(Author)
·
Lulu.com
· Paperback
Uncertain Reasoning in Justification Logic (in English) - Kokkinis, Ioannis
$ 14.15
$ 16.80
You save: $ 2.65
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Wednesday, July 10 and
Thursday, July 11.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "Uncertain Reasoning in Justification Logic (in English)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.