Return to Article Details FORMAL AXIOMATIC SYSTEMS IN ARTIFICIAL INTELLIGENCE: A TRANSITION FROM M-MODE TO I-MODE Download Download PDF