It is sort of orthogonal to an MDP. MDPs can be represented in the event calculus. A programming language analogy: An MDP can be thought of as a class of prog

It is sort of orthogonal to an MDP. MDPs can be represented in the event calculus. A programming language analogy: An MDP can be thought of as a class of programs that satisfy certain conditions. They can be written in any language. Event Calculus happens to be a Turing complete programming language. (Note: First-order logic, which Event Calculus is based upon, can simulate a universal Turing machine.)