++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ Hausaufgaben ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie ++

Navigation

Mathematik Begriffe
A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 123      
Goldkurs

Mathematik Begriff Erklärung Horn-Klausel Formel Hilfe Hausaufgabeb
Horn-Klausel

Eine Horn-Klausel ist eine Darstellungsweise für Aussagen in der Aussagenlogik. Diese besteht aus einer Disjunktion von Literalen. Dabei ist höchstens ein Literal positiv.

Eine Horn-Klausel hat die Form:

(\neg A_1 \vee \dots \vee \neg A_m \vee C)

Äquivalent dazu ist folgende Schreibweise:

(A_1 \wedge \dots \wedge A_m) \rightarrow C

Eine Konjunktion von Horn-Klauseln nennt man Horn-Form:

B_1 \wedge B_2 \wedge \dots \wedge B_n

Nicht jede Aussage, die sich in der Aussagenlogik formulieren lässt, ist als Horn-Klausel darstellbar.

Die Bedeutung der Horn-Klauseln liegt z.B. in der Informatik beim maschinellen Schließen. Eine bekannte Programmiersprache mit Horn-Klauseln ist Prolog.
Dieser Artikel ( Horn-Klausel ) stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence. 
+++ Mathe Formeln ++ Mathematik Lexikon ++ Lösungen ++ IMPRESSUM ++ Algebra ++ Lernen ++ Übungen ++ Schule ++ Geometrie +++