جستجوي پيشرفته | کتابخانه مجازی الفبا

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

اگر در یک طبقه بندی کلان رویکردهای موجود معرفتی را در دو طبقه ی درختی و ریزوماتیک قرار دهیم امتداد چون ویژگی مشترک رویکردهای موجود نمایان می شود چنان که در رویکرد درختی امتداد در طول است و در رویکرد ریزومی در عرض. این این پایان نامه در صدد ارائه ی رویکرد جدید به معرفت با عنوان معرفت حجمی است که ویژگی عمده ی آن عدم امتداد و به تمام حاضر بودن چون یک حجم است. این رویکرد برخاسته از هستی شناسی ویژه ای است که قائل به ئحدت هستی و هستنده است. در معرفت حجمی شدن ذاتی هستی است، هست- نیست است، کوانتوم است؛ چون از هستی سخ رود، از هستنده سخن است، و چون از هستنده بگوید از هستی گفته است. رابطه ی هستنده و هستی، رابطه ی جزء و کل نیست؛ چرا که هستی قابل تجزیه به اجزا نمی باشد. هستی امری زیبا شناختی است، شاهکار هنری است، راز است، و رازآلودگی اش در تجلی است. فروکاست هستی و انسان به مسأله برای وضوح بخشی و شفافیت، دغدغه ی رویکرد های امتدادی است. رویکرد حجمی، هستی را در رازبودگی، در فروبسته ماندن چون راز می یابد. در چنین رویکردی، فاصله ای بین انسان، هستی و معرفت وجود ندارد. ابژه ای وجود ندارد، بل، هر چیز ماهیتی ابژکتیو- سوبژکتیو دارد. دورگه بودن عالم سبب می شود هر کس در عالم خویش زیست کند. لذا، یک عرصه ی عمومی برای به اشتراک گذاشتن مفاهیم یا هر چیز دیگر وجود ندارد. عالم، در یک کلان تئوری شخصی می عالمد. مفهوم کلی بین الاذهانی جایی در رویکرد حجمی ندارد. فرد خود یک نوع است و اقتضای ویژه ای دارد. در این رویکرد «کلی» ناضر به این معناست که هر احساس، ادراک و تصمیمی تبلور کلیت انسان است. نمی توان هر احساس ، ادراک و تصمیمی داشت، این سه برخاسته از ضرورت وجودی اند. ضرورتی که جبری اجتناب ناپزیر تحمیل می کند. یکی شدن هستی و انسان به سبب در عالم بودگی انسان و در انسان بودگی عالم دوآلیسم متافیزیکی را بر نمی تابئ؛ دوآلیسمی که در پوست و گوشت اندیشه رسوخ کرده و بنیادی ترین سنگ بنای رویکردهای امتدادی است. زبان چون یک نظام نشانه ای از عمده تریبن دست آویزهای متافیزیک برای سیطره بر انسان است. نظام نشانه ای با ارجاعات بی پایان منجر به خلق دنیایی مجازی شده و دست انسان را از عالم و امر واقع کوتاه می کند. برای مقابله با نظام ارجاعی، رویکرد حجمی هنر را توصیه می کند و دلالت های تربیتی و تدریس را از منظری زیباشناختی مطرح می سازد.

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

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

معماری سرویس‌گرا (SOA) یک فلسفه‌ی طراحی برای سیستم‌های توزیع‌شده است. هر عملیات در این معماری در قالب یک سرویس طراحی و پیاده‌سازی می‌شود. یکی از روش‌های متداول برای پیاده‌سازی SOA، استفاده از وب‌سرویس‌ها‌ است. در سیستم‌هایی که از اصول سرویس‌گرایی تبعیت می‌کنند، خودکارسازی عملیات اکتشاف وب‌سرویس‌ها‌ با دقت و سرعتی قابل قبول، یک چالش محسوب می‌شود. از طرف دیگر، ناهمگنی در توصیف وب‌سرویس‌ها‌ نیز می‌تواند مشکل‌ساز باشد. با استفاده از یک معماری منسجم برای اکتشاف وب‌سرویس‌ها، می‌توان با این چالش‌ها مقابله کرد.در این پایان‌نامه قصد داریم یک معماری برای انتشار و اکتشاف وب‌سرویس‌های معنایی ارائه نماییم که هدف آن خودکارسازی عملیات انتشار و اکتشاف ‌سرویس‌ها و افزایش سرعت و بهبود دقت اکتشاف سرویس‌ها است. این معماری شامل مولفه‌های نرم‌افزار‌ی انتشار و اکتشاف معنایی و نحوه‌ی تعامل آن‌ها در یک بستر توزیع‌شده است. بستر توزیع‌شده‌ای که‌ برای این معماری طراحی شده است ترکیبی از نظیرها و ابرنظیرها در یک شبکه‌ی هم‌پوشانی ترکیبی است. مدلی برای انتشار و استقرار انباره‌ی وب‌سرویس‌ها در شبکه‌ی P2P آورده شده است که با استفاده از خوشه‌بندی دوسطحی برمبنای context و functionality ترتیب داده شده است. علاوه‌بر‌این، الگوریتم‌هایی را برای مولفه‌های اصلی معماری طراحی کرده‌ایم. با الگوریتم انطباقی که بر مبنای این معماری پیشنهاد شده است می‌توانیم مشکل false positive را در انطباق حل می‌کنیم.

چکیده ندارد.

هدف من در این رساله بررسی دو مساله است: یکی این که آیا اصل صادق‌سازی می‌تواند به خوبی تعهد هستان‌شناسانه را صورت‌بندی کند؟ دیگر این که آیا می‌توان صادق‌ساز مناسبی برای گزاره‌های صادق سالبه یافت، یا اصل صادق‌سازی را چنان بازبینی کرد که از مشکل گزاره‌های صادق سالبه برهد؟ در فصل 1 پس از بحثی کوتاه درباره‌ی ماهیت دوطرف رابطه‌ی صادق‌سازی؛ یعنی حامل صدق و باشنده‌ها، و رابطه‌ی صادق‌سازی، سعی می‌کنم صورت‌بندی درخوری از این اصل به‌دست‌ دهم. سپس به برخی از مشکلاتی که پای‌بندی به این اصل می‌آفریند و هزینه‌های متافیزیکی‌ای که باید برای چنین پای‌بندی‌ای پرداخت اشاره می‌کنم. از جمله این مشکلات، مشکلاتی است که گزاره‌های صادق موجهه، راجع به آینده و گذشته و سالبه می‌آفرینند و از جمله تعهد‌های هستان‌شناسانه‌ای که قائل بودن به این اصل لازم می‌آورد، تعهد به وجود وضعیت‌امورها و کلی‌ها است. در این فصل پس از بررسی اجمالی این مشکلات و تعهدهای هستان‌شناسانه، مفروضات این رساله درباره‌ی ماهیت رابطه‌ی صادق‌سازی و دو طرف آن و دایره‌ی شمول این اصل را بیان می‌کنم. در فصل 2 به نسبت اصل صادق‌سازی و هستان‌شناسی می‌پردازم. ابتدا نطریه‌های هستان‌شناسانه‌ی کواین و کارنپ را، که آن را نظریه‌های سوری می‌خوانم، معرفی و نقد می‌کنم و سپس با اشاره به روی‌کرد نوکارنپی به هستان‌شاسی، صورت‌بندی دقیق‌تری از نظریه‌ی صادق‌سازی در هستان‌شناسی و شیوه‌ی تقلیل هستان‌شناسانه در این نظریه به‌دست می‌دهم. سپس با بررسی ادعاهایی که روی‌کرد صادق‌سازی را برای حل برخی از مشکلات متافیزیکی، از جمله مساله‌ی اشیاء مرکب، توانا می‌داند، نشان می‌دهم که در بسیاری از این موارد این روی‌کرد قادر به حل آن مشکلات نیست. سپس نشان می‌دهم که این روی‌کرد برای به‌دست‌دادن هستان‌شناسی مناسب‌تر از روی‌کرد سوری است و می‌تواند برخی مشکلات، از جمله مساله‌ی پخش‌پذیر بودن صادق‌سازی بر روی فاصل را حل کند. در فصل‌های 3 و 4 به مشکل صادق‌ساز گزاره‌های صادق سالبه می‌پردازم. در فصل 3 ابتدا پس از اشاره و تدقیق ملاک‌های سالبه بودن یک گزاره و صورت‌بندی این مشکل، مهم‌ترین راه‌حل‌هایی که برای حل این مشکل مطرح شده است (راه‌حل‌های ماینونگی، توسل به مانع، توسل به امرواقع سلبی و توسل به تمامیت وضعیت‌امورها) را نقل و نقد می‌کنم. در این فصل نشان می‌دهم که هیچ یک از این راه‌حل‌ها خرسند‌کننده نیست. هم‌چنین تفاوت ماهوی دو راه‌حل اخیر را، که برخی آن را از یک سنخ دانسته‌اند، مستدل می‌کنم. در فصل چهار با تفصیل بیش‌تر به یکی دیگر از راه‌حل‌های مطرح‌شده برای گزاره‌های صادق سالبه، روایت لوییسی از توسل به کاذب‌سازها، می‌پردازم. در این فصل نشان می‌دهم اولاَ برخی گام‌های استدلال لوییس نادرست اند، ثانیاً صورت‌بندی او از اصل کاذب‌سازی خرسندکننده نیست و ثالثاً هر صورت‌بندی‌ای از اصل کاذب‌سازی مشکل صادق‌ساز گزاره‌های صادق سالبه را حل نمی‌کند.

با ظهور معماری سرویس گرا، وب سرویس ها محبوبیت بسیاری یافتند. بعلت موجود بودن تعداد زیادی از وب سرویس ها، یافتن وب سرویس متناسب با نیازهای کاربر چالشی عظیم می باشد. این امر نیاز به برقراری یک فرایند مورد اعتماد و موثر کشف وب سرویس را تضمین می کند. امروزه تحقیقات بسیاری برای طراحی روش هایی به منظور افزایش میزان دقت کشف وب سرویس انجام می گیرد که بهترین سرویس را تطبیق نماید. نتایج فرایند کشف سرویس، سرویس هایی است که تا اندازه ای نیاز های کاربر را ارضا می نمایند. در نظر گرفتن رابطه معنایی میان کلمات استفاده شده در توصیف سرویس و همچنین پارامترهای ورودی و خروجی می تواند منجر به دقت در کشف وب سرویس شود. علاوه بر پارامترهای ورودی و خروجی، پارامترهای دیگری نیز در توصیف سرویس وجود دارند که استفاده از آنها منجر به بالا بردن دقت کشف وب سرویس ها می شود. این پارامترها پیش شرط و اثر نام دارند. این تحقیق الگوریتمی برای کشف وب سرویس معنایی براساس مقایسه میان پارامترهای ورودی، خروجی، پیش شرط، و اثر درخواست و سرویس، ارائه می دهد.در بیشتر روش های کشف وب سرویس، پنج درجه تطبیق در نظر گرفته می شود که عبارتند از : Exact، PlugIn، Subsume، Intersect، Fail. در الگوریتم حاضر به جای درجه Fail درجه تطبیق جدیدی به نام Substitute در نظرگرفته شده که سرویس جایگزین درخواست را ارائه می کند. همچنین در این الگوریتم برای تعیین میزان شباهت میان مفاهیم روشی بر مبنای درخت سلسله مراتب آنتولوژی در نظر گرفته شده که میزان دوری و نزدیکی مفاهیم به یکدیگر را تشخیص می دهد. الگوریتم ارائه شده از یک سیستم امتیاز دهی براساس میزان شباهت مفاهیم و ویژگی های آنها به یکدیگر استفاده می کند. این سیستم به هر یک از زوج مفاهیم که با یکدیگر مقایسه می شوند، براساس روش تعیین مشابهت ذکر شده، امتیازی نسبت داده و امتیاز نهایی سرویس را براساس میانگین امتیاز مفاهیم محاسبه می کند. امتیاز محاسبه شده برای هر سرویس همراه با درجه تطبیقی که برای سرویس محاسبه شده است به کاربر ارائه می شود.برای ارزیابی الگوریتم ارائه شده از مجموعه داده ای متشکل از 100 وب سرویس معنایی و 20 پرس و جو استفاده شده است. نتایج به سه معیار Precision/Recall، F1، و میانگین زمان پاسخ با سه الگوریتم کشف وب سرویس دیگر مقایسه شده اند. الگوریتم ارائه شده دارای دقت بالاتری از سه الگوریتم مورد مقایسه می باشد. اما از نظر میانگین زمان پاسخ با توجه به اینکه علاوه بر ورودی و خروجی، از مقایسه پیش شرط و اثر نیز برای کشف وب سرویس معنایی استفاده می کند، دارای میانگین زمان پاسخ بالاتری نسبت به دیگر الگوریتم های مورد مقایسه می باشد. در مجموع، دقت کشف وب سرویس معنایی با الگوریتم ارائه شده پیشرفت قابل ملاحظه ای را نسبت به روش های مرسوم کشف وب سرویس نشان می دهد.

چکیده ندارد.

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