Allgemeine Dynamische Logik

Der Begriff der Logik beschreibt ganz allgemein das nüchterne Schlussfolgern und darüber hinaus dessen Lehre, welche auch als Denklehre beschrieben wird. Die klassische Logik spielt in vielen Fachbereichen eine zentrale Rolle und hat sich besonders in der Mathematik, Informatik und Philosophie als eigenes Teilgebiet etabliert.
Die Allgemeine Dynamische Logik beinhaltet und verbindet diese bekannten Logikmethoden miteinander. Die Besonderheit an diesem Logikmodell ist die Erweiterung durch Dynamik und Unschärfen. In der Anwendung bedeutet dies, dass der Anwender die Möglichkeit hat Prämissen und Konklusionen dynamisch oder unscharf zu formulieren und sich somit nicht auf einen konkreten Wert festlegen muss. Weiterhin spielt in der Allgemeinen dynamischen Logik das Konzept der Axiome eine grundlegende Rolle. Bei einem Axiom handelt es sich um festgelegte Grundsätze, welche nicht weiter bewiesen werden müssen. Im Rahmen der Anwendung besteht die Möglichkeit die axiomatische Struktur sowie die Anordnung der Axiome dynamisch darzustellen. Ein System, welches auf dem Konzept der Allgemeinen Dynamischen Logik basiert, ist dazu in der Lage auf veränderte Eingangswerte oder Daten zu reagieren und kann darüber hinaus das Entscheidungskalkül auf unterschiedliche Gegebenheiten dynamisch anpassen. Um ein solches System handelt es sich bei der Softwareanwendung DyLogos. Weitere Informationen hierzu finden Sie ebenfalls auf dieser Seite.