A Compiling Method of Propositional Knowledge Base for Abductive Generation of Lacked Knowledge