شبیه سازی¬های عامل¬مبنا می¬توانند برای آزمودن فرضیه¬ها در سیستم¬های پیچیده بکار روند. یک سیستم چندعامله متشکل از تعدادی عامل هوشمند است. چنین سیستمی زمانی به کار می آید که حل مسائل و انجام وظایف توسط یک عامل و یا یک سیستم یکپارچه غیر ممکن یا دشوار باشد. اگر چه عامل و شیء ویژگی¬های مشترک زیادی دارند، اما یک فضای چندعامله، علاوه بر هندسه متغیر در زمان که در اشیاء متحرک نیز دیده می شود، ویژگی¬هایی...

جامعه ایران امروز بیش از هر زمان دیگری در پی کشف الگوهای اسلامی در عرصه های مختلف، بر اساس آموزه های اسلامی است. در این راستا این سؤال مطرح م یشود که الگوی اسلامی پیشرفت بر اساس مفاهیم قرآن کریم چیست؟ در پاسخ، این مدعا ارائه شده که الگوی پیشرفت قرآنی الگویی است که رهبران الهی با هدف تحقق سعادت دنیوی و اخروی (حیات طیبه) در ابعاد سیاسی، اقتصادی، فرهنگی، امنیتی و... با تأکید بر منابع وحیانی و بشر...

کتاب فرهنگ نامه منطق اثر نرگس نیمروزی،از انتشارات سال 1392 در حجم 957 صفحه،واژگان تخصصی منطق قدیم و جدید را به صورت توصیفی معرفی می کند. این کتاب، به ویژه در بخش مباحث منطق جدید، دچار ایرادهای جدی ای است که در این مقاله به پاره ای از آنها به عنوان مشت نمونۀ خروار و در قالب چهار بخش زیر اشاره خواهیم کرد: 1. گزینش های بی دلیل مدخل ها 2. برداشت های نادرست فراوان از متون اصلی، (و در نتیجه، ابهام ها...

اهداف عمده پژوهش حاضر عبارت است از 1) بررسی قابلیت اعتماد دو آزمون ا ستدلال صوری و آگاهی عاطفی در فرهنگ ایرانی 2) مقایسه استدلال صوری و آگاهی عاطفی دانش آموزان مدارس عادی و تیز هوش برای این منظو ر388 دانش آموز تیز هوش و عادی از دبیرستان های شیراز آزمون های استدلال صوری و آگاهی عاطفی را تکمیل کردند یافته ها نشان می د هد که در هر دو گروه دانش آموزان تیز هوش و عادی آزمودنی هایی وجود دارند که از لح...

بر اساس دیدگاه تجربه گرایان منطقی، که به دیدگاه مورد قبول شهرت دارد، نظریة علمی مجموعه ای از گزاره هاست که در منطق مرتبة اول صورت بندی می شوند. مطابق با دیدگاه رقیب که با نام دیدگاه معنایی یا غیرگزاره ای شناخته می شود، نظریة علمی مجموعه ای از مدل هاست. در این مقاله سعی می شود نشان داده شود که دیدگاه مورد قبول نمی تواند الگوی قابل قبولی از تعین نیروهای تعمیم یافته در مکانیک کلاسیک ارائه کند. بر ...

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

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

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

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