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

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

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

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

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه S , P است P به معنای P بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...

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

 در منطق موجهات جدید، رابطۀ جهت و سور را با فرمول‌هایی نشان می‌دهند که به افتخار ژان بوریدان و خانم روت بارکن مارکوس ـ دو منطق‌دان از سدۀ چهاردهم و بیستم میلادی ـ فرمول‌های بوریدان و بارکن نامیده شده‌اند. ضیاء موحد، لطف‌الله نبوی و مهدی عظیمی پیشینۀ این فرمول‌ها را به ابن‌سینا می‌رسانند. در این مقاله نشان می‌دهیم که ابن‌سینا فقط تمایز «جهت سور» و «جهت حمل» را بیان کرده است و اشاره‌های او در دو ...

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

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