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

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

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