7 papers · 1 filter
Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
Daniil Kozhemiachenko, Igor Sedlár
We explore a fuzzy modal logic that can formalise probabilistic reasoning about actions and knowledge. In particular, we deal with contexts involving statements about events expres…
Probabilistic Abduction in a Fuzzy Logic Framework
Tommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko
We study the problem of explaining observations about the probabilities of events, such as "it rains of the time", "rain and snow are equally likely", etc. We explain these…
Complexity of Åukasiewicz Modal Probabilistic Logics
Daniil Kozhemiachenko, Igor Sedlár
Modal probabilistic logics provide a framework for reasoning about probability in modal contexts, involving notions such as knowledge, belief, time, and action. In this paper, we s…
Paraconsistent Constructive Modal Logic
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional att…
Complexity of Abduction in Åukasiewicz Logic
Katsumi Inoue, Daniil Kozhemiachenko
We explore the problem of explaining observations in contexts involving statements with truth degrees such as `the lift is loaded', `the symptoms are severe', etc. To formalise the…
Abductive Reasoning in a Paraconsistent Framework
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-kno…