Bibliografie

(eng): We consider computational aspects of deciding whether a conditional independence statement is implied by a list of other such statements. We present two methods; one is suitable for the proof that the statement is implied and the other to show the converse. We combine those two methods: we let them race against each other. Some empirical evidence is provided that suggests that the racing algorithms method performs better than a former existing method.

(cze): Uvažujeme výpočetní aspekty rozhodování zda je nějaký údaj o podmíněné nezávislosti implikován seznamem jiných takových údajů. Uvádíme dvě metody. Jedna je vhodná pro důkaz, že údaj je implikován, druhá pro ověření opaku. Obě metody kombinujeme - necháme je bežet (závodit) proti sobě. Empirické pozorování naznačuje že metoda závodících algorithmů se chová lépe než jistá dřívější metoda.