Logisk formalisering av agentbeteende är önskvärd, inte bara för att ge en tydlig semantik av agentbaserade system, utan också för att lägga grunden för sofistikerade resonemangsmetoder som ska användas på, och av, agenterna själva. De möjliga världssemantik som erbjuds av modal logik har visat sig vara en framgångsrik ram för att modellera mentala attityder hos agenter som övertygelser, önskningar och intentioner. De mest populära valen för att modellera de informativa attityder innebär att kommentera agenten med en S5-liknande logik för kunskap, eller en KD45-liknande logik för tro. Med hjälp av dessa logiker i sin standardform kan en agent emellertid inte särskilja situationer där bevisen för ett visst faktum är lika fördelade över sina alternativ, från situationer där det bara finns ett, nästan försumbart, kontraexempel på ett "faktum". Probabilistiska modala logiker är ett sätt att ta itu med detta, men de blir lätt både beräkningsmässigt och konceptuellt komplexa, till exempel ofta utan egenskapen kompaktitet. I detta dokument föreslår vi en probabilistisk modallogik P F KD45, där sannolikheterna för de möjliga världarna sträcker sig över en ändlig värdedomän, samtidigt som agenten fortfarande kan resonera om oändligt många alternativ. På så sätt förblir logiken kompakt, vilket innebär att agenten fortfarande måste överväga endast ändligt många möjligheter till sannolikhetsfördelning under en resonemangsuppgift. Vi demonstrerar ett ljud, kompakt och komplett axiomatisering för P F KD45 och visar att det har flera tilltalande funktioner. Sedan diskuterar vi ett genomfört beslutsförfarande för logiken och ger ett litet exempel.
Arbetet i REF presenterar logiken P F KD45, vars syntax är mycket lik COGWED.
Specifying and reasoning about uncertain agents
{'venue': 'Int. J. Approx. Reason.', 'journal': 'Int. J. Approx. Reason.', 'mag_field_of_study': ['Computer Science', 'Mathematics']}