| Authors: | Ilić Stepić, Angelina Ognjanović, Zoran Perović, Aleksandar |
Affiliations: | Mathematics Mathematical Institute of the Serbian Academy of Sciences and Arts |
Title: | The logic ILP for intuitionistic reasoning about probability | First page: | 25 | Last page: | 26 | Related Publication(s): | Book of Abstracts | Conference: | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022 | Issue Date: | 2022 | Rank: | M34 | URL: | http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2022-Book_of_Abstracts.pdf | Abstract: | We introduce the logic ILP suitable for intuitionistic reasoning about prob- abilities. We use operators of the form P⩾sα with the intended meaning “It is proven that the probability of α is at least s”. We describe the corresponding class of models which are intuitionistic Kripke models equipped with the appro- priate probability requirements. We give sound a axiomatic system and prove decidability of ILP. |
Keywords: | Intuitionistic logic | Probability | Publisher: | University Center Dubrovnik, Croatia | Project: | Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC |
Show full item record
This item is licensed under a Creative Commons License
