Studies on Mitigating the Problem of Space Explosion in Knowledge Compilation
COM2 Level 4
Executive Classroom, COM2-04-02
Abstract:
Propositional reasoning problems in the general form are intractable from the viewpoint of computational complexity. So far, knowledge compilation (KC) has emerged as a key direction of research for dealing with such kind of intractability. Due to the intrinsic incompatibility, an unavoidable deficiency of all KC approaches is the space explosion for certain classes of formulas in practice, which results in failure to generate the compiled results. This talk will discuss some methods to mitigating the problem of space explosion in KC.
Biodata:
Yong Lai is currently an Associate Professor at Jilin University, China. His current research interests are in the area of knowledge representation and reasoning, including knowledge compilation, model counting, modal logics, and discrete probabilistic inference. He is Program Committee members of AAAI-19 and KSEM-19, and an Organizing Committee member of KSEM-18. He received the Ph.D. degree from Jilin University, China in 2013. His researches are supported by the National Natural Science Foundation of China, and Jilin Province Natural Science Foundation.