This article provides a survey of aspects and methods of the automation of processes involved in performing inferences. It addresses classical deductive reasoning as well as non-monotonic and inductive reasoning. Several important reasoning methods are informally described and illustrated. The emphasis is on a clarification of some or the main principles rather than on an exhaustive listing of particular techniques.
