Human reasoning relies on abstraction and generalization, in order to make decisions flexible under changing conditions while ignoring irrelevant details and focusing on the essence. Developing AI systems with such abilities, while ensuring transparency and explainability on the reasoning behind the made decision, rema...
Z. G. Saribatur· Proceedings of the Thirty-Fi...· 0 citations
This work examines the computational complexity of existing abstraction techniques based on clustering (faithful and uniform abstractions) and proposes a novel syntactic operator to achieve uniform abstractions, when possible, and explores properties needed to reach abstractions from syntactic symmetry.
Z. G. Saribatur, Markus Hecher, J. Fichte· Proceedings of the Thirty-Fi...· 1 citation
This work proposes to abstract the planning task for abstract solutions that are then repaired into concrete plans for the input task, and showcases domains in which drawing an abstract plan and repairing it is significantly faster than solving the original problem.
M. Kornherr, Daniel Gnad, Z. G. Saribatur et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.