Kokkinis, Ioannis; Savic, Nenad; Studer, Thomas
(2020).
*
Justification Logics with Probability Operators.
*
In:
Ognjanović, Zoran
(ed.)
Probabilistic Extensions of Various Logical Systems (pp. 215-234).
Springer
10.1007/978-3-030-52954-3_8

Text
PJL_book_contribution.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (210kB) | Request a copy |

In this chapter we present a formal system that results from the combination of two well known formalisms for knowledge representation: probabilistic logic and justification logic. This framework, called probabilistic justification logic, allows the analysis of epistemic situations with incomplete information. We present two sound and strongly complete probabilistic justification logics, which are defined by adding probability operators to the minimal justification logic J. The first logic does not allow nesting of the probability operators and can be used to express statements like “t is a justification for A with probability at least 30%”. The second logic allows iterations of the probability operators and can be used to express statements like “I am uncertain for the fact that t is a justification for a coin being counterfeit” or to describe more complex epistemic situations like Kyburg’s Lottery Paradox. We also present tight complexity bounds for the satisfiability problem in the aforementioned logics which are obtained with the help of the theory of linear programming and by applying a tableau procedure. Finally, we present two more extensions of the logic J.

## Item Type: |
Book Section (Book Chapter) |
---|---|

## Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |

## UniBE Contributor: |
Savic, Nenad and Studer, Thomas |

## Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |

## ISBN: |
978-3-030-52953-6 |

## Publisher: |
Springer |

## Language: |
English |

## Submitter: |
Atefeh Rohani |

## Date Deposited: |
02 Sep 2020 09:30 |

## Last Modified: |
02 Sep 2020 09:30 |

## Publisher DOI: |
10.1007/978-3-030-52954-3_8 |

## BORIS DOI: |
10.7892/boris.146176 |

## URI: |
https://boris.unibe.ch/id/eprint/146176 |