Herbrand-Interpretation
Bewertung: 1 Punkt(e)Jeder, der meine Definition und Erläuterung der Herbrand-Interpretation runterbewertet ist ein Banause und gehört aus dem Internet rausgeschmissen!
Anzahl Assoziationen zu diesem Stichwort (einige Beispiele folgen unten) | 8, davon 8 (100,00%) mit einer Bewertung über dem eingestellten Schwellwert (-3) und 2 positiv bewertete (25,00%) |
Durchschnittliche Textlänge | 157 Zeichen |
Durchschnittliche Bewertung | 0,000 Punkte, 4 Texte unbewertet. Siehe auch: positiv bewertete Texte |
Der erste Text | am 16.1. 2002 um 09:51:00 Uhr schrieb waringo über Herbrand-Interpretation |
Der neuste Text | am 5.7. 2009 um 03:40:10 Uhr schrieb Baumhaus über Herbrand-Interpretation |
Einige noch nie bewertete Texte (insgesamt: 4) |
am 28.9. 2004 um 12:59:18 Uhr schrieb
am 3.2. 2003 um 13:00:45 Uhr schrieb
am 5.7. 2009 um 03:40:10 Uhr schrieb |
Jeder, der meine Definition und Erläuterung der Herbrand-Interpretation runterbewertet ist ein Banause und gehört aus dem Internet rausgeschmissen!
Eine Herbrand-Interpretation kann als Teilmenge der Herbrand-Basis angesehen werden.
Nicht jede Herbrand-Interpretation ist auch Herbrand-Modell, aber die komplette Herbrand-Basis ist Modell.
Allerdings nur, wenn das Programm nur aus Hornklauseln besteht; kommt in einer Programmklausel mehr als ein positives Literal vor, treten ganz böse Probleme auf.
Dann muss man das Programm vervollständigen, also COMP(P) bilden.
Einige zufällige Stichwörter |
Rohrstöcke
Rittergut
Turnhalle
nachdenkt
Vulkanette
|