المساعدة في التحويل إلى منطق الدرجة الأولى

Question

باستخدام هذه المتنبئين فقط .....

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

لست متأكدًا مما إذا كان ما كتبته صوابًا أم خطأ

أيضا لست متأكدا ، كيفية تحويل هذا الخط ...

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

سوف نقدر المساعدة ... شكرا ...

Answer 1

ربما شيء من هذا القبيل:

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

سأقوم بتحرير هذا أكثر إذا كان بإمكاني التفكير في شيء ما. لقد مر بعض الوقت منذ أن لمست منطق الدرجة الأولى :)

Answer 2

إجابتك الأولى ليست صحيحة ، لكنها ليست قابلة للترجمة حقًا لأنها لا تصف قاعدة صارمة ، ولكن فقط شيء هو الحال عمومًا. لوصف هذا النوع من الأشياء التي ستحتاج إلى نوع من المنطق غير الرتابة.

لكن حتى لو تركنا ذلك ، وفقط ، فهي قاعدة صارمة وتجاهل كل السلوك الاستثنائي الذي تقوله هنا أنه لا يوجد كيان X إذا كان طفلاً وفي المنزل مريض وطفل. أعتقد أنك من المفترض أن تكون سابقة الثانية من الآثار المترتبة على أن يكون موقع $ (x ، y ، المدرسة) $

يبدو تقديم الجملة الثانية من قبل Sagar V لطيفًا ، لكن ربما تريد عكس المعنى الضمني (يعتمد على العلاقة المسببة التي تريدها) وتجبر جولي على جولي أن تكون طفلة ليست في بيان مشكلتك