| 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) |
