 Although McCarthy has advocated this program of formalization since 1959—an almost prehistorical date for AI—the program has not been taken on board and pursued by a dedicated community until recently.  Research in this area has gained much momentum since 1990. For further discussion and details, see   Section 8.