Research map / Learning theory and algorithms / Combinatorial and search optimization
The Logic of Doxastic Strategies
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Introduces doxastic strategies (trust-based belief about strategies achieving goals from data) and gives a sound and strongly complete logic combining trust-based belief and doxastic strategy modalities over canonical games.
Problem
Formalizing strategies that an agent can only believe (not know) will achieve a goal, when its information comes from data that may be untrustworthy.
Approach
Defines doxastic strategy modality [C]^T_X, combining data-informed strategies with trust-based belief, in game semantics with per-variable indistinguishability and trustworthiness sets; proves soundness and strong completeness of an axiomatic system via canonical game construction.
Key results
- Proves soundness of the axiomatic system with respect to the game semantics (appendix).
- Proves strong completeness via a canonical game construction and truth lemma.
- Shows B with empty trust set T is equivalent to data-informed knowledge K_X.
Limitations
- Strategies are one-shot; multi-step games are not treated.
- Ex ante and ex post trust separation is only sketched without completed soundness/completeness proofs.
Experimental setup
Builds on: Logic of Coalition Power (Pauly) data-informed knowledge logic trust-based belief logic logics of know-how strategies
Closest papers by meaning
- In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds (AAAI 2018 · similarity 0.77)
- Towards Epistemic-Doxastic Planning with Observation and Revision (AAAI 2024 · similarity 0.76)
- Probabilistic Strategy Logic with Degrees of Observability (AAAI 2025 · similarity 0.75)
- Enhancing Strategy Logic with Procedural Rationality (AAAI 2026 · similarity 0.75)
- A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity (AAAI 2025 · similarity 0.74)
- RATT: A Thought Structure for Coherent and Correct LLM Reasoning (AAAI 2025 · similarity 0.73)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.