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

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

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

پیرو درخواست شهرداری تهران و به منظور تامین نیاز پروژه­های مختلف در دست اجرا در این سازمان به اطلاعات مکانی، شبکه آنی کینماتیکی برای شهر تهران طراحی شده است. بر اساس معیار­های موجود نظیر ضریب دقت موقعیت دو طرح متفاوت پیشنهاد و مقایسه شده است.  هر دو طرح پیشنهاد شده شامل 6 ایستگاه مجهز به سامانه­های تعیین موقعیت و ناوبری ماهواره­ای (gnss) می­باشد. برخلاف طرح شماره 1، طرح شماره 2 پیشنهادی پوشش به...

نیاز به سنجش زمان همواره یکی از نیازهای اساسی بشر بوده است. متعاقباً، تعریف مقیاسی جهت سنجش زمان یکی از مسائل مورد بحث در ادوار مختلف تاریخ بوده است. در قرن اخیر، که می توان آن را قرن شکوفایی مقیاس های دقیق سنجش زمان دانست، با توجه به امکانات موجود در هر بره? زمانی و با در نظر گرفتن نیازهای مختلف، مقیاس های زمانی گوناگونی تعریف گردیده اند. علاوه بر این، در بسیاری از کاربردها، بایستی میزان آفست د...

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