Spelteorin håller på att bli central för utformningen och analysen av beräkningsmekanismer där flera enheter samverkar strategiskt. Verktygen för mekanismdesign används i stor utsträckning för att skapa incitament för sanningsuppenbarelse i resursfördelning (t.ex. Kombinatoriska auktioner) och protokoll för aggregering av preferenser (t.ex. Omröstning. Vi hävdar att mekanismdesign också kan vara användbar i utformningen av logiska inferens förfaranden. I synnerhet kan det hjälpa oss att förstå och ingenjörsinferenser när kunskap sprids mellan egenintresserade agenter. Vi sätter upp en forskningsagenda för detta framväxande område och pekar på några tidiga forskningsinsatser.
REF undersöker förhållandet mellan mekanismdesign och formell logik, särskilt i utformningen av logiska inferensprocedurer när kunskap delas mellan flera deltagare.
Logical mechanism design
{'venue': 'Knowledge Eng. Review', 'journal': 'Knowledge Eng. Review', 'mag_field_of_study': ['Computer Science']}