2010-09-30 15 views
0

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

Répondre

0

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 cela plus loin si je peux penser à quelque chose. Été un moment depuis que j'ai touché la logique du premier ordre :)

+0

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

+0

oh oui! Désolé je l'ai mal lu. Je vais changer ma réponse. –

+0

et si j'écris quelque chose comme [ensoleillé (Y) -> emplacement (Julie, Y, parc)] V emplacement (Julie, Y, à la maison) – John

0

votre première réponse est incorrecte, mais il n'est pas vraiment traduisible en FOL, car il décrit ne décrit pas une règle stricte, mais seulement quelque chose qui est généralement l'affaire. Pour décrire ce genre de choses, vous auriez besoin d'une sorte de logique non monotone. Mais même si nous laissons cela de côté, et si nous considérons que c'est une règle stricte et que nous ignorons tout comportement exceptionnel, vous dites ici qu'il n'y a pas une entité qui, si c'est un enfant et à la maison est malade et un enfant . Je pense que vous vouliez être le deuxième précédent de l'implication d'être $ location (X, Y, école) $

le rendu de la deuxième phrase par Sagar V semble bien, mais peut-être que vous voulez inverser l'implication (dépend de quelle relation causale vous voulez avoir) et sa phrase force Julie à être un enfant qui n'est pas dans votre énoncé de problème