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

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

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

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

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

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

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

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