# Plano de Trabalhos - Renovação de BII

<div style="text-align:right">
Évora, 4 de setembro de 2023
</div>


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.

<div style="text-align:center">
(Francisco Coelho)
</div>