Codifying Logical Fragments in ASP - A General Knowledge Base Approach

Talk by Dominic Deckert

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

The study of logic fragments, their limitations and expressive properties is and has been an important field for topics such as Knowledge Representation, Model Checking and even Human Reasoning. Many different research fields have found properties for different logic fragments and drawn links between these fragments. In this project, we have aimed to build a general framework for representing these different fragments, their properties and for inferring new results from their relative expressivity. Using Answer Set Programming (ASP) for its useful computational properties, we have implemented this knowledge base and provide ways to query it or find explanations for any inferred results.

This talk will be a project defence and takes place 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=79924&p=e5e8bd36

without ZIH-Login:

https://selfservice.zih.tu-dresden.de/link.php?m=79924&p=e66e7dfe