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

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

مطالعه حاضر تلاشی است در جهت بررسی روابط معنایی در واژگان گویش لاری. با در نظر گرفتن اهمیت مسأله روابط معنایی در نظام معنایی زبان(در سطح واژگان) و عدم وجود مطالعات صورت گرفته بر روی واژگان، اقدام به بررسی روابط معنایی در واژگان لاری کرده ایم. سپس طرحی برای شبکه معنایی این گویش ارائه شده است. به این منظور از کتاب لارستان کهن و فرهنگ لارستانی(اقتداری، 1371) بهره گرفته شده است. این پژوهش با شیوه ت...

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

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

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

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

فرض کنیم r یک حلقه جا به جایی و دارای عضو همانی نا صفر و m یک r-مدول است . در این پایان نامه مفهوم زیر مدول های شبه اول m و توپولوژِ زاریسکی گسترش یافته روی گردایه زیر مدول های مذکور معرفی شده است . همچنین رابطه بین خاصیت های جبری و توپولوژیک qspec(m) ( مجموعه زیر مدول های شبه اول m ) بررسی شده است .

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