Digital solutions for inference rules in decision-supporting systems

摘要

In this paper, we discuss the use of digital circuits in decision support systems. For this, it is first necessary to translate the descriptions of situations and conclusions which are discovered step by step into a suitable Predicate Calculus. Then, a digital implementation for the constructs of Predicate Calculus must be found. So, the main issue is the realization of logically correct inference rules. In this paper, the following inference rules have been studied in a detailed fashion: Contrapository rule, the Modus Ponens and Modus Tollens.