Detta dokument är ett bidrag till formaliseringen av Thagards sammanhållningsteori. Begreppet koherens definieras som kvalitet eller tillstånd av kohering, särskilt en logisk, ordnad och estetiskt konsekvent relation av delar. En sammanhängande uppsättning är beroende av varandra så att varje element i den bidrar till samstämmigheten. Vi tar Thagards förslag om samstämmighet som att maximera tillfredsställelsen av begränsningar mellan element och undersöka dess användning i normativa multiagentsystem. I synnerhet tolkar vi konsekvensmaximering som ett beslutskriterium för antagande av norm. Vi tillhandahåller först en allmän ram för samstämmighet med de nödvändiga datorverktygen. Senare inför vi en bevis-teoretisk karakterisering av en viss typ av samstämmighet, nämligen den avdragsgilla samstämmigheten baserad på Thagards principer, och härleder en mekanism för att beräkna samstämmighetsvärden mellan element i en diagram över avdragsgill samstämmighet. Vår användning av graderad logik hjälper oss att införliva resonemang under osäkerhet, vilket är mer realistiskt i samband med multiagentsystem. Vi genomför sedan en fallstudie där agenter överlägger om normanpassning i ett multiagentsystem där det finns konkurrens om en gemensam resurs. Vi visar hur en koherensmaximerande agent beslutar sig för att bryta mot en norm som styrs av dess koherens.
Exemplet i REF illustrerar användningen av samstämmighet som ett kriterium för att förkasta eller godta enkla kravnormer.
Deductive coherence and norm adoption
{'venue': 'Log. J. IGPL', 'journal': 'Log. J. IGPL', 'mag_field_of_study': ['Mathematics', 'Computer Science']}