0450036 20240103211130.920151124235959.9 000371483500004 10.18409/jas.v6i2.46 18 s. P cav_un_epca*03932221309-345262 (2015)150-167 Conditional independence inference Automated theorem proving cav_un_auth*0083039 Tanaka K. JP cav_un_auth*0101202 Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory Studený Milan UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0321788 Takemura A. JP cav_un_auth*0321789 Sei T. JP http://library.utia.cas.cz/separaty/2015/MTR/studeny-0450036.pdf cav_un_auth*0292670 GA13-20012S GA ČR In this note, we propose a new linear-algebraic method for the implication problem among conditional independence statements, which is inspired by the factorization characterization of conditional independence. First, we give a criterion in the case of a discrete strictly positive density and relate it to an earlier linear-algebraic approach. Then, we extend the method to the case of a discrete density that need not be strictly positive. Finally, we provide a computational result in the case of six variables. BA 2016 4 RVO:67985556 http://hdl.handle.net/11104/0252264 S 2015 000371483500004 WOS cav_un_epca*0393222 Journal of Algebraic Statistics 1309-3452 Roč. 6 č. 2 2015 150 167