Olika kombinationer av tidslogik, epistemisk och doxastisk logik och handlingslogik har använts för att resonera om (grupper av) agenter i sociala situationer. En viktig fråga som har dykt upp är hur man bäst representerar och resonerar om det underliggande protokollet som styr agenternas interaktioner i en viss social situation. I detta dokument föreslår vi en PDL-logik för resonemang om protokoll under bristfällig information. Vårt dokument berör ett antal frågor kring relationen mellan en agents förmågor, tillgängliga val och information i en interaktiv situation. Huvudfrågan vi tar upp är under vilka omständigheter agenten kan åta sig ett protokoll eller en plan, och vad kan hon uppnå genom att göra det?
I REF presenterar Pacuit och Simon en PDL-logik för resonemang om protokoll under ofullständig information.
REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
{'venue': 'Rev. Symb. Log.', 'journal': 'Rev. Symb. Log.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}