Teoria implementacji

Problem implementacji zdefiniowany jest następująco: mając dany zbiór optymalnych wyników dla różnych stanów świata (w formie reguły wyboru społecznego) skonstruuj grę (mechanizm) taki, że autonomiczni, racjonalni i nastawieni na własne korzyści agenci (czy też gracze) będą mieli motywację do podejmowania indywidualnych wyborów prowadzących do wyników społecznie optymalnych. Prostym przykładem mechanizmu jest aukcja drugiej ceny (powszechnie stosowana w aukcjach internetowych takich jak allegro czy e-bay). Motywuje ona kupującuch do składania ofert równym tyle ile kupowany obiekt jest dla nich wart. Innym przykładem są internetowe systemy punktowe motywujące użytkowników do składania uczciwych ocen.

Które reguły wyboru społecznego są implementowalne w sensie opisanym powyżej? Jakie są kluczowe własności wymagane dla implementowalności? Jak implementować takie reguły? Pytania te stanowią kluczowe zagadnienia podejmowane przez teorię implementacji.

Badania nad teorią implementacji zainicjowane zostały przez Leonida Hurwicza, wychowanka Uniwersytetu Warszawskiego. Wraz z Erykiem Maskinem i Rogerem Myersonem otrzymał on nagrodę Nobla z ekonomi za fundamentalny wkład w rozwój teorii implementacji i mechanizmów.

1. Problem dobra publicznego

2. Alokacja zasobów z racjonalnymi agentami nastawionymi na własne korzyści (wstęp)

3. Implementacja w strategiach dominujących mechanizmy bezpośrednie, reguła ujawniania)

4. Implementacja w równowadze Nasha

5. Implementacja wirtualna

6. Niepełna informacja (implementacja Bayesowska)

7. Implementacja racjonalizowalna

8. Implementacja w środowiskach dynamicznych (implementacja online)

9. Odporność na błędy

Wiedza:

Zna podstawowe problemy teorii implementacji oraz narzędzia formalne do ich analizowania

Zna pojęcie zgodności motywacji oraz rozumie różnice między jego wariantami

Zna podstawowe własności reguł wyboru społecznego implementowalnych w różnych pojęciach rozwiązań

Umiejętności:

Potrafi analizować implementowalność zadanych reguł wyboru społecznego w różnych pojęciach rozwiązań

Potrafi konstruować mechanizmy implementujące zadane reguły wyboru społecznego

Kompetencje:

Zna podstawowe własności implementowlnych reguł wyboru społecznego oraz odpowiadające im pojęcia zgodności motywacji

Zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia, w tym zdobywania wiedzy pozadziedzinowej (K_K01)

Potrafi precyzyjnie formułować pytania, służące pogłębieniu własnego zrozumienia danego tematu (w szczególności w kontaktach z nieinformatykiem) lub odnalezieniu brakujących elementów rozumowania (K_K02)