كيفية توليد أمثلة سلبية في برمجة المنطق الاستقرائي؟

Question

أحاول تعلم قواعد الألغاز وألعاب المجلس من خلال مراقبة الإنسان باستخدام برمجة منطق حثي.يمكنني استخدام البروجول الذي هو برنامج ل ILP مكتوبة في Prolog.بينما بالنسبة لبعض الألعاب، فمن الممكن بشكل صحيح أن تعطيني القواعد، بالنسبة لبعض الآخرين لا يرجع ذلك إلى عدم وجود أمثلة سلبية.

على سبيل المثال، في أبراج لغز هانوي، واحدة من القواعد هي أنه لن يتم وضع كتلة أكبر على رأس الكتلة الأصغر.هذه هي قاعدة سلبية.ولكن منذ أثناء التدريب، لا يحدث هذا الحدث، لا يوجد مثال سلبي صريح يمكن تعلمه هذه القاعدة.

باختصار، كيف يولد أحد الأمثلة السلبية في ILP؟

Answer 1

أعتقد أنه يمكنك التعلم مع البيانات الإيجابية فقط في البروجول؟

http://link.springer.com/chapter/10.1007/3-540-63494-0_65

muggleton، ستيفن."التعلم من البيانات الإيجابية".البرمجة المنطقية الاستقرائي.Springer برلين هايدلبرغ، 1997. 358-376.

اضبط التعلم من وضع البيانات الإيجابية فقط من خلال القيام بذلك في البروجول:

| - Set (posonly)؟