Title :
Mathematical logic models for decision support systems in the case of incomplete information
Author :
Baliuk, A.S. ; Gaidukov, A.I. ; Peryazev, N.A. ; Peryazeva, Yu.V.
Author_Institution :
Irkutsk State Univ., Irkutsk, Russia
Abstract :
The notion of multi-algebra is introduced for mathematical modelling of systems in the case of incomplete information. The first-order logic with countable interpretations are used to investigate multi-algebras.
Keywords :
multivalued logic; process algebra; decision support systems; first-order logic; incomplete information; mathematical logic models; multialgebra; Calculus; Computational modeling; Computer science; Decision support systems; Mathematical model; Semantics; Uncertainty; interpretation; logic systems; multi-algebra; multi-operation; multivalued logic;
Conference_Titel :
Soft Computing and Measurements (SCM), 2015 XVIII International Conference on
Conference_Location :
St. Petersburg
Print_ISBN :
978-1-4673-6960-2
DOI :
10.1109/SCM.2015.7190461
