The Logic of Doxastic Strategies
This work addresses a foundational issue in logic and AI for reasoning under uncertainty, but it appears incremental as it builds on existing modal logic frameworks.
The paper tackles the problem of modeling strategies that are believed but not known to succeed, introducing the term 'doxastic' for such strategies, and develops a sound and complete logical system to describe their interplay with belief modalities.
In many real-world situations, there is often not enough information to know that a certain strategy will succeed in achieving the goal, but there is a good reason to believe that it will. The paper introduces the term ``doxastic'' for such strategies. The main technical contribution is a sound and complete logical system that describes the interplay between doxastic strategy and belief modalities.