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).
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.