Use of Propositional Logic in building AI Logic and Game Development | IEEE Conference Publication | IEEE Xplore