Logic and Action Formalisms
Overview
This area covers logical languages for describing action, change, executability, and structured reasoning over dynamic domains.
Active Questions
- Which action formalisms best support executable reasoning for agent systems?
- How can automata-theoretic views clarify the expressivity of action theories?
- Where do logical action models connect cleanly to RL environments and safety specifications?
- How can causal claims about action histories be stated without leaving the situation-calculus vocabulary?
Key Concepts
- Situation Calculus
- Actual Causality
- Situation Calculus Causal Models
- Invariant Synthesis
- Formal Methods
- Strategic Reasoning
Key Sources
- Cerexhe2011 - Executability in the Situation Calculus
- Hopkins2005 - Causality and Counterfactuals in the Situation Calculus
- Liu2026 - A Counterfactual Cause in Situation Calculus
- Luo2022 - Automated Synthesis of Generalized Invariant Strategies