Ferramenta para Conversão de Modelos Baseados em Árvore de Decisão para Modelos de Redes de Petri Coloridas
A ferramenta proposta realiza a extração das regras do modelo baseado em árvore de decisão e realiza a conversão para um modelo de Redes de Petri Coloridas.
Focamos na especificação e análise formal com Redes de Petri Colorida como solução para aumentar a
confiança no funcionamento de sistemas baseados em aprendizado de máquina.
Número do Pedido: BR 51 2023 001209 2
Problema Resolvido: A ferramenta resolve a necessidade de aumentar a confiança e a transparência no funcionamento de sistemas baseados em aprendizado de máquina. Embora modelos de árvore de decisão sejam mais interpretáveis, ainda podem apresentar comportamentos que precisam ser verificados formalmente. A ferramenta extrai automaticamente as regras presentes no modelo e as converte para Redes de Petri Coloridas, permitindo análise formal e validação estruturada do comportamento do sistema.
Aplicações / Vantagens:
A ferramenta pode ser utilizada em qualquer sistema que dependa de decisões automatizadas e exija maior segurança, confiabilidade ou verificações formais. Entre as vantagens estão: maior clareza sobre o funcionamento interno do modelo, possibilidade de análise formal usando Redes de Petri Coloridas, detecção de inconsistências, melhor compreensão das regras geradas pelo aprendizado de máquina e aumento da confiança no sistema resultante.
- Universidade Federal do Agreste de Pernambuco - UFAPE
- Universidade Federal de Campina Grande - UFCG
Data de Concessão: 09/05/2023
Data de depósito do pedido: 02/05/2023