Japanese Zen expressions of this selfless existence. Zen emphasizes zazen, meditation c.q. dhyana in astting position. In Soto, the emphasis is on shikantaza, 'just sitting', while Rinzai also uses koans to train the mind. In alternation with zazen, there is walking meditation, "kinhin", in which one walks with full attention. To facilitate insight, a Zen teacher can assign a kōan. This is a short anecdote, which seems irrational, but contains subtle references to the Buddhist teachings. An example of a kōan is Joshu's 'Mu': "A monk asked: "Does a dog have buddha-nature?" Joshu responded: "Mu!"" Zen-meditation aims at "non-thinking," in Japanese "fu
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.