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

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

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

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

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

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