Prädikatenlogik - formale Beschreibung geg. Welt

05.05.2011, 16:28	Freddy_87	Auf diesen Beitrag antworten »
Prädikatenlogik - formale Beschreibung geg. Welt Meine Frage: Hallo zusammen! Also, ich muss in einer Aufgabe eine vollständig formale Beschreibung zweier Zustände einer Welt in Prädikatenlogik abfassen (s. Anhang-1). Durch den Text i.d. Aufgabe bin ich mir allerdings nicht sicher, ob ich die Lösung nicht zu konkret verfasst habe bzw. ob dies noch allgemeiner möglich, oder eher gesagt gewollt ist. Was meint ihr? [attach]19485[/attach] Meine Ideen: Folgende Lösungen habe ich nun raus: $\begin{eqnarray} Initialzustand: (ONTABLE(A) \wedge ON(C,A) \wedge CLEAR(C)) \wedge (ONTABLE(B) \wedge ON(D,B) \wedge CLEAR(D)) \end{eqnarray}$ ...und: $\begin{eqnarray} Zielzustand: (ONTABLE(B) \wedge ON(A,B) \wedge CLEAR(A)) \wedge (ONTABLE(D) \wedge ON(C,D) \wedge CLEAR(C)) \end{eqnarray}$
05.05.2011, 19:56	Freddy_87	Auf diesen Beitrag antworten »
Kennt sich denn in diesem Bereich niemand aus?!

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »