Title :
Digital solutions for inference rules in decision-supporting systems
Author :
Matsak, Erika ; Lorents, Peeter
Author_Institution :
Tallinn Univ., Tallinn, Estonia
Abstract :
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.
Keywords :
decision support systems; digital circuits; inference mechanisms; refinement calculus; Modus Ponens; Modus Tollens; contrapository rule; decision support system; digital circuits; inference rules; predicate calculus; Artificial intelligence; Calculus; Decision making; Digital circuits; Logic gates; Water heating; Decision-making support systems; formulas for Predicate Calculus; inference steps and inference rules; the realization of correct inference steps by digital circuits;
Conference_Titel :
Digital Information Management (ICDIM), 2010 Fifth International Conference on
Conference_Location :
Thunder Bay, ON
Print_ISBN :
978-1-4244-7572-8
DOI :
10.1109/ICDIM.2010.5664735
