| bibtype |
J -
Journal Article
|
| ARLID |
0083472 |
| utime |
20240103184237.9 |
| mtime |
20070618235959.9 |
| title
(primary) (eng) |
Racing algorithms for conditional independence inference |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0256774 |
| ISSN |
0888-613X |
| title
|
International Journal of Approximate Reasoning |
| volume_id |
45 |
| volume |
2 (2007) |
| page_num |
386-401 |
| publisher |
|
|
| title
(cze) |
Závodění algoritmů pro odvozování podmíněných nezávislostí |
| keyword |
conditonal independence |
| keyword |
inference |
| keyword |
imset |
| keyword |
algorithm |
| author
(primary) |
| ARLID |
cav_un_auth*0212862 |
| name1 |
Bouckaert |
| name2 |
R. R. |
| country |
NZ |
|
| author
|
| ARLID |
cav_un_auth*0101202 |
| full_dept |
Department of Decision Making Theory |
| name1 |
Studený |
| name2 |
Milan |
| institution |
UTIA-B |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| project |
| ARLID |
cav_un_auth*0001808 |
| project_id |
GA201/04/0393 |
| agency |
GA ČR |
|
| research |
CEZ:AV0Z10750506 |
| abstract
(eng) |
We consider the computational aspects of deciding wheter a conditional independence statement t is implied by a list of independence statements L using the independence implication provided by the method of structural imsets. We provide two algorithmic methods which have the interesting complementary properties that one method performs well to prove that t is implied by L while the other performs the opposite. This gives rise to a paraller algorithm in which both methods race agaist each other in order to determine effectively wheter t is or is not implied. |
| abstract
(cze) |
Uvažujeme výpočetní aspekty rozhodování, zda údaj o podmíněné nezávislosti t je implikován seznamem nezávislostních údajů L při použití nezávislostní implikace dané metodou strukturálních imsetů. Presentujeme dvě algoritmické metody, kterémají zajímavavé komplementární vlastnosti že jedna z nich je vhodná pro důkaz že t je implikována L zatímco druhá funguje dobře při ověření že t není implikováno L. To vede k paralernímu algoritmu kdy obě methody spolu závodí za účelem efektivně rozhodnout zda t je či není implikováno L. |
| RIV |
BA |
| reportyear |
2008 |
| permalink |
http://hdl.handle.net/11104/0146700 |
| mrcbT16-f |
1.446 |
| mrcbT16-g |
0.176 |
| mrcbT16-h |
7.9 |
| mrcbT16-i |
0.00264 |
| mrcbT16-j |
0.582 |
| mrcbT16-k |
733 |
| mrcbT16-l |
85 |
| arlyear |
2007 |
| mrcbU63 |
cav_un_epca*0256774 International Journal of Approximate Reasoning 0888-613X 1873-4731 Roč. 45 č. 2 2007 386 401 Elsevier |
|