I den här artikeln tar vi hänsyn till förtroendets inflytande på assimileringen av förvärvad information till en agents tro. Med hjälp av modal logik karakteriserar vi semantiskt och axiomatiskt förhållandet mellan tro, informationsinhämtning och förtroende. Förtroende- och informationsinhämtningsoperatörerna representeras av normala metoder för KD45 respektive KD, medan tillit betecknas av en modal operatör med minimal semantik. En karakteristisk axiom av det grundläggande systemet är om agent jag tror att agent j har berättat för honom sanningen om p och han litar på bedömningen av j på p, då kommer han också att tro p. Förutom det grundläggande systemet, några varianter och ytterligare axioms för förtroende och informationsinhämtning presenteras också för att visa den uttrycksfulla rikedomen av logiken. Tillämpningarna av logiken på datasäkerhet och databas resonemang föreslås också av dess koppling till några tidigare verk.
I REF representeras förtroende som agentens övertygelse och författaren fokuserar på förtroende för giltigheten och dess inverkan på assimileringen av information som mottas från förvaltaren.
Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation
{'venue': 'Artif. Intell.', 'journal': 'Artif. Intell.', 'mag_field_of_study': ['Computer Science']}