منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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

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

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

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

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