Aide à la conversion en logique du premier ordre

Question

En utilisant seulement ces prédicats .....

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

Je ne sais pas si ce que j'ai écrit est bon ou mauvais

Aussi ne sais pas, comment convertir cette ligne ...

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

apprécieraient l'aide ... Merci ...

Answer 1

Peut-être quelque chose comme ceci:

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

Je vais modifier cet autre si je peux penser à quelque chose. Vous connaissez un moment que je touchais la logique du premier ordre:)

Answer 2

votre première réponse est incorrecte, mais il est pas vraiment traduisible à FOL parce qu'il décrit ne décrit pas une règle stricte, mais seulement quelque chose qui est généralement le cas. Pour décrire ce genre de choses que vous auriez besoin d'une sorte de logique non monotones.

Mais même si nous laissons cela dehors, et juste Asume il est une règle stricte et ignorera tous les comportements d'exception que vous dites ici qu'il n'y a pas une entité x qui, si elle est un enfant et à la maison est malade et un enfant. Je pense que vous vouliez dire être le second précédent de l'implication soit $ emplacement (X, Y, école) $

le rendu de la deuxième phrase par Sagar V semble bien, mais peut-être vous voulez inverser l'implication (dépend de ce rapport de cause à effet que vous voulez avoir) et ses forces de phrase Julie d'être un enfant qui n'est pas dans votre déclaration de problème