. . . "These systems are based on three types of logic which are called ad hoc, semi-rigorous, and consistent." .