Horn-Klausel

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Horn-Klauseln sind eine Darstellungsweise fuer Aussagen in Aussagenlogik. Sie haben die Form

<math>A_1 \wedge A_2 \wedge \dots \wedge

wobei <math>A_1 \dots A_n</math> einzelne Horn-Klauseln Diese haben die Form

<math>(B_1 \vee \dots \vee B_m) \rightarrow

Nicht jeder Aussage die sich in Aussagenlogik formulieren laesst ist als Horn-Klausel darstellbar.

Die Bedeutung der Horn-Klauseln liegt z.B. der Informatik beim maschinellen Schliessen.

Bücher zum Thema Horn-Klausel

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Horn-Klauseln.html">Horn-Klausel </a>