Core Concepts
Eine formale Logik zur Charakterisierung und Erkundung von Vertrauenswürdigkeit, ausgehend von ersten Prinzipien.
Abstract
Der Artikel zeigt die Anfangsstadien der Entwicklung einer formalen Logik zur Charakterisierung und Erkundung von "Vertrauenswürdigkeit" im weitesten Sinne.
Zunächst wird "Vertrauenswürdigkeit" als Konzept definiert, das die Sicherstellung der Konstanz von Informationen umfasst. Im Gegensatz zu "Wahrheit" vermeidet der Ansatz Bezüge zu Autoritäten oder eine objektive Realität, da diese Probleme aufwerfen können.
Die Logik basiert auf intuitionistischer Logik, da diese im Gegensatz zu klassischer Logik keine Informationen verliert, was für die Formalisierung von Vertrauenswürdigkeit entscheidend ist. Die Logik umfasst Regeln für atomare Vertrauenswürdigkeit, das Zusammenfügen von Vertrauensansprüchen, die Wahl zwischen Ansprüchen und Vertrauensansprüche mit Vorbedingungen.
Anschließend wird die Logik um Akteure und Vertrauensbeziehungen zwischen ihnen erweitert. Dies ermöglicht es, Vertrauenswürdigkeit in Szenarien mit mehreren Beteiligten zu modellieren. Beispiele zeigen die Anwendung der Logik auf Lieferketten und Prozessverifizierung.
Abschließend wird eine Semantik für die Logik entwickelt, die die Soundness der Vertrauensregel nachweist.
Stats
Keine relevanten Statistiken oder Zahlen im Text.
Quotes
Keine markanten Zitate im Text.