Rimliga modeller är Kripke-modeller som agenter använder för att resonera om kunskap och tro, både av sig själva och av varandra. Sådana modeller används för att tolka begreppen villkorlig tro, grad av tro och säker tro. Logiken av villkorlig tro innehåller denna modalitet och även kunskap modaliteten, och på liknande sätt för logiken av grader av tro och logiken av säker tro. När det gäller dessa logiker kan trovärdiga modeller innehålla för mycket information. Det krävs en korrekt uppfattning om bisimulering som kännetecknar dem. Vi definierar detta begrepp om bisimulation och bevisar de nödvändiga karakteriseringarna: om klassen av bildfinita och preimagefinita modeller (med avseende på rimlighetsförhållandet) är två spetsiga Kripke modeller modalt likvärdiga i någon av de tre logikerna, om och endast om de är tvåliknande. Som ett resultat av detta kan informationsinnehållet i en sådan modell på liknande sätt uttryckas i logiken i villkorlig tro, eller logiken i grader av tro, eller i en säker tro. Detta fann vi ett överraskande resultat. Men det betyder inte att logiken är lika uttrycksfull: logiken i villkorliga och grader av tro är ojämförlig, logiken i grader av tro och säker tro är ojämförlig, medan logiken i säker tro är mer uttrycksfull än logiken i villkorlig tro. Med tanke på resultatet av bisimuleringens karakterisering är detta ett lika överraskande resultat. Vi hoppas att våra insikter kan bidra till den växande gemenskapen av formell epistemologi och relationen mellan kvalitativ och kvantitativ modellering.
Ett annat begrepp om bisimulering för villkorlig tro på multi-agent reausability modeller ges i REF.
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
{'venue': 'Synthese 194(7): 2447-2487 (2017)', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}