Prädikatenlogik 1. Stufe - Generische Konstanten |
28.08.2018, 00:45 | helpPlease | Auf diesen Beitrag antworten » |
Prädikatenlogik 1. Stufe - Generische Konstanten Hallo, generische Konstanten sind Konstanten die zwar in der Signatur vorhanden sind aber weder in der Faktenmenge noch in der Regelmenge auftauchen. Ich verstehe nicht wofür man diese generischen Konstanten braucht? Kann mir jemand einen Tipp geben z.B. anhand eines kleinen Beispiels wofür diese Konstanten nützlich sind? Vielen Dank Meine Ideen: z.B. wenn ich folgende Signatur habe: D = {a,b} = Konstanten W(D) W = Gewinner und dann eine Wissensbasis bestehen aus Konditionalen und Fakten Konditionale (!W(X), (W(a)) Fakten {}. Wäre dann b eine generische Konstante, da sie weder in den Konditionalen vorkommt noch in den Fakten? |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |