waringo schrieb am 16.1. 2002 um 18:06:07 Uhr zu
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 5.7. 2009 um 03:40:10 Uhr schrieb
am 20.7. 2007 um 01:09:50 Uhr schrieb
am 28.9. 2004 um 12:59:18 Uhr schrieb |
waringo schrieb am 16.1. 2002 um 09:51:00 Uhr zu
Herbrand-Interpretation
Bewertung: 1 Punkt(e)
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 |
Leggins
Das-stört-keinen-großen-Geist
Weihnachtsgeschenk
Mittelwert
Funktor
|