Hilfe bei der in erster Ordnung Logik Umwandeln

Question

Mit nur diese Prädikate .....

child(X)            X is a child
unwell(X,Y) X is unwell on day Y
location(X,Y,Z)     Location of X on day Y is Z (school, park, home)
sunny(X)            X is a sunny day

Generally, children do not go to school whenever they are unwell
∄x [Child(x) ∧ location(X,y,home) → Child(x) ∧ unwell(X,y)]

Nicht sicher, ob, was ich geschrieben habe, ist richtig oder falsch

Auch nicht sicher, wie diese Zeile konvertieren ...

On sunny days Julie goes to the park, otherwise she stays at home.

würde es begrüßen, die Hilfe ... Danke ...

Answer 1

Vielleicht so etwas wie folgt aus:

 ((child(Julie) ^ location(Julie,Y,park)) -> sunny(Y)) ^ ((child(Julie) ^ location(Julie,Y,home)) -> ~sunny(Y))

Ich werde diese weiter bearbeiten, wenn ich an etwas denken kann. Schon eine Weile her, seit ich Logik erster Ordnung berührt:)

Answer 2

Ihre erste Antwort ist nicht richtig, aber es ist nicht wirklich übersetzbar FOL, weil es beschreibt beschreibt nicht eine strenge Regel, sondern nur etwas, das im Allgemeinen der Fall ist. Um diese Art von Dingen zu beschreiben würden Sie irgendeine Art von nicht monotoner Logik benötigen.

Aber selbst wenn wir verlassen das aus, und nur asume ist es eine strenge Regel und ignorieren alle außergewöhnlichen Verhalten, das Sie hier sagen, dass es keine Einheit x ist die, wenn sie ein Kind ist und zu Hause ist krank und ein Kind. Ich glaube, Sie die zweite Präzedenzfall der Implikation sein soll $ Position (X, Y, Schule) $

sein

die Wiedergabe des zweiten Satzes von Sagar V schön aussieht, aber vielleicht wollen Sie die Implikation umkehren (hängt davon ab, welche kausale Beziehung Sie haben wollen) und seine Strafe Kräfte Julie ein Kind zu sein, die nicht in Ihrer Problemstellung ist