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?
En nyligen publicerad artikel av Pacuit och Simon REF utvecklar en PDL-logik för resonemang om protokoll.
REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
{'venue': 'Rev. Symb. Log.', 'journal': 'Rev. Symb. Log.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}