Haevelin
Tripel-As
Dabei seit: 04.06.2013
Beiträge: 221
 |
|
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|
|
|
