Abstrakt. Vi inför ett nytt tillvägagångssätt för att modellera osäkerhet på grundval av rimliga åtgärder. Detta tillvägagångssätt ses lätt att generalisera andra metoder för att modellera osäkerhet, såsom sannolikhetsåtgärder, trosfunktioner och möjliga åtgärder. Vi fokuserar på en tillämpning av rimliga åtgärder i detta dokument: standard resonemang. Under de senaste åren har ett antal olika semantik för fallissemang föreslagits, såsom preferensstrukturer, -semantik, possibilistiska strukturer, och σ-rankningar, som har visat sig kännetecknas av samma uppsättning axioms, känd som KLM egenskaper. Även om detta betraktades som en överraskning, visar vi här att det nästan är oundvikligt. Inom ramen för rimliga åtgärder kan vi ge ett nödvändigt villkor för att KLM-axiomerna ska vara sunda, och ytterligare ett villkor som är nödvändigt och tillräckligt för att säkerställa att KLM-axiomerna är fullständiga. Detta ytterligare villkor är så svagt att det nästan alltid uppfylls när axioms är ljud. Framför allt är det lätt att se att det finns utrymme för alla förslag som läggs fram i litteraturen.
På liknande sätt inför arbetet i REF rimliga åtgärder som används för att motivera en uppsättning axiom för felaktiga resonemang.
Plausibility measures and default reasoning
{'venue': 'JACM', 'journal': None, 'mag_field_of_study': ['Computer Science']}