hide
Free keywords:
-
Abstract:
In diesem Beitrag wird gezeigt, wie man monotone zweiwertige Logiken mit Hilfe von Hilbertkalkü}len spezifizieren und diese Spezifikation automatisch in einem Compiler transformieren kann, der Formeln dieser Logik in normale Pr{ä}dikatenlogik {ü}bersetzt. Es ist damit unn{ö}tig geworden, spezielle Kalk{ü}le f{ü}r diese Logken zu entwickeln. Alle f{ü}r Pr{ä}dikatenlogik entwickelten Methoden ‒ Kalküle, automatische Beweiser, logische Programmiersprachen, KL‐ONE basierte Wissensreprästenationssprachen, Defaultmechanismen und so weiter ‒ sind dann auch für die neu definierten Logiken anwendbar. Damit steht eine Methodik zur Verfügung, um komplexe Logiken für Anwednungen in der KI ma{\"szuschneidern, ohne die notwendingen Inferenzverfahren wieder neu erfinden zu müssen.