Inferncia para Lgica de Descrio Probabilstica CRALC

 

 

Este pacote de software contm a implementao de um algoritmo de inferncia probabilstica em primeira ordem, para utilizao em terminologias representadas na lgica crALC (mais detalhes da lgica em artigo).

 

 

 

Requisitos:

Procedimentos:

Utilizao:

Para informaes detalhadas, leia a documentao em doc-inf-cralc-v21may2012.pdf

Parametros de entrada (opcionais):

[-gui {on|off}] ativa ou desativa a interface grfica.

[-i input_file N] carrega a terminologia especificada num arquivo de entrada e estabelece um domnio de tamanho 'N'.

[-p output_file] proposicionaliza a terminologia e a exporta como uma rede Bayesiana.

[-e query_file] carrega a lista com as variveis da consulta e com as variveis observadas.

[-r name] salva os resultados da inferncia no arquivo 'name.txt' e salva cada fatia em um arquivo com nome segundo o padro name_SliceN.bif.