Logical methods for design and analysis of choice models
Prikladnaâ diskretnaâ matematika, no. 1 (2009), pp. 38-71

Voir la notice de l'article provenant de la source Math-Net.Ru

The logical methods use representations of choice functions and choice models by means of formulas of some logic language. The design and research problems for choice models are reduced to formal transformations and analysis of the presentations. The logical methods make it possible to solve a wide range of constructive problems associated with a design, an analysis, simplifications, and estimations of complexity for formal choice models. They allow to use to choice models the Shannon–Yablonsky–Lupanov methodology developed for investigation of computing systems. The article systematizes obtained at different times and published in different editions the author's results on a study of choice models by logical methods. Results of other authors concerning the topics are brought, also.
@article{PDM_2009_1_a2,
     author = {L. A. Sholomov},
     title = {Logical methods for design and analysis of choice models},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {38--71},
     publisher = {mathdoc},
     number = {1},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_1_a2/}
}
TY  - JOUR
AU  - L. A. Sholomov
TI  - Logical methods for design and analysis of choice models
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 38
EP  - 71
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_1_a2/
LA  - ru
ID  - PDM_2009_1_a2
ER  - 
%0 Journal Article
%A L. A. Sholomov
%T Logical methods for design and analysis of choice models
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 38-71
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_1_a2/
%G ru
%F PDM_2009_1_a2
L. A. Sholomov. Logical methods for design and analysis of choice models. Prikladnaâ diskretnaâ matematika, no. 1 (2009), pp. 38-71. http://geodesic.mathdoc.fr/item/PDM_2009_1_a2/