5 papers
The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding
Zeynep G. Saribatur, Johannes Langer, Ute Schmid
Explanations are central to human cognition, yet AI systems often produce outputs that are difficult to understand. While symbolic AI offers a transparent foundation for interpreta…
Aligning Generalisation Between Humans and Machines
Filip Ilievski, Barbara Hammer, Frank van Harmelen +22
Recent advances in AI -- including generative approaches -- have resulted in technology that can support humans in scientific discovery and forming decisions, but may also disrupt…
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
Humans are capable of abstracting away irrelevant details when studying problems. This is especially noticeable for problems over grid-cells, as humans are able to disregard certai…
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Zeynep G. Saribatur, Thomas Eiter
ASP programs are a convenient tool for problem solving, whereas with large problem instances the size of the state space can be prohibitive. We consider abstraction as a means of o…
Reactive Policies with Planning for Action Languages
Zeynep G. Saribatur, Thomas Eiter
We describe a representation in a high-level transition system for policies that express a reactive behavior for the agent. We consider a target decision component that figures out…