Bita Banihashemi

2 accepted papers

2023

Abstraction of Nondeterministic Situation Calculus Action Theories

Bita Banihashemi, Giuseppe De Giacomo, Yves Lesperance

IJCAI 2023poster

We develop a general framework for abstracting the behavior of an agent that operates in a nondeterministic domain, i.e., where the agent does not control the outcome of the nondeterministic actions, based on the nondeterministic situation calculus and the ConGolog programming language. We assume t…

Cited by 6 Source ↗PDF ↗Scholar ↗

2022

From Actions to Programs as Abstract Actual Causes

Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

AAAI 2022technical

Causality plays a central role in reasoning about observations. In many cases, it might be useful to define the conditions under which a non-deterministic program can be called an actual cause of an effect in a setting where a sequence of programs are executed one after another. There can be two per…

Cited by 3 Source ↗PDF ↗Scholar ↗