Cyber Defence Library

Digital Solutions for Inference Rules in Decision-supporting Systems

Digital Solutions for Inference Rules in Decision-supporting Systems

In this paper, the authors 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. The following inference rules are studied in a detailed fashion: contrapository rule, the Modus Ponens and Modus Tollens.

Lorents, P. & Matsak, E. (2010). Digital solutions for inference rules in decision-supporting systems. Fifth International Conference on Digital Information Management. Thundar Bay, Canada: IEEE, 2010.