Pojem podmíněné nezávislosti (PN) je podstatný pro mnoho otázek spojených s usuzováním. Zřejmě proto se mnoho nedávných publikací zabývá formálními vlastnostmi PN jak v rozmanitých kalkulech nejistoty (teorie pravděpodobnosti, Spohnova teorie ordinálníchpodmiňujících funkcí, Dempster-Shaferova teorie evidence, teorie relačních databází, Zadehova teorie možností), tak z obecného hlediska (Shenoyova teorie ohodnocovacích systémů). V této oblasti je mnoho nezodpovězených otázek. Například, chybí porovnání různých kalkulů a pro některé kalkuly není vyřešena otázka existence konečné axiomatické charakterizace PN. Proto si náš projekt klade za cíl - řešit otázku existence konečné axiomatické charakterizace PN pro zbývající kalkuly (konkrétněji ověřit či vyvrátit jistou hypotézu o způsobu důkazu její neexistence), - porovnat formální vlastnosti PN v různých kalkulech, - prostudovat speciální případ 4 veličin (ideální cíl je úplný seznam modelů PN) (cs)