2 papers
cs.AI2025
Using Large Language Models for Abstraction of Planning Domains - Extended Version
Bita Banihashemi, Megh Patel, Yves Lespérance
Generating an abstraction of a dynamic domain that aligns with a given purpose remains a significant challenge given that the choice of such an abstraction can impact an agent's ab…
cs.LO2024
Abstracting Situation Calculus Action Theories
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification…