Note: |
Special Issue on Logic |
(LaTeX) Abstract: |
In diesem Beitrag wird gezeigt, wie man monotone zweiwertige Logiken mit Hilfe von Hilbertkalk{\"u}len spezifizieren und diese Spezifikation automatisch in einem Compiler transformieren kann, der Formeln dieser Logik in normale Pr{\"a}dikatenlogik {\"u}bersetzt. Es ist damit unn{\"o}tig geworden, spezielle Kalk{\"u}le f{\"u}r diese Logken zu entwickeln. Alle f{\"u}r Pr{\"a}dikatenlogik entwickelten Methoden -- Kalk\"ule, automatische Beweiser, logische Programmiersprachen, KL-ONE basierte Wissensrepr\"astenationssprachen, Defaultmechanismen und so weiter -- sind dann auch f\"ur die neu definierten Logiken anwendbar. Damit steht eine Methodik zur Verf\"ugung, um komplexe Logiken f\"ur Anwednungen in der KI ma{\"s}zuschneidern, ohne die notwendingen Inferenzverfahren wieder neu erfinden zu m\"ussen. |
URL for the Abstract: |
|
Categories,
Keywords: |
|
HyperLinks / References / URLs: |
|
Copyright Message: |
|
Personal Comments: |
|
Download
Access Level: |
|
|