0
$\begingroup$

i m doing KB from sentence to model.

I m stuck on this sentence that say this :

The packages stored in room1 are smaller than those stored in room 2.

I m created this vocabulary

  • Package X
  • Stored(X,Y)
  • Room Y1
  • Room Y2
  • Smaller(X,Z)

and I wrote this sentence in this ways but i have some doubts:

1 - $ \forall y P(y) \land stored(y, R2) \implies \forall x P(x) \land stored(x,R1) \land smaller(x,y) $

2- $ \forall y \forall x P(x)P(y) \implies stored(y, R2) \land stored(x,R1) \implies smaller(x,y) $

and for the second sentence I m confused if I can substituite first implication with and predicate in this way

$ \forall y \forall x P(x)P(y) \land stored(y, R2) \land stored(x,R1) \implies smaller(x,y) $

that sound more correct.

Can someone tell me if I'm wrong?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.