Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
Giuseppe De Giacomo, Yves Lesperance, Matteo Mancanelli
Abstract
We investigate the problem of synthesizing strategies that guarantee the successful execution of a high-level nondeterministic agent program in Golog within a nondeterministic first-order basic action theory, considering the environment as adversarial. Our approach constructs a symbolic program graph that captures the control flow independently of the domain, enabling strategy synthesis through the cross product of the program graph with the domain model. We formally relate graph-based transitions to standard Golog semantics and provide a synthesis procedure that is sound though incomplete (in general, the problem is undecidable, given that we have a first-order representation of the state). We also extend the framework to handle the case where the environment
BibTeX
@inproceedings{aaai2026_strategicreasoni,
title = {Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus},
author = {Giuseppe De Giacomo and Yves Lesperance and Matteo Mancanelli},
booktitle = {AAAI 2026},
year = {2026}
}