انجمنصفحه اولجستجوی انجمن

[iraj007]

با سلام
دوستان در سوال ۱۱۶ گفته شده که الگوریتم DPLL از کدام یک از هیورستیک های UC (عبارت واحد) و PL (نماد محض)، برای حل مساله ارضا پذیری استفاده می کند که با توجه به تعریف های این دو تابع هیورستیک از کتاب هوش مصنوعی راهیان ارشد می توان گفت که هیچ یک از این دو تابع هیورستیک استفاده نمی شه و باید گزینه چهار جواب باشه.

اول اینکه الگوریتم DPLL از سه تابع هیورستیک استفاده می کنه ( هیورستیک خاتمه زودهنگام، هیورستیک نمادمحض، هیورستیک عبارت واحد) که تعریف نماد محض و عبارت واحد در زیر امده است:

هیورستیک عبارت واحد (Unit Clause): عبارت واحد عبارتی است که فقط شامل یک لیترال باشد. با توجه به عبارتی که در صورت سوال داده شده مشخص است که عبارت فقط با یک لیترال نداریم بنابراین این تابع هیورستیک استفاده ای ندارد.

هیورستیک نماد محض (Pure Literal): نماد محض سمبلی است که در تمام عبارات فصلی در یک جمله CNF با علامت یکسانی ظاهر شده باشد. که با توجه به عبارت سوال این مورد هم استفاده نمی شه. که البته خود طراح سوال هم این مورد رو در نظر گرفته.

جواب طراح سوال گزینه یک است که گفته از UC استفاده می شود ولی با توجه به تعریف بالا و مثالهای کتاب راهیان ارشد این هیورستیک استفاده نمی شه.

دوستان لطفا این مورد رو برسی و اعتراض وارد کنید تا حقمان ضایع نشود. ممنون

[ebi12]

(۳۰ بهمن ۱۳۹۳ ۱۰:۱۱ ق.ظ)iraj007 نوشته شده توسط:  با سلام
دوستان در سوال ۱۱۶ گفته شده که الگوریتم DPLL از کدام یک از هیورستیک های UC (عبارت واحد) و PL (نماد محض)، برای حل مساله ارضا پذیری استفاده می کند که با توجه به تعریف های این دو تابع هیورستیک از کتاب هوش مصنوعی راهیان ارشد (که بهترین کتاب در ضمینه ارشد هوش مصنوعی هست) می توان گفت که هیچ یک از این دو تابع هیورستیک استفاده نمی شه و باید گزینه چهار جواب باشه.

اول اینکه الگوریتم DPLL از سه تابع هیورستیک استفاده می کنه ( هیورستیک خاتمه زودهنگام، هیورستیک نمادمحض، هیورستیک عبارت واحد) که تعریف نماد محض و عبارت واحد در زیر امده است:

هیورستیک عبارت واحد (Unit Clause): عبارت واحد عبارتی است که فقط شامل یک لیترال باشد. با توجه به عبارتی که در صورت سوال داده شده مشخص است که عبارت فقط با یک لیترال نداریم بنابراین این تابع هیورستیک استفاده ای ندارد.

هیورستیک نماد محض (Pure Literal): نماد محض سمبلی است که در تمام عبارات فصلی در یک جمله CNF با علامت یکسانی ظاهر شده باشد. که با توجه به عبارت سوال این مورد هم استفاده نمی شه. که البته خود طراح سوال هم این مورد رو در نظر گرفته.

جواب طراح سوال گزینه یک است که گفته از UC استفاده می شود ولی با توجه به تعریف بالا و مثالهای کتاب راهیان ارشد این هیورستیک استفاده نمی شه.

دوستان لطفا این مورد رو برسی و اعتراض وارد کنید تا حقمان ضایع نشود. ممنون

مطمعن باشین گزینه ۴ نیست چون DPLL یک الگوریتم کامل هست یعنی اگه جواب داشته باشه یا به عبارت دیگه ارضاپذیر باشه حتما جواب برمیگردونه چون ارضا پذیر هست(کافیه مدلش یا جدول صحتش را بکشین بعضی سطرها ارضاپذیره) وقتی هم جواب برگردونه حتما از یکی از روش ها یا هر دو تاش استفاده میشه ولی به نظر من از هر دو تکنیک استفاده میشه باید درنظر بگیریم که الگوریتم مدل را هم گسترش میده یعنی اولش به A مقدار صفر میده بعد عبارت ها را بررسی میکنه با توجه به اینکه A صفر هست عبارت اول میشه درست در نتیجه با درست درنظر گرفتن اول A را بعنوان Pure Literal برمیگپردونه بعدش B را صفر میده و B هم Pure Literal میشه تا اینکه دیگه Pure Literal پیدا نمیشه میره سراغ UC ها

[maryam_92a]

(۳۰ بهمن ۱۳۹۳ ۱۱:۳۲ ق.ظ)ebi12 نوشته شده توسط:  

(30 بهمن ۱۳۹۳ ۱۰:۱۱ ق.ظ)iraj007 نوشته شده توسط:  با سلام
دوستان در سوال ۱۱۶ گفته شده که الگوریتم DPLL از کدام یک از هیورستیک های UC (عبارت واحد) و PL (نماد محض)، برای حل مساله ارضا پذیری استفاده می کند که با توجه به تعریف های این دو تابع هیورستیک از کتاب هوش مصنوعی راهیان ارشد (که بهترین کتاب در ضمینه ارشد هوش مصنوعی هست) می توان گفت که هیچ یک از این دو تابع هیورستیک استفاده نمی شه و باید گزینه چهار جواب باشه.

اول اینکه الگوریتم DPLL از سه تابع هیورستیک استفاده می کنه ( هیورستیک خاتمه زودهنگام، هیورستیک نمادمحض، هیورستیک عبارت واحد) که تعریف نماد محض و عبارت واحد در زیر امده است:

هیورستیک عبارت واحد (Unit Clause): عبارت واحد عبارتی است که فقط شامل یک لیترال باشد. با توجه به عبارتی که در صورت سوال داده شده مشخص است که عبارت فقط با یک لیترال نداریم بنابراین این تابع هیورستیک استفاده ای ندارد.

هیورستیک نماد محض (Pure Literal): نماد محض سمبلی است که در تمام عبارات فصلی در یک جمله CNF با علامت یکسانی ظاهر شده باشد. که با توجه به عبارت سوال این مورد هم استفاده نمی شه. که البته خود طراح سوال هم این مورد رو در نظر گرفته.

جواب طراح سوال گزینه یک است که گفته از UC استفاده می شود ولی با توجه به تعریف بالا و مثالهای کتاب راهیان ارشد این هیورستیک استفاده نمی شه.

دوستان لطفا این مورد رو برسی و اعتراض وارد کنید تا حقمان ضایع نشود. ممنون

مطمعن باشین گزینه ۴ نیست چون DPLL یک الگوریتم کامل هست یعنی اگه جواب داشته باشه یا به عبارت دیگه ارضاپذیر باشه حتما جواب برمیگردونه چون ارضا پذیر هست(کافیه مدلش یا جدول صحتش را بکشین بعضی سطرها ارضاپذیره) وقتی هم جواب برگردونه حتما از یکی از روش ها یا هر دو تاش استفاده میشه ولی به نظر من از هر دو تکنیک استفاده میشه باید درنظر بگیریم که الگوریتم مدل را هم گسترش میده یعنی اولش به A مقدار صفر میده بعد عبارت ها را بررسی میکنه با توجه به اینکه A صفر هست عبارت اول میشه درست در نتیجه با درست درنظر گرفتن اول A را بعنوان Pure Literal برمیگپردونه بعدش B را صفر میده و B هم Pure Literal میشه تا اینکه دیگه Pure Literal پیدا نمیشه میره سراغ UC ها

منبعتون کدوم کتاب هست؟
توضیحاتتون اصلا قانع کننده نیست این الگوریتم از روشهای دیگه هم استفاده میکنه
جواب درست از نظر منم اینه که از هیچ کدوم نمیشه استفاده کرد
لقمه رو دور سر نچرخونید
تعریف عبارت واحد و عبارت خالص توی صورت سوال وجود نداره پس نمیشه از این دو تکنیک استفاده کرد

[shiri]

(۳۰ بهمن ۱۳۹۳ ۰۹:۵۰ ب.ظ)maryam_92a نوشته شده توسط:  

(30 بهمن ۱۳۹۳ ۱۱:۳۲ ق.ظ)ebi12 نوشته شده توسط:  

(30 بهمن ۱۳۹۳ ۱۰:۱۱ ق.ظ)iraj007 نوشته شده توسط:  با سلام
دوستان در سوال ۱۱۶ گفته شده که الگوریتم DPLL از کدام یک از هیورستیک های UC (عبارت واحد) و PL (نماد محض)، برای حل مساله ارضا پذیری استفاده می کند که با توجه به تعریف های این دو تابع هیورستیک از کتاب هوش مصنوعی راهیان ارشد (که بهترین کتاب در ضمینه ارشد هوش مصنوعی هست) می توان گفت که هیچ یک از این دو تابع هیورستیک استفاده نمی شه و باید گزینه چهار جواب باشه.

اول اینکه الگوریتم DPLL از سه تابع هیورستیک استفاده می کنه ( هیورستیک خاتمه زودهنگام، هیورستیک نمادمحض، هیورستیک عبارت واحد) که تعریف نماد محض و عبارت واحد در زیر امده است:

هیورستیک عبارت واحد (Unit Clause): عبارت واحد عبارتی است که فقط شامل یک لیترال باشد. با توجه به عبارتی که در صورت سوال داده شده مشخص است که عبارت فقط با یک لیترال نداریم بنابراین این تابع هیورستیک استفاده ای ندارد.

هیورستیک نماد محض (Pure Literal): نماد محض سمبلی است که در تمام عبارات فصلی در یک جمله CNF با علامت یکسانی ظاهر شده باشد. که با توجه به عبارت سوال این مورد هم استفاده نمی شه. که البته خود طراح سوال هم این مورد رو در نظر گرفته.

جواب طراح سوال گزینه یک است که گفته از UC استفاده می شود ولی با توجه به تعریف بالا و مثالهای کتاب راهیان ارشد این هیورستیک استفاده نمی شه.

دوستان لطفا این مورد رو برسی و اعتراض وارد کنید تا حقمان ضایع نشود. ممنون

مطمعن باشین گزینه ۴ نیست چون DPLL یک الگوریتم کامل هست یعنی اگه جواب داشته باشه یا به عبارت دیگه ارضاپذیر باشه حتما جواب برمیگردونه چون ارضا پذیر هست(کافیه مدلش یا جدول صحتش را بکشین بعضی سطرها ارضاپذیره) وقتی هم جواب برگردونه حتما از یکی از روش ها یا هر دو تاش استفاده میشه ولی به نظر من از هر دو تکنیک استفاده میشه باید درنظر بگیریم که الگوریتم مدل را هم گسترش میده یعنی اولش به A مقدار صفر میده بعد عبارت ها را بررسی میکنه با توجه به اینکه A صفر هست عبارت اول میشه درست در نتیجه با درست درنظر گرفتن اول A را بعنوان Pure Literal برمیگپردونه بعدش B را صفر میده و B هم Pure Literal میشه تا اینکه دیگه Pure Literal پیدا نمیشه میره سراغ UC ها

منبعتون کدوم کتاب هست؟
توضیحاتتون اصلا قانع کننده نیست این الگوریتم از روشهای دیگه هم استفاده میکنه
جواب درست از نظر منم اینه که از هیچ کدوم نمیشه استفاده کرد
لقمه رو دور سر نچرخونید
تعریف عبارت واحد و عبارت ناقص توی صورت سوال وجود نداره پس نمیشه از این دو تکنیک استفاده کرد

کلید این سوال غلط است و کلید درست ان ۴ است.
دلیل: pure literal یعنی اینکه لیترالی داشته باشیم که در همه ی ۴ مورد با علامت یکسانی ظاهر شده باشد و میبینیم که چنین لیترالی نداریم. unit literal هم یعنی یکی از جملات یک لیترال تکی داشته باشد.به ظاهر که گزینه ای اینگونه نیست .حال ببینیم میتوان گزینه ای را به این شکل در اورد.میدانیم رزولوشن را همزمان روی دو متغیر نمیتوان اعلام کرد منظور اینکه اگر اجتماع aوbوc را داشته باشیم و اجتماع aو ناتb و ناتc را نیز داشته باشیم. نمیتوان همزمان b و c را حذف کرد.همچنین اینکه هر کدام از متغیرهای a یا b یا c را در این مثال مقدار true یا false دهیم برای دو متغیر دیگر مقداری پیدا میشود.از این اطلاعات میتوان فهمید که متغیر تک در این عبارات نداریم(حتی اگر بتوانیم عبارات را ساده تر کنیم). پس نمیتوان از unit literal هم در این مثال استفاده کرد.پس جواب درست قطعا گزینه ی ۴ است.

اقایی که میگی قطعا ۴ جواب نیست.هدف unit اینه که پیدا کنه کی تک مقداریه و به تک مقدارش اونو مقدار دهی کنی.حالا به ما بگو a یا b یا c کدومشون هستن که فقط یه مقدار میتونن بگیرن؟؟؟؟؟؟؟؟؟!!!!!!!!!!!!



من ۵ تا هوش زدم که یکیشو سوتی دادم.یکیشم درسته سه تای دیگرو سنجش میگه غلطه که دو تاش ابهام داره.یکیشم همین سوالیه که ذکر شد .توضیحی که تو بالا دادم رو واس اعتراض به سنجش نوشتم .هر کی باهاش موافقه اعلام کنه تا کوبیده شه تو دهن کسی که دهن دانشجوهای مملکتو با استرس و به این شکل نامردی میخواد سرویس کنه.دیگه واقعا دارن کاری میکنن با منجنیق سنجش رو بیارم پایین.بعد اینهمه خوندن واس ارشد رسما دارن میگن یبار دیگم بخون مام دوباره بهت سوال چرتو پرت بدیم!!!!
دیگه گندشو درآروودن....
جواب بی عدالتی تا یه جایی داده نمیشه بالاخره یه روز هر کی جواب کاراشو میبینه.....(اون روز زیاد دور نیست...)

[iraj007]

(۰۲ اسفند ۱۳۹۳ ۰۵:۴۶ ب.ظ)shiri نوشته شده توسط:  

(30 بهمن ۱۳۹۳ ۰۹:۵۰ ب.ظ)maryam_92a نوشته شده توسط:  

(30 بهمن ۱۳۹۳ ۱۱:۳۲ ق.ظ)ebi12 نوشته شده توسط:  

(30 بهمن ۱۳۹۳ ۱۰:۱۱ ق.ظ)iraj007 نوشته شده توسط:  با سلام
دوستان در سوال ۱۱۶ گفته شده که الگوریتم DPLL از کدام یک از هیورستیک های UC (عبارت واحد) و PL (نماد محض)، برای حل مساله ارضا پذیری استفاده می کند که با توجه به تعریف های این دو تابع هیورستیک از کتاب هوش مصنوعی راهیان ارشد (که بهترین کتاب در ضمینه ارشد هوش مصنوعی هست) می توان گفت که هیچ یک از این دو تابع هیورستیک استفاده نمی شه و باید گزینه چهار جواب باشه.

اول اینکه الگوریتم DPLL از سه تابع هیورستیک استفاده می کنه ( هیورستیک خاتمه زودهنگام، هیورستیک نمادمحض، هیورستیک عبارت واحد) که تعریف نماد محض و عبارت واحد در زیر امده است:

هیورستیک عبارت واحد (Unit Clause): عبارت واحد عبارتی است که فقط شامل یک لیترال باشد. با توجه به عبارتی که در صورت سوال داده شده مشخص است که عبارت فقط با یک لیترال نداریم بنابراین این تابع هیورستیک استفاده ای ندارد.

هیورستیک نماد محض (Pure Literal): نماد محض سمبلی است که در تمام عبارات فصلی در یک جمله CNF با علامت یکسانی ظاهر شده باشد. که با توجه به عبارت سوال این مورد هم استفاده نمی شه. که البته خود طراح سوال هم این مورد رو در نظر گرفته.

جواب طراح سوال گزینه یک است که گفته از UC استفاده می شود ولی با توجه به تعریف بالا و مثالهای کتاب راهیان ارشد این هیورستیک استفاده نمی شه.

دوستان لطفا این مورد رو برسی و اعتراض وارد کنید تا حقمان ضایع نشود. ممنون

مطمعن باشین گزینه ۴ نیست چون DPLL یک الگوریتم کامل هست یعنی اگه جواب داشته باشه یا به عبارت دیگه ارضاپذیر باشه حتما جواب برمیگردونه چون ارضا پذیر هست(کافیه مدلش یا جدول صحتش را بکشین بعضی سطرها ارضاپذیره) وقتی هم جواب برگردونه حتما از یکی از روش ها یا هر دو تاش استفاده میشه ولی به نظر من از هر دو تکنیک استفاده میشه باید درنظر بگیریم که الگوریتم مدل را هم گسترش میده یعنی اولش به A مقدار صفر میده بعد عبارت ها را بررسی میکنه با توجه به اینکه A صفر هست عبارت اول میشه درست در نتیجه با درست درنظر گرفتن اول A را بعنوان Pure Literal برمیگپردونه بعدش B را صفر میده و B هم Pure Literal میشه تا اینکه دیگه Pure Literal پیدا نمیشه میره سراغ UC ها

منبعتون کدوم کتاب هست؟
توضیحاتتون اصلا قانع کننده نیست این الگوریتم از روشهای دیگه هم استفاده میکنه
جواب درست از نظر منم اینه که از هیچ کدوم نمیشه استفاده کرد
لقمه رو دور سر نچرخونید
تعریف عبارت واحد و عبارت ناقص توی صورت سوال وجود نداره پس نمیشه از این دو تکنیک استفاده کرد

کلید این سوال غلط است و کلید درست ان ۴ است.
دلیل: pure literal یعنی اینکه لیترالی داشته باشیم که در همه ی ۴ مورد با علامت یکسانی ظاهر شده باشد و میبینیم که چنین لیترالی نداریم. unit literal هم یعنی یکی از جملات یک لیترال تکی داشته باشد.به ظاهر که گزینه ای اینگونه نیست .حال ببینیم میتوان گزینه ای را به این شکل در اورد.میدانیم رزولوشن را همزمان روی دو متغیر نمیتوان اعلام کرد منظور اینکه اگر اجتماع aوbوc را داشته باشیم و اجتماع aو ناتb و ناتc را نیز داشته باشیم. نمیتوان همزمان b و c را حذف کرد.همچنین اینکه هر کدام از متغیرهای a یا b یا c را در این مثال مقدار true یا false دهیم برای دو متغیر دیگر مقداری پیدا میشود.از این اطلاعات میتوان فهمید که متغیر تک در این عبارات نداریم(حتی اگر بتوانیم عبارات را ساده تر کنیم). پس نمیتوان از unit literal هم در این مثال استفاده کرد.پس جواب درست قطعا گزینه ی ۴ است.

اقایی که میگی قطعا ۴ جواب نیست.هدف unit اینه که پیدا کنه کی تک مقداریه و به تک مقدارش اونو مقدار دهی کنی.حالا به ما بگو a یا b یا c کدومشون هستن که فقط یه مقدار میتونن بگیرن؟؟؟؟؟؟؟؟؟!!!!!!!!!!!!



من ۵ تا هوش زدم که یکیشو سوتی دادم.یکیشم درسته سه تای دیگرو سنجش میگه غلطه که دو تاش ابهام داره.یکیشم همین سوالیه که ذکر شد .توضیحی که تو بالا دادم رو واس اعتراض به سنجش نوشتم .هر کی باهاش موافقه اعلام کنه تا کوبیده شه تو دهن کسی که دهن دانشجوهای مملکتو با استرس و به این شکل نامردی میخواد سرویس کنه.دیگه واقعا دارن کاری میکنن با منجنیق سنجش رو بیارم پایین.بعد اینهمه خوندن واس ارشد رسما دارن میگن یبار دیگم بخون مام دوباره بهت سوال چرتو پرت بدیم!!!!
دیگه گندشو درآروودن....
جواب بی عدالتی تا یه جایی داده نمیشه بالاخره یه روز هر کی جواب کاراشو میبینه.....(اون روز زیاد دور نیست...)

دوستان من عین متن بالا در اعتراض برای سنجش نوشتم و ارسال کردم لطفا شما هم ارسال فرمایید

[alisahaf70]

از uc استفاده میشه شما به ترتیب میاین دونه دونه مقداردهی میکنید متغیرها رو یه جا میرسه که یه حرف میمونه اونجا از uc استفاده میشه
و اصلا از رزولوشن استفاده نمیشه که شما میگید اساسش بیشتر شبیه مسائل csp هستش و از رزولوشن استفاده نمیشه

[m.teymourpour]

سلام
من این سوال رو جواب ندادم، پس فک نکنین که میخوام گزینه خودمو درست کنم
به نظر منم گزینه یک درسته
دوستان کتاب راهیان رو گفتن، منم بر اساس راهیان میگم
تو راهیان گفته که هیورستیک عبارت واحد سعی میکند قبل از بسط گره فعلی از درخت جستجو، عبارت های واحد را پیدا کند.
این جمله یعنی که ممکنه ما در وسط راه به عبارت واحد برسیم و لزوما نباید جملات اولیه دارای عبارت واحد باشن
تازه یه چیز دیگه هم گفته:
یک عبارت فصلی که تمام لیترال های آن به جز یکی توسط مدل فعلی ارزش false داشته باشن، یک عبارت واحد محسوب میشود
پس اینکه دوستان میگن شکل اولیه سوال دارای عبارت واحد نیست، رد میشه
اینجا رو نگاه کنین، چند تا مثال واسه این الگوریتم حل شده

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


حالا با هم این سوال رو حل میکنیم
تو سطح اول A رو انتخاب میکنه و از اونجایی که تو صورت سوال گفته که مقدار صفر اولویت بیشتری داره، پس اول به A صفر میدیم
قبل از بسط گره A هیورستیک عبارت واحد نمیتونه به ما کمک کنه، چون نمیتونه عبارت واحدی پیدا کنه
بعد میریم و تو سطح بعد به B بازم مقدار صفر میدیم (چون صفر اولویتش بیشتره)
قبل از بسط گره B هم هیورستیک عبارت واحد نمیتونه به ما کمک کنه، چون نمیتونه عبارت واحدی پیدا کنه
الان نوبت بسط گره C میباشد
حالا با توجه به جمله کتاب راهیان هیورستیک عبارت واحد جستجو میکنه و عبارت واحد C و نات C رو پیدا میکنه و الگوریتم سعی میکنه این عبارت های واحد رو ارضا کنه که متوجه میشه نمیتونه و برمگیرده و مقدار دیگری(یعنی یک) واسه B انتخاب میکنه

با تمام این حرفا حتما اعتراض بزنین، چون ضرر نداره

[pooyaa]

بچه ها متن رسمی بدید لطفا(چون من خودم این سوال رو نزدم ولی اگر اشتباهه تا اعتراض بزنیم)