Zen expected to become familiar with the classics of the Zen canon". A review of the early historical documents and literature of early Zen masters clearly reveals that they were well versed in numerous Mahāyāna Buddhist sūtras, including Madhyamaka. Especially the Lotus Sutra played a large role in the development of East Asian Buddhism, including Zen. Nevertheless, Zen is often pictured as anti-intellectual. This picture of Zen emerged during the Song Dynasty (960–1297), when Chán became the dominant form of Buddhism in China, and gained great popularity among the educated and literary classes of Chinese society. The use of koans, which
Reasoning system and allowing only a restricted subset of logic improved the performance of such systems so that they were practical for use in the real world and not merely as research demonstrations as most previous automated reasoning systems had been. The engine used for automated reasoning in expert systems were typically called inference engines. Those used for more general logical inferencing are typically called theorem provers. With the rise in popularity of expert systems many new types of automated reasoning were applied to diverse problems in government and industry. Some such as case-based reasoning were off shoots of expert systems research.