|
Proposta de dissertação do MEI |
Título: |
Forgetting in Answer Set Programming |
Proponente(s): |
João Leite, Ricardo Gonçalves and Matthias Knorr |
Créditos: |
42 ECTS |
Área científica: |
Decision Support and Artificial Intelligence |
Início preferencial: |
Qualquer semestre |
URL: |
|
Já estão em curso trabalhos preliminares executados pelo alunos: |
|
Breve descrição: |
Forgetting is an important operation in Knowledge Representation and Reasoning (KRR) that focuses on reducing the language without loosing any derivable consequences over the remaining language. This is of interest when we want to remove elements of the language that are no longer useful or even no longer allowed to be used, as a consequence of the General Data Protection Regulation (GDPR). Answer set programming (ASP) is one KRR formalism with wide applications in many domains, and forgetting in ASP has drawn considerable interest recently and many novel results have been established on preferable forgetting operators and their desirable properties. This has not been accompanied, though, by empiric results on their efficiency for computing results of forgetting. The aim of this thesis is to overcome this limitation, by creating a tool that implements several state of the art forgetting operators in ASP, whose comparison will complement the theoretical results achieved so far. |
Observações: |
A good student adopting this topic may be awarded a research grant. |
|