Diskussion:Horn-Formel

aus Wikipedia, der freien Enzyklopädie

Es sollte noch ein wenig auf Horn-Klauseln /-Formeln in der Prädikatenlogik erster Stufe eingegangen werden. Momentan sieht es ein wenig seltsam aus, wenn zuerst gesagt wird, das Horn-Klauseln aussagenlogische Klauseln sind, später aber von Prolog die Rede ist. --zeno 16:52, 30. Jun 2005 (CEST)

[Bearbeiten] Sprache

Hm, was ist denn mit dem Bearbeitungskommentar "Sch Dreck ist ja falsch" [1] gemeint? Die damit eingebrachte Formulierung "das heißt eine Konjunktion = durch Und-Verknüpfung von Disjunktionen = Oder-verknüpften einfachen Termen)" ist ungrammatisch, und eine Horn-Formel ist eine KNF, deren jedes Konjunkt eine Disjunktion mit höchstens einem unverneinten Literal ist... Siehe auch die Beispiele in Horn-Formel#Darstellungsformen_von_Horn-Klauseln oder, wenn der "Sch Dreck"-Kommentator externe Quellen wünscht, http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node2.html#Hornformel (Definition 1.6) und beliebige andere. Ich stelle daher einmal die grammatische Version wieder her. --GottschallCh 09:23, 12. Okt. 2007 (CEST)

Das ist nach http://www-ai.cs.uni-dortmund.de:8765/lexikon/lexikon.html von Uschi Robers 6.2.1998 geschrieben und sieht nach Studienarbeit o.ä. aus, Der server gehört aber dem ai-Institut. Ist also als Quelle nur bedingt brauchbar, etwa als unwidersprochene Meinung in einer wissenschaftlichen Bearbeitung.

Mir ging es vor allem um die omataugliche Formulierung. In der Bezeiehung ist die anschliessende Erklärung mit Besipiel und Hornklauselabsatz ein diskutierbarer Ansatz. Der Hinweis auf den Uniserver bietet mit seiner KNF und DNF eine Abküfi-Formulierung, die eigentlich nicht WP-tauglich ist. Andererseits schwirren in verschiedenen Prolog-Handbüchern widersprüchliche Definitionen rum, gegen die eine WP-Formulierung eine Begriffsfindung geschimpft werden könnte. Mir wäre ne Quelle lieber, die man als anerkannte Lehrmeinung bezeichnen kann, also etwa ein Uni-Lehrbuch. Ich werd mal mit den Dortmunder Uni-Mitarbeitern versuchen weiterzukommen. --SonniWP✉✍ 12:31, 12. Okt. 2007 (CEST)