 As long as formalization problems remain relatively simple, we can treat formalization as an art rather than as a discipline with a well-articulated methodology.  But the trends we’ve been discussing show that formalization of even moderate-sized realistic common sense reasoning problems is not merely an art.  Just as programming systems, expert systems and knowledge bases have created corresponding software engineering disciplines, large-scale formalization projects require a carefully thought through and tested methodology. 