Teoretiko-Igrovye Modeli S Bulevymi Strategiyami

Klass igr, v kotorykh strategii igrokov opisyvayutsya bulevymi peremennymi, a platezhnaya funktsiya prinimaet veshchestvennye znacheniya, izuchen nedostatochno. V to zhe vremya igry iz etogo klassa pozvolyayut modelirovat' i optimizirovat' povedenie protivoborstvuyushchikh storon logicheskimi sredstvami, ispol'zovat' metody, soglasovannye so strukturoy i matematicheskim opisaniem vychislitel'nykh sistem, baz znaniy, modeley i algoritmov intellektualizirovannoy obrabotki informatsii, osnovannykh na empiricheskoy induktsii. Izuchenie igr s bulevymi strategiyami aktual'no ne tol'ko s ukazannykh tochek zreniya, no i v svyazi s tem, chto isklyuchitel'no vazhnym yavlyaetsya reshenie zadach postroeniya logicheskikh opisaniy i svoystv optimal'nykh resheniy v vide logicheskikh formul, svedenie analiza i resheniya igr k issledovaniyu i analizu etikh formul.