Using Datalog to Ground ASP Programs

Talk by Philipp Hanisch

Location: Online
Start: 1. April 2021 at 1:00 pm
End: 1. April 2021 at 2:30 pm
Event series: Research Seminar Logic and AI
iCal

Answer Set Programming (ASP) is a powerful tool in Knowledge Representation and Reasoning. The typical approach to find the answer sets of an ASP program is a ground-and-solve approach, where a grounder transforms an input program with variables into a ground program without variables and a solver computes the answer sets of the ground program. To be feasible, this requires an intelligent grounding phase to keep the grounding relatively small.

The relational query language Datalog is related to ASP and has some similarities to it. Even though they arise from the same origin, there might be recent progress in the development of fast Datalog reasoners, which might be beneficial for grounding ASP programs. Thus, we present an approach for an ASP grounder that uses a Datalog reasoner. We then implement this approach by using the Datalog reasoner VLog, and we show that our implementation is competitive with state-of-the-art grounders.

Note that this talk is a defence of a "Belegarbeit". It will take place online via BigBlueButton. To access the room, take one of the following links:

with ZIH-login:

https://selfservice.zih.tu-dresden.de/l/link.php?m=86969&p=6e64180f

withoput ZIH-login:

https://selfservice.zih.tu-dresden.de/link.php?m=86969&p=94b73c2d