Logic, Probability and Action: A Situation Calculus Perspective

by   Vaishak Belle, et al.

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



page 1

page 2

page 3

page 4


Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

Circumscription and logic programs under the stable model semantics are ...

Combining Event Calculus and Description Logic Reasoning via Logic Programming

The paper introduces a knowledge representation language that combines t...

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

We extend the simply-typed guarded λ-calculus with discrete probabilitie...

Time, Chance, and Action

To operate intelligently in the world, an agent must reason about its ac...

A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility

This paper shows how we can combine logical representations of actions a...

Probabilistic Similarity Logic

Many machine learning applications require the ability to learn from and...

Refactoring the Whitby Intelligent Tutoring System for Clean Architecture

Whitby is the server-side of an Intelligent Tutoring System application ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.