no code implementations • 20 May 2023 • Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
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.