AI Tools for Logic Modeling