Odpowiedzialni: AD, PP
Badanie online, na bazie generatora zagadek, który w zeszłym roku PP napisał z panią MŻ (pozdrawiam!)
Zaczęło się od kursu http://logic.amu.edu.pl/index.php/Jerzy_Pogonowski:_Zagadki, gdzie wisi przyjemny pdf o tym, o co Smullyanowi chodziło w zagadkach i jak formalizować ich rozwiązywanie. Popełniono pracę zaliczeniową:
https://dl.dropboxusercontent.com/u/6119092/piesiak%20%C5%BCukowska%20praca%20zagadki%202013.pdf
Ze skryptem do niej:
https://dl.dropboxusercontent.com/u/6119092/generator.py (wykonać z ipythona, potem zgodnie z instrukcjami w pdf zadaje zagadki)
Badanie ma mieć formę kwestionariusza online, w którym ludzie w etapie pierwszym są konfrontowani z pytaniami typu "A jest rycerzem, B jest szpiegiem. Co mogą oni powiedzieć w tej sytuacji? (dużo potencjalnych ptaszków do znaznaczenia)". Ustalana jest reguła przekładu, lepsza od wymyślonej ad hoc na potrzeby pracy (tam był postulat, żadnych badań empirycznych). W drugim etapie możanby już generować zagadki lepiej i np. badać, jacy ludzie rozwiązują zagadki na logice trójwartościowej zaskakująco gorzej niż na dwuwartościowej, mimo tej samej złożoności problemu. Kwestia płci, poglądów, trenignu formalnego z logiki klasycznej...? Zawsze pomocni okażą się pewnie dr hab. MU i prof. JP.
Zadania:
Etap 1:
AD: Zgłoszenie uwag krytycznych do założeń, kilka hipotez wstępnych.
PP: Napisanie skryptu automatycznie dopasowującego przekład do zbioru odpowiedzi, dokonującego klasteryzacji
Etap 2:
AD, PP: Projekt kwestionariusza online