Modellierung und Resolution |
19.04.2017, 15:41 | Haevelin | Auf diesen Beitrag antworten » |
Modellierung und Resolution Wenn Sie das Lauftraining(L) buchen, dann sollten Sie auch den Kurs im Kraftraum(K) belegen oder das Hanteltraining (H). Wenn Sie den Schwimmkurs(S) nicht besuchen können Sie auch nicht am Aqua-Jogging(A) teilnehmen. Schwimmen und Hanteltraining sind in diesem Semester nicht gleichzeitig buchbar. Wollen Sie Tennis(T) spielen, dann brauchen Sie sowohl das Lauftraining als auch den Aqua-Jogging-Kurs. Folgende Aussage soll bewertet werden: Wenn ich Tennis spielen will, muss ich also auch in den Kraftraum. 1. Schritt: Aussagenlogische Modellierung: (1) L -> K vel H (2) !S -> !A (3) !(S et H) (4) t -> (L et A) (5) T -> K 2. Schritt: Klauseln {!L,K,H} {S,!A} {!S, !H} {!T,L} {!T,A} und die negierte letzte Aussage führt auf: {!T,K} 3. Schritt: Resolution {!T, L} und {T} führt auf: {L} und {!L,K,H} führt auf: {K,H} und {!S, !H} führt auf: {K, !S} und {S, !A} führt auf: {K,!A} und {!K} führt auf:{!A} und {!T,A} führt auf {!T} und {T} führt auf: leere Klausel 4. Schritt: die Negation von (5) führt auf die leere Klausel, also gilt (5) |
||
19.04.2017, 16:33 | Haevelin | Auf diesen Beitrag antworten » |
RE: Modellierung und Resolution Es muss natürlich für die zu beweisende Aussage gelten: {T} {!K} als Klauseln dort wo t steht sollte T stehen. |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
|
Die Neuesten » |
|