Logic, Probability and Action: A Situation Calculus Perspective

摘要: The unification of logic and probability is a long-standing concern in AI, more generally, the philosophy science. In essence, provides an easy way to specify properties that must hold every possible world, allows us further quantify weight ratio worlds satisfy property. To end, numerous developments have been undertaken, culminating proposals such as probabilistic relational models. While this progress has notable, general-purpose first-order knowledge representation language reason about probabilities dynamics, including continuous settings, still emerge. paper, we survey recent results pertaining integration logic, actions situation calculus, which arguably one oldest most well-known formalisms. We then explore reduction theorems programming interfaces for language. These are motivated context cognitive robotics (as envisioned by Reiter his colleagues) sake concreteness. Overall, advantage proving general it becomes adapt them any special-purpose fragment, but not limited popular