0411339 20240103182319.820060210235959.9 12 s. 0302-97433571221-232 conditional independence inference imset racing algorithms cav_un_auth*0212862 Bouckaert R. R. NZ cav_un_auth*0101202 Studený Milan UTIA-B Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. 12A GA201/04/0393 GA ČR cav_un_auth*0001808 1M0572 GA MŠk cav_un_auth*0001814 CEZ:AV0Z10750506 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. 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. cav_un_auth*0208881 ECSQARU 2005. European Conference /8./ Barcelona ES 06.07.2005-08.07.2005 BA 2006 MTR http://hdl.handle.net/11104/0131421 UTIA-B 20050068 2005 Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty 0302-9743 Roč. 3571 - 2005 221 232