ondrey: Chtel bych upozornit na to, co autorovi stránek uniká, a stáva se “výkriky do tmy” v cele problematice návrhu mechanismů. Formální pojednání o ekonomických mechanismech a jejich navrhování zahájil Leonid Hurwicz ve svém clánku (1960). Na pozadí tohoto clánku probíhala debata o srovnávacích výhodách alternativních ekonomických systémů. Hlavními úcastníky této debaty byli Lange (1938) a Lerner (1937, 1944) na jedné strane a von Mises (1920, 1935) a Hayek (1935, 1945) na strane druhé. AZ Hurwiczův clánek poprvé poskytl for mální rámec, v nemz mohly být reseny významné otázky této debaty. V následujícím clánku se Hurwicz (1972) znovu zabýval formální teorií mechanismů. Problémem je výber mechanismu z mnoziny alternativních mozných mechanismů. Na mechanismus se pohlízí jako na hodnotu promenné, jejíž doménou variability je mnozina mozných mechanismů. Informacní úkoly, které sebou mechanismus nese, znamenají náklady na reálné zdroje pouzívané
k fungování mechanismu (na rozdíl od zdrojů pouzívaných v ekonomické produkci a jiných reálných ekonomických cinnostech). Do hry vstupují také desiderata, podle nichz se hodnotí výkonnost mechanismu. Hurwicz si uvedomoval skutecnost, zdůraznovanou v drívejsí debatě, ze informace o
ekonomickém prostredí, o skutecnostech, které umoznují nebo omezují ekonomické moznosti, jako je vybavenost zdroji (narozdíl od rozkradacskeho socanskeho zdroje jsou) a zásoby statků zdedené z minulosti endowment, a o preferencích jednotlivců, pokud jde o statky, jsou rozdeleny mezi ekonomické subjekty. Je zrejmé, ale presto stojí za to ríci, ze ti, kterí prímo nepozorují nejaký aspekt prevládajícího prostredí, nemají tyto informace, jimiz by se mohli rídit pri svém jednání, pokud jim je nesdelí nekdo, kdo je prímo pozoruje. Hurwicz predstavil formální model komunikacního procesu, který toto omezení zahrnuje - dynamický proces výmeny zpráv modelovaný podle Walrasova tatonnementu – pro vlastence rovnovazneho stavu. Pro toto omezení pouzil termín soukromí (naznacený nemozností jednoho pozorovat soukromé informace druhého). Jeho model z roku 1960 zahrnuje jako formální prvek jazyk pouzívaný pro komunikaci. Prvky (slova) pouzívané v tomto jazyce jsou matice toků zdrojů, které modelují produkci a smenu zbozí mezi agenty. Na jazyk a na funkce pouzívané k modelování komunikacního procesu uvalil omezení, aby zobecnil vlastnosti konkurencního mechanismu, které povazuje za zádoucí! Marschak a Radner (1971) a Radner (1972a, 1972b, 1972c) zaujali jiný prístup k návrhu mechanismů, tzv. teorii týmů. Tento prístup zahrnuje nejistotu ohledne prostredí a ohledne znalostí agenta o znalostech ostatních agentů. Hurwicz (1972) také uznal, ze rozptýlení soukromých informací mezi ekonomickými subjekty můze způsobit problémy s motivací. Tuto trídu problémů formalizoval zavedením herních forem jako mechanismů a take konceptu a analýzy motivacní kompatibility mechanismů. Ackoli původní formulace zahrnuje výměnu zpráv podobnou tatonem, pozornost se brzy zamerila na statiku, tj. na úlohu rozpoznání rovnováhy procesů výmeny zpráv, spíse nez na úlohu nalezení rovnováhy. V literature se v rámci verifikacního scénáre izoluje problém rozpoznání rovnováhy, resp. resení, od procesu hledání rovnováhy. V overovacím scénári kazdý agent reaguje na oznámenou zprávu tím, ze rekne ano nebo ne. Reakce overují navrzenou rovnováhu, kdyz vsichni agenti reknou ano (v jazyce informatiky je verifikacní scénár nedeterministický algoritmus). Tak aby se zase neplacalo jen piva…