AI package and Updates in Logic