Regelbasierte Systeme |
02.05.2017, 16:31 | Auf diesen Beitrag antworten » |
Haevelin | Regelbasierte Systeme Ihr kennt die Vorwärtsverkettung bei regelbasierten Systemen? Also wenn ich folgende Regelmenge habe: 1) if a1 and a2 then a3 2) if a1 and a5 then a7 3) if a2 and a3 and a6 then a9 4) if a3 and a9 then a7 5) if a7 then a10 und die Faktenmenge F={a1, a5} so erhalte ich F0= {a1,a5} F1={a1,a5,a7} F2={a1,a5,a7,a10} F3=F4 =...= F2 Jetzt soll ich zeigen dass für endliche Anzahl an a's die Faktenmenge Fi endlich ist. Intuitiv ist das klar, aber wie beweist man das? Ich habe so angesetzt: Da es eine endliche Anzahl von Regeln AR gibt, denn die a's sind endlich, können höchstens pro Output auf der rechten Seite AR -1 Regeln Anwendung finden. Und die Anzahl der Elemente von a's ist beschränkt, dann ist insgesamt die hinzukommende Menge von Fakten beschränkt. Die Abschätzung der Anzahl der F's ergibt, dass es zumindest geringer ist als die a's - |F| |
|
|
03.05.2017, 10:22 | Auf diesen Beitrag antworten » |
Haevelin | RE: Regelbasierte Systeme Es geht also um einen Fixpunkt in der Generierung. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |