DocumentCode
734428
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
fYear
2015
fDate
19-21 May 2015
Firstpage
217
Lastpage
218
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Soft Computing and Measurements (SCM), 2015 XVIII International Conference on
Conference_Location
St. Petersburg
Print_ISBN
978-1-4673-6960-2
Type
conf
DOI
10.1109/SCM.2015.7190461
Filename
7190461
Link To Document