A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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 .doi:10.1016/s0747-7171(85)80034-1 fatcat:5ygzcp2a3reszeakjzq4qaknla