Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03429.jsonl.gz/1820

Sogenannte Rechtfertigungslogiken erlauben logisches Schliessen mit und über die Gründe, weshalb ein Agent etwas bestimmtes weiss (oder glaubt). Wir wollen nun diese Logiken so erweitern, dass sie auch im Kontext von Erlaubnis und Verpflichtung angewendet werden können. Dies ist insbesondere wichtig, wenn der Agent Handlungen planen soll, welche moralische Konsequenzen haben.
In einem zweiten Teil wollen wir Rechtfertigungslogiken mit einer algebraischen Struktur erweitern. Dadurch können wir mit Rechtfertigungen „rechnen“. Damit wird es beispielsweise möglich, das Vertrauen in eine Rechtfertigung oder die Wahrscheinlichkeit, dass eine Rechtfertigung zutrifft, zu berechnen.