Logika na potrzeby gier i strategicznego wnioskowania, Lizbona, Portugalia
16 Sierpnia 2010 - 16 Sierpnia 2010
Portugalia
W dniach 16-17 sierpnia 2010 r. w Lizbonie, Portugalia, odbędą się warsztaty pt. "Logika na potrzeby gier i strategicznego wnioskowania".
Strategiczne wnioskowanie zachodzi w wielu systemach wieloagentowych. Jest to szczególnie widoczne w teoretycznych modelach gier i teoretycznych modelach decyzyjnych, ale również w bardziej nieformalnym kontekście wykorzystującym metaforę gry (jak gry komputerowe czy portale społecznościowe). Logika matematyczna może tutaj wnieść swój wkład na wiele sposobów, dostarczając specyfikacje, modele i/lub algorytmy dla scenariuszy przypominających grę.
W ramach wydarzenia zbadany zostanie również sposób, w jaki logika może pogłębić naszą wiedzę na temat gier, ich modelowania i analizy, jak również sposób, w jaki metafora gier i strategii może pomóc w budowaniu i wykorzystywaniu formalizmów logicznych.
Tematy, które zaplanowano do omówienia w czasie wydarzenia:
- Logika wnioskowania na temat gier i strategii;
- Logika modalna zdolności strategicznej;
- Logiczne podstawy gier i teorii podejmowania decyzji;
- Logiczne podejścia do racjonalności i ograniczonej racjonalności;
- Gry logiczne i weryfikacja strategii przez testowanie modeli;
- Logika na potrzeby projektowania mechanizmów;
- Semantyka gier w logice;
- Gry w weryfikacji specyfikacji logicznych.Więcej informacji:
http://centria.di.fct.unl.pt/events/climaXI/sessions.html(odnośnik otworzy się w nowym oknie)
Strategiczne wnioskowanie zachodzi w wielu systemach wieloagentowych. Jest to szczególnie widoczne w teoretycznych modelach gier i teoretycznych modelach decyzyjnych, ale również w bardziej nieformalnym kontekście wykorzystującym metaforę gry (jak gry komputerowe czy portale społecznościowe). Logika matematyczna może tutaj wnieść swój wkład na wiele sposobów, dostarczając specyfikacje, modele i/lub algorytmy dla scenariuszy przypominających grę.
W ramach wydarzenia zbadany zostanie również sposób, w jaki logika może pogłębić naszą wiedzę na temat gier, ich modelowania i analizy, jak również sposób, w jaki metafora gier i strategii może pomóc w budowaniu i wykorzystywaniu formalizmów logicznych.
Tematy, które zaplanowano do omówienia w czasie wydarzenia:
- Logika wnioskowania na temat gier i strategii;
- Logika modalna zdolności strategicznej;
- Logiczne podstawy gier i teorii podejmowania decyzji;
- Logiczne podejścia do racjonalności i ograniczonej racjonalności;
- Gry logiczne i weryfikacja strategii przez testowanie modeli;
- Logika na potrzeby projektowania mechanizmów;
- Semantyka gier w logice;
- Gry w weryfikacji specyfikacji logicznych.Więcej informacji:
http://centria.di.fct.unl.pt/events/climaXI/sessions.html(odnośnik otworzy się w nowym oknie)