Uncertain Reasoning In Justification Logic
Download and Read Uncertain Reasoning In Justification Logic full books in PDF, ePUB, and Kindle. Read online free Uncertain Reasoning In Justification Logic ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Uncertain Reasoning in Justification Logic
Author | : Ioannis Kokkinis |
Publisher | : Lulu.com |
Total Pages | : 116 |
Release | : 2016-06 |
Genre | : Computers |
ISBN | : 1326645102 |
Download Uncertain Reasoning in Justification Logic Book in PDF, Epub and Kindle
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.
Uncertain Reasoning in Justification Logic Related Books
Pages: 116
Pages: 271
Pages: 333
Pages: 238
Pages: 168