Search Results

Uncertain Reasoning in Justification Logic

Download or Read eBook Uncertain Reasoning in Justification Logic PDF written by Ioannis Kokkinis and published by Lulu.com. This book was released on 2016-06 with total page 116 pages. Available in PDF, EPUB and Kindle.
Uncertain Reasoning in Justification Logic
Author :
Publisher : Lulu.com
Total Pages : 116
Release :
ISBN-10 : 9781326645106
ISBN-13 : 1326645102
Rating : 4/5 (06 Downloads)

Book Synopsis Uncertain Reasoning in Justification Logic by : Ioannis Kokkinis

Book excerpt: 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

Uncertain Reasoning in Justification Logic
Language: en
Pages: 116
Authors: Ioannis Kokkinis
Categories: Computers
Type: BOOK - Published: 2016-06 - Publisher: Lulu.com

DOWNLOAD EBOOK

This thesis studies the combination of two well known formal systems for knowledge representation: probabilistic logic and justification logic. Our aim is to de
Justification Logic
Language: en
Pages: 271
Authors: Sergei Artemov
Categories: Mathematics
Type: BOOK - Published: 2019-05-02 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
Probabilistic Extensions of Various Logical Systems
Language: en
Pages: 238
Authors: Zoran Ognjanović
Categories: Computers
Type: BOOK - Published: 2020-07-17 - Publisher: Springer Nature

DOWNLOAD EBOOK

The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal l
Reasoning About Knowledge
Language: en
Pages: 576
Authors: Ronald Fagin
Categories: Business & Economics
Type: BOOK - Published: 2004-01-09 - Publisher: MIT Press

DOWNLOAD EBOOK

Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of phil
Hume's Problem
Language: en
Pages: 272
Authors: Colin Howson
Categories: Philosophy
Type: BOOK - Published: 2000 - Publisher: Oxford University Press

DOWNLOAD EBOOK

This volume offers a solution to one of the central, unsolved problems of Western philosophy, that of induction. It explores the implications of Hume's argument
Scroll to top