Modellierung und Resolution |
| 19.04.2017, 15:41 | Auf diesen Beitrag antworten » |
| Haevelin | Modellierung und Resolution Folgende Aussagen sollen aussagenlogisch modelliert werden: 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:34 | Auf diesen Beitrag antworten » |
| Haevelin | 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 » |
