307 research outputs found
Epistemic Syllogistic: First Steps
Aristotle's discussions on modal syllogistic have often been viewed as
error-prone and have garnered significant attention in the literature due to
historical and philosophical interests. However, from a contemporary
standpoint, they also introduced natural fragments of first-order modal logic,
warranting a comprehensive technical analysis. In this paper, drawing
inspiration from the natural logic program, we propose and examine several
variants of modal syllogistic within the epistemic context, thereby coining the
term Epistemic Syllogistic. Specifically, we concentrate on the de re
interpretation of epistemic syllogisms containing non-trivial yet natural
expressions such as "all things known to be A are also known to be not B." We
explore the epistemic apodeictic syllogistic and its extensions, which
accommodate more complex terms. Our main contributions include several
axiomatizations of these logics, with completeness proofs that may be of
independent interest.Comment: In Proceedings TARK 2023, arXiv:2307.0400
A dynamic epistemic framework for reasoning about conformant probabilistic plans
In this paper, we introduce a probabilistic dynamic epistemic logical framework that can be applied for reasoning and verifying conformant probabilistic plans in a single agent setting. In conformant probabilistic planning (CPP), we are looking for a linear plan such that the probability of achieving the goal after executing the plan is no less than a given threshold probability δ. Our logical framework can trace the change of the belief state of the agent during the execution of the plan and verify the conformant plans. Moreover, with this logic, we can enrich the CPP framework by formulating the goal as a formula in our language with action modalities and probabilistic beliefs. As for the main technical results, we provide a complete axiomatization of the logic and show the decidability of its validity problem
- …