Payamvdn/NorthPersian_fa_wiki huggingface dataset:
ینی به رسمیت شناختن از مردم، تشکر و قدردانی می کند. این جوایز به طور سنتی در پنج دسته اهدا می شود: خدمات دولتی؛ خدمات عمومی؛ رهبری جامعه؛ روزنامه نگاری، ادبیات و هنرهای ارتباطی خلاق؛ و صلح و تفاهم بین المللی. برندگان. برندگان جوایز رامون مگسیسی از مناطق مختلف آسیا می آیند، اگرچه مواردی وجود دارد که برندگان از کشورهای خارج از آسیا آمده اند طوریکه در کشورهای آسیایی خدمت کرده اند، کار کرده اند یا موفق به انجام کاری شده اند، اعطا می شود. از سال ۲۰۱۶، گیرندگان جوایز از بیست و دو کشور آسیایی از جمله سیما سمر از افغانستان می باشند.
شیران یک روستا در ایران است که در بخش مرکزی شهرستان هریس در استان آذربایجان شرقی واقع شده است. جمعیت. این روستا در دهستان خانمرود قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۷۱ نفر (۲۰ خانوار) بوده است.
سیاچقا یک روستا در ایران است که در بخش زند شهرستان ملایر در استان همدان واقع شده است. جمعیت. این روستا در دهستان کمازان علیا قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۱۷ نفر (۲۸ خانوار) بوده است.
شوش بلاغ یک روستا در ایران است که در بخش مشکین شرقی شهرستان مشگین شهر در استان اردبیل واقع شده است. جمعیت. این روستا در دهستان نقدی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۲۴ نفر (۲۳ خانوار) بوده است.
شورک یک روستا در ایران است که در بخش شوسف شهرستان نهبندان در استان خراسان جنوبی واقع شده است. جمعیت. این روستا در دهستان شوسف قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۴۷ نفر (۹ خانوار) بوده است.
سینه غاز یک روستا در ایران است که در بخش دهج شهرستان شهربابک در استان کرمان واقع شده است. جمعیت. این روستا در دهستان دهج قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۴۴ نفر (۱۳ خانوار) بوده است.
برنامه نویسی مجموعه جواب با کوته نوشت ASP نوعی برنامه نویسی اعلانی است که به سمت مسائل جستجوی مشکل (در اصل ان پی سخت) گرایش دارد. ASP مبتنی بر معناشناسی مدل پایدار (مجموعه جواب) در برنامه نویسی منطقی است. در ASP مسائل جستجو به محاسبه مدل های پایدار کاهش می یابد، و از حل کننده های مجموعه جواب (برنامه های تولیدکننده مدل های پایدار) برای انجام جستجو استفاده می شود. فرایند محاسباتی استفاده شده در طراحی بسیاری از حل کننده های مجموعه جواب، نوعی بهبود الگوریتم DPLL هستند، و در اصل همیشه خاتمه می یابند (برخلاف ارزیابی پرسمان در پرولوگ، که می تواند منجر به حلقه بی پایان شود). در مفهوم عمومی تر، ASP شامل همه کاربردهای مجموعه جواب در نمایش دانش است، و از ارزیابی پرسمان شبه-پرولوگ برای حل مسائلی که در این کاربردها بروز می کند، استفاده می کند. تاریخچه. یکی از مثال های اولیه برنامه نویسی مجموعه جواب، روش برنامه ریزی بود که در سال ۱۹۹۳ توسط دیموپولوس، نبل و کوهلر ارائه شد. دیدگاه آن ها مبتنی بر رابطه بین برنامه ها و مدل های پایدار بود. سوینینن و نیملا آنچه امروزه برنامه نویسی مجموعه جواب نامیده می شود را به مسئله پیکربندی م
حصول اعمال کرد. استفاده از حل کننده های مجموعه جواب برای جستجو توسط و تروشسینسکی به عنوان یک پارادایم برنامه نویسی، اولین بار در مقاله ای که چشم انداز ۲۵ ساله دربارهٔ پارادایم برنامه نویسی منطقی در سال ۱۹۹۹ منتشر شد، و در [Niemelä 1999] شناسایی شد. در واقع اصطلاح شناسی جدید «مجموعه جواب» به جای «مدل پایدار» اولین بار توسط لیفشیتس در یک مقاله که نمایش دهنده مجلدهای پیش نگرانه در مقاله مارک-تروشچینسکی بود، پیشنهاد شد. زبان برنامه نویسی مجموعه جواب AnsProlog. Lparse نام برنامه ای است که در اصل به عنوان یک ابزار (front-end) برای حل کننده مجموعه جواب smodels ساخته شده است. امروزه به زبانی که Lparse می پذیرد، معمولاً AnsProlog گفته می شود، که کوته نوشتی برای عبارت «برنامه نویسی مجموعه جواب در منطق» است. از این زبان امروزه در خیلی از حل کننده های مجموعه جواب دیگر، شامل assat, clasp, cmodels, gNt, &lt;bdi&gt;nomore++&lt;/bdi&gt; و pbmodels استفاده می شود. (اما زبان dlv یک اسثتثنا است زیرا نحو برنامه های ASP نوشته شده به dlv متفاوت است). برنامه AnsProlog شامل قواعدی از حالت &lt;head&gt; :- &lt;body&gt; . نماد &lt;bdi&
gt;codice_1&lt;/bdi&gt; (یعنی اگر) اگر قسمت بدنه (یعنی codice_2) خالی باشد، حذف می شود؛ به این نوع از قواعد، «واقعیت» یا fact گفته می شود. ساده ترین نوع قواعد Lparse, هستند. یک ساختار مفید دیگر که در این زبان وجود دارد، مفهوم «گزینه یا choice» است. برای مثال، قاعده گزینه می گوید: به صورت دلخواه انتخاب کنید که کدامیک از اتم های formula_1 در مدل پایدار شامل بشود. برنامه Lparse ای که شامل این قاعده انتخاب است و هیچ قاعده دیگری ندارد، به تعداد ۸ عدد مدل پایدار دارد-که زیرمجموعه های دلخواه formula_2 هستند. تعریف یک مدل پایدار را می توان به برنامه های دارای قواعد انتخاب تعمیم داد. قواعد گزینه می تواند به صورت اختصاری از کوتاه شده ای از رفتار کنند. برای مثال، قاعده گزینه بالا را می توان به صورت نوع مختصری برای عطف سه فرمول «اصل طرد ثالث» در نظر گرفت: زبان Lparse به ما امکان نوشتن قواعد گزینه «محدودشده» را نیز می دهد، مثل 1{p,q,r}2. این قاعده می گوید: حداقل یکی از اتم های formula_1 ، اما نه بیشتر از ۲ تا اتم را انتخاب کنید. معنای این قاعده تحت معناشناسی مدل پایدار توسط زیر نمایش می یابد: محدوده های کاردینالیتی (تعداد
ی)، در بدنه یک قاعده هم قابل استفاده اند، برای مثال اگر این محدودیت را به برنامه Lparse اضافه کنیم، مدل های پایداری که حداقل دو اتم formula_1 را حذف می کند. معنی این قاعده را می توان توسط توسط فرمول گزاره ای زیر نمایش داد: در Lparse از متغیرها (که مثل پرولوگ بزرگ هستند) برای مختصرنویسی مجموعه قاعده هایی استفاده می شود که از الگوی مشابهی پیروی می کنند، همچنین برای مختصرنویسی مجموعه اتم ها در داخل یک قاعده مشابه نیز استفاده می شود. برای مثال، برنامه Lparse زیر p(a). p(b). p(c). q(X) :- p(X), X!=a. معنای مشابهی با p(a). p(b). p(c). q(b). q(c). دارد. برنامه زیر p(a). p(b). p(c). یک مختصرنویسی برای p(a). p(b). p(c). است، یک «محدوده یا range» حالت زیر را دارد: که در آن start و end عبارات حسابی ثابت مقدار هستند. یک محدوده یک میانبر نمادین است که در اصل برای تعریف دامنه های عددی، به روش سازگار، از آن استفاده می شود. برای مثال، واقعیت زیر a(1..3). یک میانبر برای a(1). a(2). a(3). است. با معناشناسی مشابه، محدوده ها را در بدنه قاعده نیز می توان استفاده نمود. یک «لیترال شرطی» فرم زیر را دارد: p(X):q(X) اگر گسترش q به صور
ت {q(a1),q(a2), … ,q(aN)} باشد، شرط بالا به صورت معنایی معادل نوشتن {p(a1),p(a2), … ,p(aN)} در محل شرط است. برای مثال q(1..2). a :- 1 {p(X):q(X)}. یک میانبر برای q(1). q(2). a :- 1 {p(1), p(2)}. است. تولید مدل های پایدار. برای یافتن یک مدل پایدار برنامه Lparse که در فایل codice_3 ذخیره شده است، ما از فرمان زیر استفاده می کنیم % lparse ${filename} | smodels گزینه ۰ به smodels دستور می دهد تا «همه» مدل های پایدار برنامه را پیدا کند. برای مثال، اگر فایل codice_4 شامل این قواعد باشد 1{p,q,r}2. s :- not p. آنوقت فرمان این خروجی را می سازد: % lparse test | smodels 0 Answer: 1 Stable Model: q p Answer: 2 Stable Model: p Answer: 3 Stable Model: r p Answer: 4 Stable Model: q s Answer: 5 Stable Model: r s Answer: 6 Stable Model: r q s مثال هایی از برنامه های ASP. رنگ آمیزی گراف. رنگ آمیزی formula_9 تایی یک گراف formula_10 یک تابع formula_11 such that formula_12 برای هر جفت از راس های مجاور formula_13 است. ما می خواهیم از ASP استفاده کنیم تا یک رنگ آمیزی formula_9تایی از یک گراف داده شده را پیدا کنیم (یا تعیین کنیم که چ
نین رنگ آمیزی وجود ندارد). این موضوع از طریق برنامه Lparse زیر قابل انجام است: c(1..n). 1 {color(X,I) : c(I)} 1 :- v(X). خط ۱ تعریف کننده اعداد formula_15 به عنوان رنگ ها است. بر اساس قاعده انتخاب موجود در خط ۲، یک رنگ یکتا formula_16 را باید به هر راس formula_17 انتساب داد. محدودیت موجود در خط ۳ از انتساب رنگ مشابه به راس های formula_17 و formula_19، موقعی که یک یال آن ها را به هم متصل کند، جلوگیری می کند. اگر ما این فایل را با یک تعریف از formula_20 مثل تعریف زیر ترکیب کنیم: v(1..100). % 1...,100 are vertices e(1,55). % there is an edge from 1 to 55 و smodels را روی آن اجرا کنیم، که مقدار عددی formula_9 در خط فرمان تعیین می شود، آنوقت اتم های دارای فرم formula_22 موجود در خروجی smodels، نمایش دهنده رنگ آمیزی formula_9تایی از formula_20 است. برنامه موجود در این مثال نمایش دهنده سازمان «تولید-و-آزمون» است که معمولاً در برنامه های ASP ساده یافت می شود. قاعده گزینه یک مجموعه از «جواب های بالقوه» را تعریف می کند- که یک فرامجموعه ساده از مجموعه جواب ها برای مسئله جستجوی معین است. در ادامه، یک محدودیت آمده است، که
همه جواب های بالقوه که قابل قبول نیستند را حذف می کند. با این حال، فرایند جستجوی استفاده شده در smodels و دیگر حل کننده های مجموعه جواب براساس سعی و خطا نیستند. کلیک های بزرگ. یک کلیک در یک گراف یک مجموعه از راس های مجاور جفت شده هستند. برنامه Lparse زیر یک کلیک با سایز formula_25 را در یک گراف داده شده می یابد، یا اعلام می کند که هیچ کلیکی وجود ندارد: n {in(X) : v(X)}. این یک مثال دیگر برای سازمان «تولید و آزمون» است. قاعده گزینه در خط ۱ «تولیدکننده» همه مجموعه های شامل formula_25 راس است. محدودیت خط ۲، همه مجموعه هایی که کلیک نیستند را «هرس می کند». دور همیلتونی. یک دور همیلتونی در یک گراف جهت دار یک دور است که از هر راس گراف دقیقاً یکبار عبور می کند. برنامه Lparse زیر را می توان برای یافتن یک دور همیلتونی در یک گراف جهت دار معین استفاده کرد (اگر موجود باشد)؛ فرض می کنیم که ۰ یکی از راس ها باشد. r(X) :- in(0,X), v(X). r(Y) :- r(X), in(X,Y), e(X,Y). قاعده گزینه در خط ۱ همه زیرمجموعه های مجموعه یال ها را «تولید می کند». سه محدودیت، زیرمجموعه هایی که دور همیلتونی نیستند را «هرس می کنند». آخرین آن ها از گزارهٔ
کمکی formula_27 (formula_17 قابل دستیابی از ۰ است) استفاده می کند تا راس هایی که این شرط را برآورده نمی کنند را ممنوع سازی کند. این گزاره در خطوط ۶ و ۷ به صورت بازگشتی تعریف شده اند. این برنامه یک مثال از سازمان کلی تر «تولید، تعریف، و آزمون» است: شامل تعریف یک گزاره کمکی است که به ما کمک می کند تا همه راه حل های بالقوه «بد» را حذف کند. تجزیه کننده وابستگی. در پردازش زبان های طبیعی، «تجزیه کننده مبتنی بر وابستگی» را می توان توسط یک برنامه ASP فرمول دهی کرد. کد زیر جمله لاتین "Puella pulchra in villa linguam latinam discit" (یعنی «دختر زیبا در ویلا زبان لاتین می آموزد») را تجزیه می کند. درخت نحوی توسط گزاره های «arc» بیان می شوند، که نمایش دهنده وابستگی های بین کلمات موجود در جمله است. ساختار محاسبه شده یک درخت ریشه دار با مرتبه خطی است. % ********** input sentence ********** word(1, puella). word(2, pulchra). word(3, in). word(4, villa). word(5, linguam). word(6, latinam). word(7, discit). % ********** lexicon ********** 1{ node(X, attr(pulcher, a, fem, nom, sg)); node(X, attr(pulcher, a, fem, abl, sg)) }1 :
- word(X, pulchra). node(X, attr(latinus, a, fem, acc, sg)) :- word(X, latinam). 1{ node(X, attr(puella, n, fem, nom, sg)); node(X, attr(puella, n, fem, abl, sg)) }1 :- word(X, puella). 1{ node(X, attr(villa, n, fem, nom, sg)); node(X, attr(villa, n, fem, abl, sg)) }1 :- word(X, villa). node(X, attr(linguam, n, fem, acc, sg)) :- word(X, linguam). node(X, attr(discere, v, pres, 3, sg)) :- word(X, discit). node(X, attr(in, p)) :- word(X, in). % ********** syntactic rules ********** 0{ arc(X, Y, subj) }1 :- node(X, attr(_, v, _, 3, sg)), node(Y, attr(_, n, _, nom, sg)). 0{ arc(X, Y, dobj) }1 :- node(X, attr(_, v, _, 3, sg)), node(Y, attr(_, n, _, acc, sg)). 0{ arc(X, Y, attr) }1 :- node(X, attr(_, n, Gender, Case, Number)), node(Y, attr(_, a, Gender, Case, Number)). 0{ arc(X, Y, prep) }1 :- node(X, attr(_, p)), node(Y, attr(_, n, _, abl, _)), X &lt; Y. 0{ arc(X, Y, adv) }1 :- node(X, attr(_, v, _, _, _)), node(Y, attr(_, p)), not leaf(Y). % ********** guaranteeing the treeness of the graph ********** 1{ root(X):
node(X, _) }1. path(X, Y) :- arc(X, Y, _). path(X, Z) :- arc(X, Y, _), path(Y, Z). leaf(X) :- node(X, _), not arc(X, _, _). استانداردسازی زبان و مسابقه ASP. کارگروه استانداردسازی ASP یک مشخصات زبانی استاندارد به نام ASP-Core-2 تولید کردند، که بر اساس آن سامانه های ASP تازه همگرا می شدند. ASP-Core-2 زبان مرجع برای مسابقه برنامه نویسی مجموعه جواب است، که در آن حل کننده های ASP به صورت دوره ای، دربرابر تعدادی از مسائل مرجع، محک زنی می شدند. کاربردها. در برخی محیط های میزبانی وب که از معماری Nginx و Apache پشتیبانی می کنند، عملکرد رشد یافته ای برای بارگذاری صفحات دینامیک فراهم ساخته اند؛ بنابراین برنامه نویسی اعلانی (مانند ASP) در این زیرساخت ها اغلب با ثبات و سرعت پردازش بالاتری اجرا می شود. مقایسه پیاده سازی ها. سامانه ای قدیمی، مثل Smodels برای یافتن جواب ها از پس گرد استفاده می کردند. وقتیکه نظریه و کاربرد حل کننده های SAT بولی تکامل یافتند، تعدادی از حل کننده های ASP روی حل کننده های SAT ساخته شدند، که شامل ASSAT و Cmodels بودند. این حل کننده ها فرمول ASP را به گزاره های SAT تبدیل می کردند، سپس حل کننده SAT
اعمال می شد، و سپس جواب ها را به حالت ASP باز تبدیل می کردند. سامانه های جدیدتر، مثل Clasp، از یک دیدگاه ترکیبی استفاده می کند، که از الگوریتم های مغایرت گرای الهام گرفته از SAT استفاده می کرد، و در آن نیازی به تبدیل کامل به یک حالت بولی-منطقی نبود. این دیدگاه ها به ما امکان بهبود کارایی قابل توجهی را می دهد، که معمولاً با یک مرتبه بزرگی بهتر از الگوریتم های پس گرد قدیمی بود. پروژه پوتسکو (Potassco) به صورت چتری برای بسیاری از سامانه های زیر عمل می کند، که شامل "clasp"، سامانه های زیرین ("gringo")، سامانه های افزایشی ("iclingo")، حل کننده های محدودیتی ("clingcon")، زبان عملی برای کامپایلرهای ASP یا ("coala")، پیاده سازی های MPI توزیع شده ("claspar") و خیلی موارد دیگر است. بیشتر این سامانه ها از متغیرها پشتیبانی می کنند، اما فقط به صورت غیرمستقیم، با تحمیل زمینه، با استفاده از یک سامانه زمینی مثل "Lparse" or "gringo" به عنوان یک front-end. نیاز به زمینه می تواند منجر به یک انفجار ترکیبیاتی از بندها شود؛ از این رو سامانه هایی که از زمینه های on-the-fly استفاده می کنند، می توانند یک مزیت داشته باشند. پیاده سازی
های پرسمان گرا از برنامه نویسی مجموعه جواب، مثل سامانه Galliwasp و s(ASP) و s(CASP) از در اصل زمینه جلوگیری می کنند، این کار از طریق ترکیبی از رزلوشن و انجام می شود.
سرخ زو یک روستا در ایران است که در بخش سرحد شهرستان شیروان در استان خراسان شمالی واقع شده است. جمعیت. این روستا در دهستان تکمران قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۳۱۴ نفر (۷۸ خانوار) بوده است.
صحراسنجی منگزور یک روستا در ایران است که در بخش بهمئی گرمسیری شهرستان بهمئی در استان کهگیلویه و بویراحمد واقع شده است. جمعیت. این روستا در دهستان سرآسیاب یوسفی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۹ نفر (۵ خانوار) بوده است.
جایزه آزادی جان همفری سالانه توسط گروه حقوق بشر کانادایی حقوق و دموکراسی به یک سازمان یا فردی از هر کشور جهان برای دستیابی استثنایی در پیشبرد حقوق بشر و توسعه دموکراتیک آن اهدا می شود. این جایزه در سال ۱۹۹۲ تأسیس شد. این جایزه شامل کمک هزینه ۲۵۰۰۰ دلار کانادا و همچنین یک تور سخنرانی در شهرهای کانادا برای کمک به افزایش آگاهی در مورد کار حقوق بشر گیرنده جایزه می باشد. این نام به افتخار جان پیترز هامفری، استاد حقوق بشر کانادایی که اولین پیش نویس اعلامیه جهانی حقوق بشر را تهیه کرد، نامگذاری شد. برندگان. . * ۱۹۹۴، کمپین برای دموکراسی نیجریه و سازمان حقوق بشر مصر، مصر
صومعه رودبار یک روستا در ایران است که در بخش شاهرود شهرستان خلخال در استان اردبیل واقع شده است.. جمعیت. این روستا در دهستان شال قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۶۴ نفر (۱۷ خانوار) بوده است.
تاج آباد علیا، روستایی در دهستان رودبار بخش مرکزی شهرستان رودبار جنوب در استان کرمان ایران است. جمعیت. بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۳۳۲ نفر (۷۴ خانوار) بوده است.
تاج آباد علیا ۲، روستایی در دهستان رودبار بخش مرکزی شهرستان رودبار جنوب در استان کرمان ایران است. جمعیت. بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۲۲ نفر (۷ خانوار) بوده است.
مدرسه ای برای خوب ها و بدها فیلمی فانتزی از سال ۲۰۲۲ به کارگردانی پل فیگ است. این فیلم بر اساس رمانی محبوب به همین نام از سال ۲۰۱۳ اثر سومان چینانی و فیلمنامه ای توسط دیوید مگی و پل فیگ ساخته شده است. سوفیا ان کاروسو، سوفیا ویلی، شارلیز ترون، کری واشینگتن، لارنس فیشبرن، میشل یئو، جیمی فلاترز، کیت یانگ و پیتر سرافیناویچ در این فیلم به ایفای نقش پرداخته اند. یونیورسال پیکچرز در ابتدا قرار بود این فیلم را منتشر کند اما نتفلیکس در سال ۲۰۲۰ تولید آنرا برعهده گرفت که در اوایل سال ۲۰۲۱ در بلفاست و اواخر همان سال آغاز شد. این فیلم در ۱۹ اکتبر ۲۰۲۲ اکران شد و عموماً با نقدهای منفی منتقدان روبرو شد، که بازیگران و جلوه های بصری آن را تحسین کردند، اما از روایت و داستان سرایی آن انتقاد کردند. داستان. برادران دوقلو، ریان و رافال، در یک دوئل دوستانه شرکت می کنند. رافال، برادر شرور، تشنهٔ چیزهای بیشتری است و از جادوی خون برای حملهٔ ناگهانی به برادرش استفاده می کند. با این حال، ریان، برادر خوب، موفق می شود در آخرین ثانیه بر او غلبه کند و رافال را از صخره ای به پایین پرتاب کند که ظاهراً او را می کشد. دو شخصیت از طریق صدای یک ر
اوی معرفی می شوند، سوفیِ مو روشن و پرنسس مانند و بهترین دوستش آگاتا، که اولی «قرار است دنیا را تغییر دهد» و دومی با طعنه و تهدید روزانهٔ اهالی شهر روبرو می شود که او را یک جادوگر می نامند. این دو علیرغم اینکه کاملاً متضاد هستند، پیوند محکمی با هم دارند. دختران در جستجوی افسانه های جدید از فروشگاه کتاب داستان دوویل بازدید می کنند و مغازه دار در مورد «مدرسه خیر و شر» به آن ها می گوید. او توضیح می دهد که چگونه افسانه ها در این مدرسه آغاز می شوند، جایی که قهرمانان و تبهکاران در مدارس مربوطهٔ خود آموزش می بینند. آگاتا بدبین است، اما سوفی هیجان زده است. مغازه دار در مورد دختری به نام لئونورا به آن ها می گوید که ۲۰ سال پیش در یک رویداد «ماه خونی» برده شد و دیگر هرگز دیده نشد. سوفی نامه ای به مدرسه می نویسد و آرزو می کند که زندگی روزمره خود در گاوالدون را برای چیز دیگری رها کند. در آن شب، سوفی سعی می کند مخفیانه آنجا را ترک کند اما آگاتا سعی می کند جلوی او را بگیرد. آن ها متوجه می شوند که آسمانِ شب سرخ رنگ است. سپس موجودی ظاهر می شود و سوفی و آگاتا را به جنگل می کشاند. این موجود آن ها را به یک استمف (پرندهٔ استخوانی)
غول پیکر رها می کند که سپس هر دو دختر را می رباید و آن ها را به «مدرسه خیر و شر» می فرستد. سوفی در مدرسه ای برای «شر» رها می شود، در حالی که آگاتا به مدرسه «خیر» تحویل داده می شود. سوفی ناامیدانه اعلام می کند که مدرسه اش اشتباه است در حالی که آگاتا می خواهد به خانه برگردد. دختران یونیفورم مربوطهٔ خود را می پوشند: یک لباس پرنسسی گلدار برای آگاتا و یک لباس گونی بریده برای سوفی. در طول مراسمِ استقبال، سوفی و آگاتا هر دو مجذوب تِدروس، محبوب ترین شاهزادهٔ تاریخ، می شوند. از آنجا که دختران با «همیشگان» (Evers؛ دانش آموزان مدرسه «خیر») و «هرگزان» (Nevers؛ دانش آموزان مدرسهٔ «شر») مناسب نیستند، مطرود می شوند. آگاتا برای یافتن سوفی تلاش می کند تا به سمت «شر» نفوذ کند، اما مجسمهٔ کوپیدو او را تعقیب می کند. او به کتابخانه می رسد و بحثی بین پروفسورها را می شنود. وقتی آن ها می روند، رافال ظاهر می شود و به آگاتا هشدار می دهد که از سوفی دور بماند. آگاتا دوباره با سوفی متحد می شود و آن ها به دنبال ریان می گردند. این دو وارد برج او می شوند و «اِستوریان یا داستان سرا» را پیدا می کنند، کتابی غول پیکر که داستان هر شخصیت را می ن
ویسد. اگر سوفی بتواند عشقِ واقعی خود را بیابد، ریان به او اجازه می دهد تا مدرسهٔ خود را تغییر دهد، زیرا استدلال می شود که فقط «همیشگان» قادر به یافتن عشق واقعی خود هستند. صبح روز بعد، دختران در کلاس درس حاضر می شوند. سوفی نامه ای به آگاتا می دهد تا به دست تِدروس برساند، زیرا او به این نتیجه رسیده است که تِدروس عشق واقعی اوست. آگاتا نامه را پیش از کلاس به وی تحویل می دهد و آن ها لحظه ای کوچک را با هم به اشتراک می گذارند. بعداً، سوفی و تِدروس بالاخره با هم صحبت می کنند، اما سوفی به دلیل امتناع از ادغام با طرف «شر» به اتاق عذاب کشیده می شود، که در جریان آن پروفسور لسو موهایش را کوتاه می کند. رافال از طریق آینه به سوفیِ ویران شده نزدیک می شود و او را متقاعد می کند که برای به دست آوردن تِدروس، هر کاری که لازم است انجام دهد. در حین بازکردن درخشش انگشتانِ دانش آموزان، سوفیِ شیطانی و تازه اعتماد به نفس وارد می شود، که خودش را تغییر داده است، که باعث ناراحتی آگاتا می شود. مونتاژی نشان می دهد که سوفی با آنادیل، دات و هستر دوست می شود و طرفداری «هرگزان» را به دست می آورد. آگاتا به سوفی توصیه می کند که اگر علاقه ای به تد
روس دارد، باید ثابت کند که قلبش پاک است. آگاتا از جادوی خود استفاده می کند تا مخفیانه در کمان اندازی به سوفی کمک کند و تِدروس متقاعد می شود که او خوب است و قول می دهد او را به مراسم رقص آینده بیاورد. از آنجا که رابطهٔ عاشقانه بین «خیر» و «شر» ممنوع است و باعث هرج ومرج می شود، مدیر تصمیم می گیرد که تنها راه حل برای این مسئله، یک «محاکمه از طریق داستان» است. سوفی و تِدروس باید به تنهایی در جنگل زنده بمانند، با خطرات مبارزه کنند و تا طلوع خورشید یکدیگر را پیدا کنند. اما آگاتا برای کمک به سوفی مخفیانه وارد جنگل می شود. تِدروس تقریباً توسط یک درو کشته می شود که آگاتا را مجبور می کند تا جان او را نجات دهد. تِدروس که متوجه می شود که سوفی در واقع «خوب» نیست، او را رها کرده و آگاتا را برای همه چیز سرزنش می کند. آنادیل که به دلیل تقلب در اتاقش قفل شده است، نامه ای صمیمانه از آگاتا را به سوفی می دهد، اما رافال، سوفی را متقاعد می کند که آگاتا دشمن اوست و او تنها شخص که در کنار اوست. رافال به سوفی جادوی خون را پیشنهاد می کند که او می پذیرد. سوفیِ تازه قدرتمند با لسو روبرو می شود که مشخص شده لئونورا است. سوفی، که اکنون از
نظر فیزیکی به یک پیرزنِ زشت تبدیل شده است، وارد جشن می شود. آگاتا سعی می کند به او برسد، اما سوفی او را دشمن خود اعلام می کند. تِدروس تصمیم می گیرد سوفی را نابود کند و به مدرسه «شر» می رود. از آنجایی که «خیر» هرگز اول حمله نمی کند و فقط می تواند دفاع از خود کند، تِدروس باعث می شود که «همیشگان» و «هرگزان» طرف های خود را تغییر دهند. سوفی در این روند به شکلِ اصلی خود بازمی گردد و در حالی که آگاتا از آن ها التماس می کند که متوقف شوند، یک نبرد حماسی بین دو طرف درمی گیرد. سوفی تبدیل به یک کلاغ می شود و از نبرد به سمتِ برج مدیر می گریزد و به دنبال انتقام است. مدیر که اکنون که خود را به عنوان رافال نشان می دهد، افشا می کند که سوفی را برای یافتن عشقِ واقعی خود آزمایش می کرد تا به «قدرتِ نهایی» دست یابد. یک فلاش بک نشان می دهد که رافال در واقع از سقوط جان سالم به در برده بود و ضربهٔ نهایی را به برادرش وارد کرده است و هویت وی را برای چند قرن آینده فرض کرده تا داستان ها را دستکاری کند و «خیر» را ضعیف کند. سوفی و رافال همدیگر را می بوسند که در نتیجه تمام افراد مدرسه را محکوم به مرگ می کند، و به «شر» یعنی رافال اجازه می ده
د تا بر جهان حکومت کند. با ظاهرشدن آگاتا، سوفی احساس پشیمانی می کند. رافال سعی می کند آگاتا را با قیچی اِستوریان بکشد، اما سوفی جلوتر می رود و به جای او مورد اصابت قرار می گیرد. این باعث می شود همه چیز به حالت عادی برگردد و نقشه های رافال خنثی شود. سپس تِدروس مخفیانه وارد می شود و به رافال حمله می کند، اما سوفی، که در حال مرگ است، با آگاتا متحد می شوند تا یک بار برای همیشه رافال را شکست دهد. آگاتا، سوفی را در آغوش می گیرد و به او می گوید که او را دوست دارد که دومی در نهایت می میرد. او سوفی را می بوسد و روی بدنش گریه می کند و اشک هایش زخم سوفی را خیس می کند. ناگهان سوفی دوباره نفس می کشد، عشق واقعی آن ها به اندازه کافی قدرتمند است که او را به حیات برگرداند. دنیای افسانه ها نجات می یابد و دانش آموزان «خیر» و «شر» از باهم بودن خوشحال می شوند. درگاهی به سوی گاوالدون باز می شود. آگاتا، تِدروس را می بوسد و اظهار می کند که نمی تواند دوستش را ترک کند و دخترها با هم به زندگیِ قبلی خود بازمی گردند. در حالی که یک تیر از تِدروس پردهٔ بین دو دنیای آن ها را می شکافد، صدایِ او شنیده می شود که می گوید که به آگاتا نیاز دارد.
راوی فیلم را به اتمام می رساند، و در آخر فاش می شود است که «این تنها آغاز داستان است». تولید. توسعه. طبق گزارش ها، استودیوهای متعددی در سال ۲۰۱۱ یک اقتباس سینمایی بر اساس "مدرسه ای برای خوب ها و بدها" را در نظر گرفتند. اندکی پس از انتشار اولین کتاب از این مجموعه در سال ۲۰۱۳، راث فیلمز با همکاری جین استارتز پروداکشنز حق تولید فیلمی بر اساس این رمان را به دست آورد. یونیورسال پیکچرز در یک معاملهٔ هفت رقمی حقوقِ کتاب و فیلمنامه را به دست آورد. راث، استارتز و پالک پاتل به عنوان تهیه کننده منصوب شدند. چینانی و مالیت اسکاچ مارمو برای نوشتن فیلمنامه استخدام شدند که اولی دو پیش نویس نخست را نوشت. در ژوئیه ۲۰۱۵، چینانی اظهار داشت که او و اسکاچ مارمو نوشتن فیلمنامه را به پایان رسانده اند. پس از اینکه فیلم در جهنم توسعه فرورفت، نتفلیکس حقوق را با تیم جدیدی که شامل دیوید مگی و لورا سولون به عنوان فیلمنامه نویسان در سال ۲۰۱۷ بود، خریداری کرد. این سرویس علاقهٔ خود را به فیلم های خانوادگی لایو اکشن ابراز کرد زیرا اکثر فیلم های خانوادگی در قالب پویانمایی بودند. استودیوهای دیگر اغلب تولیدات با بودجهٔ کلان را به دلیل مخارج یا م
خاطرات اکران یک فیلم خانوادگی که بر اساس مالکیت معنوی از قبل موجود نبود، رد می کردند. با این حال، جاه طلبیِ نتفلیکس برای یافتن فیلم هایی که برای همه سنین جذاب باشد، باعث شد آن محصولات را بخرد. پل فیگ به عنوان کارگردان پیشنهاد شد، اما او به دلیل تضاد فیلم با سبک و ژانر ناآشنای خود مردد بود. با این حال، او پس از خواندن فیلمنامه، که در آن از شخصیت ها، داستان و فرصت هایی برای ساختن جهان لذت برد، تجدید نظر کرد. او در سال ۲۰۲۰ با راث، جفری کرشنبام، استارتز، لورا فیشر و فیگ به عنوان تهیه کننده و زک راث، پاتریشیا ریگن و چینانی به عنوان تهیه کنندگان اجرایی به این گروه پیوست. فیلم برداری. این فیلم در چندین مکان در بلفاست، ایرلند شمالی، از جمله استودیو بندرگاه بلفاست و استودیو «لوپ فیلم» فیلم برداری شد. در اولی، از کارگاه و فضای اداری استفاده شد. سایتهای محلی که "مدرسه خیر و شر" در آن فیلم برداری شده است شامل کلیسای سنت پیتر؛ کلیسای جامع سنت آن؛ کوه استوارت؛ موزه مردمی اولستر؛ املاک کلندبوی؛ جنگل سگ بزرگ؛ جنگل وودبرن؛ قلعه آرچدیل؛ و جاده آنتریم است. دری نیز به عنوان محل فیلم برداری در نظر گرفته شد اما به دلایل متعدد رد