Este é o aplicativo Linux chamado Belief Reviser, cuja versão mais recente pode ser baixada como BeliefReviser.zip. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Belief Revisor com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
Revisor de Crenças
DESCRIÇÃO
A revisão de crenças é um tópico central na representação e raciocínio do conhecimento. Consiste em incorporar uma nova crença, mudando tão poucos quanto
possível das crenças originais, preservando a consistência.
A revisão sempre considera as novas evidências como uma crença melhor. Essa nova evidência é geralmente
representado na forma de uma fórmula proposicional que deve ser preservada após o
revisão.
Aqui, o operador de fusão de crenças Δps (PS-Merge) é estendido para considerar as restrições, e essa extensão é usada como uma estratégia para revisão de crenças. A nova evidência é tratada como uma restrição para que o operador de fusão estendida possa obter a base de crença revisada.
Funcionalidades
- Revisão de uma base de crença K contra novas evidências μ
- Conversão automática de fórmulas para DNF
- Simples e amigável
- Plataforma independente
Público
Ciência / Pesquisa, Educação
Interface com o usuário
Java swing
Linguagem de Programação
Java
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/beliefreviser/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.