(۱۵ دى ۱۳۹۳ ۰۴:۵۷ ب.ظ)joyebright نوشته شده توسط:  مگه زنجیره پیشرو در FOL مربوط به کلاز های معین نمیشه و کلاز معین هم تعریفشون اینه ترکیب فصلی لیترال هایی است که دقیقاً یکی از آن ها + است . چرا اینجا کلاز انتخاب کرده که بیشتر از یک لیترال + داره؟
جواب تست گزینه د

(۱۵ دى ۱۳۹۳ ۰۵:۲۵ ب.ظ)shamim_70 نوشته شده توسط:  

(15 دى ۱۳۹۳ ۰۴:۵۷ ب.ظ)joyebright نوشته شده توسط:  مگه زنجیره پیشرو در FOL مربوط به کلاز های معین نمیشه و کلاز معین هم تعریفشون اینه ترکیب فصلی لیترال هایی است که دقیقاً یکی از آن ها + است . چرا اینجا کلاز انتخاب کرده که بیشتر از یک لیترال + داره؟
جواب تست گزینه د

پایگاه دانش شما از ۳جمله تشکیل شده !
برای FOLباید هر کدام ازاین ۳جمله بشکل HNF یا فراکرد معین باشن
گزینه ۴رو ببین:
جمله اولش جمله شرطی هست ک اگ تبدلش بکنی به HNF میشه[tex]\sim p(x)\: \vee\: \sim q(x)\: \vee\: R(x)[/tex]ک یک لیترال مثبت داره و HNFهس
جمله دوم و سوم هم:چون گزاره تنها هست و گزاره تنها ک چ مثبت باشه چ منفی به فرم HNFهست

اوکی؟

(۱۵ دى ۱۳۹۳ ۰۵:۴۰ ب.ظ)joyebright نوشته شده توسط:  

(15 دى ۱۳۹۳ ۰۵:۲۵ ب.ظ)shamim_70 نوشته شده توسط:  

(15 دى ۱۳۹۳ ۰۴:۵۷ ب.ظ)joyebright نوشته شده توسط:  مگه زنجیره پیشرو در FOL مربوط به کلاز های معین نمیشه و کلاز معین هم تعریفشون اینه ترکیب فصلی لیترال هایی است که دقیقاً یکی از آن ها + است . چرا اینجا کلاز انتخاب کرده که بیشتر از یک لیترال + داره؟
جواب تست گزینه د

پایگاه دانش شما از ۳جمله تشکیل شده !
برای FOLباید هر کدام ازاین ۳جمله بشکل HNF یا فراکرد معین باشن
گزینه ۴رو ببین:
جمله اولش جمله شرطی هست ک اگ تبدلش بکنی به HNF میشه[tex]\sim p(x)\: \vee\: \sim q(x)\: \vee\: R(x)[/tex]ک یک لیترال مثبت داره و HNFهس
جمله دوم و سوم هم:چون گزاره تنها هست و گزاره تنها ک چ مثبت باشه چ منفی به فرم HNFهست

اوکی؟

گزینه دو واسه این نمی تونه جواب باشه چون HNF ترکیب فصلی نمیشه?