En utilisant seulement ces prédicats .....à la conversion à l'aide logique de premier ordre
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 bien ou mal
Aussi ne sais pas, comment convertir cette ligne ...
On sunny days Julie goes to the park, otherwise she stays at home.
apprécierait l'aide ... Merci ...
cela ne fonctionnerait pas aussi loin que je sais cause .... cela impliquerait qu'elle peut être à la maison sur Une journée ensoleillée....!!! – John
oh oui! Désolé je l'ai mal lu. Je vais changer ma réponse. –
et si j'écris quelque chose comme [ensoleillé (Y) -> emplacement (Julie, Y, parc)] V emplacement (Julie, Y, à la maison) – John