Plano de Trabalhos - Renovação de BII

Évora, 4 de setembro de 2023

Considerando que foi já implementada uma biblioteca Python que proporciona as seguintes funcionalidades:

• Ler a descrição de uma rede Bayesiana num formato comum (BIF) para uma representação intermédia.
• Escrever uma especificação ASP anotada com probabilidades a partir da representação intermédia indicada no ponto anterior.

e que, com esta biblioteca é possível aplicar métodos e ferramentas desenvolvidos no âmbito do projeto “Zugzwang | Lógica e Inteligência Artificial” a um conjunto alargado de problemas, pretende-se continuar, com a implementação duma biblioteca Python para processar ficheiros de código ASP anotados com probabilidades incluindo as seguintes funcionalidades:

• Extração das anotações e associação aos factos relevantes.
• Comunicação com o sistema Potassco para obtenção dos resultados do programa ASP subjacente.
• Cálculos de probabilidades com base nos modelos estáveis obtidos no passo anterior, nas anotações extraídas no passo 1, e nos resultados teóricos deste projeto.

(Francisco Coelho)