طرح ریزی خودکار در مورد اَعمال در جهت دستیابی به مقصودی مطلوب است که هدف آن مدل کردن مسایل جهان واقعی و حل آنها توسط سیستم های خودکار می باشد. در واقع طرح ریزی، فراهم نمودن دنباله ای از اَعمال است که با اجرای روی یک حالت اولیه داده شده آن را به حالت مقصد (هدف نهایی) می رساند. ساده ترین صورت از طرح ریزی خودکار، طرح ریزی کلاسیک است که شامل دانش کامل از محیط واَعمال معین می باشد، اما اغلب مسایلی که د...

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

هدف: طبقه‌بندی‌هایی که دربارة رویکردهای علم دینی ارائه شده، با چندین مشکل روبه‌روست. این مقاله می‌کوشد طبقه‌بندی جامعی از رویکردهای علم دینی ارائه دهد که فارغ از اشکالات موجود باشد. روش: در ارائة طبقه‌بندی جدید، از روش تحلیلی و ایدة «نمونة ایدئال» ماکس وبر استفاده شده است. یافته‌ها: در این طبقه‌بندی در کنار کسانی که به صراحت از ایدة علم دینی حمایت می‌کنند، جایی هم برای آن دسته از اندیشمندانی که...

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

در اثر تحولات ناشی از انقلاب صنعتی و به اقتضای شرایط، کار در طول شبانه‌روز تبدیل به جزئی از زندگی افراد شد. باتوجه‌به آثار مخرب انجام کار در شب بر سلامت کارگران و به‌خصوص آسیب‌پذیرترین آنها یعنی زنان و کودکان، موضوع کار در شب از زمان تأسیس سازمان بین‌المللی کار، در کانون توجه قرار گرفت و سازمان کوشید با تصویب اسناد متعدد و تعیین برخی بایدها و نبایدها به رویکرد حمایتی خود از کارگران، درزمینة انج...