نتایج جستجو برای: استنتاج rdfs/owl
تعداد نتایج: 4682 فیلتر نتایج به سال:
در طی سالیان اخیر حجم زیادی از سه گانه های rdf (در حدود چند ده میلیارد) در وب منتشر گردیده است. برای استفاده از این داده های منتشر شده باید الگوریتم استنتاجی داشته باشیم که بتواند روی این حجم عظیم از داده ها استنتاج انجام دهد و همچنین بتواند خود را با این نرخ بالای رشد ، تطبیق دهد. تاکنون راهکارهای مختلفی برای حل این مشکل ارائه گردیده است که برخی از آنها توانسته اند ، مقیاس پذیری خوبی را از خود...
لا يزال الفكر السلفي وانعكاساته محط أنظار الأوساط الأكاديمية والسياسية والأمنية لارتباطه بجوانب دينية واجتماعية من جهة، وبجوانب أمنية جهة أخرى. وإن كانت مظاهر في المجتمعات مختلفة بحسب خصوصيات تلك ونتيجة مواقف السلطات الأمنية حيالها، إلا أننا نجد منتشرا كافة الدول الإسلامية بما فيها الجمهورية التركية. ويقدم هذا البحث نبذة عن حالة الدين والتعليم الديني، وظهور وانعكاساته، وموقف الدولة حيال السلفية...
اتحاد عاقل و معقول از مسائل محوری در حکمت متعالیه به شمار می‌آید. گرانی‌گاه اثبات استنتاج آن، مرهون توجه ژرف روش مبانی خاص است. ادلة اثباتی آن دست کمی خود فاصله گرفتن فلسفة متعارف ندارد. این مسیر، برخی نوپژوهان با ذهنیت اشتراک روشی مبنایی آموزة اتحاد، دیدگاه صدرایی دیگر حکما، خوانش آموزه پرداخته بهانه نقد، نتیجه‌ای جز تولید شبهه بار نیاورده‌اند. حکیم سبزواری بر اساس ویژة دلیلی مبنای مشاهدة عقو...
يعتبر سعر الصرف وعرض النقد من ادوات السياسة النقدية الاساسية والتي تشكل جانبمهم الاقتصادية للدولة يعتمد عليها لتحقيق أهدافها ومن اهمها تحقيقالنمو الاقتصادي, اذ تعتبر الية فعالة وركيزة أساسية للوصول الىالاستقرار النقدي جهة والاستقرار الاقتصادي اخرى النقديةحلقة الوصل بين الجانب والجانب الحقيقي الاقتصاد, هذا المنطلق الهدف منهذا البحث وهو الاثر الذي تمارسه والمتمثلة ب النقدعلى النمو في العراق وهل أ...
آیات 60 تا 82 سورة کهف، داستان ملاقات موسی و خضر علیهم‌السلام را گزارش کرده است. حوادثی که در مدت هم‌نشینی مصاحبت این دو شخصیت الهی به وقوع پیوسته، موضوع بحث یا مستند برخی دیدگاه‌ها علم فقه، اخلاق تربیت، کلام ... شده نوشتار حاضر سبک توصیفی تحلیلی سامان یافته، با بازخوانی وقایعی رخ داده، پی استخراج دلالت‌های اعتقادی پاسخ شبهات از آثار تفسیریِ دارای رویکرد کلامی، صورت پراکنده مختصر پرداخته است، ام...
سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلال ها و قضایای منطق را ثابت می کند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی می نامند. این سیستم که تقریرهای مختلف و متعددی دارد به خاطر مشکلاتی که سیستم های اصل موضوعی(که در اوخر قرن نوزدهم و اوایل قرن بیستم توسط فرگه و راسل وایتهد ابداع شده بود...
تهدف هذه الدراسة لمعرفة أثر التدوين البصري في تنمية مهارات التفكير بمقرر الرياضيات لدى طالبات المرحلة الابتدائية بمدينة الرياض. تم اعتماد المنهج التجريبي بالتصميم شبه لمناسبته لموضوع الدراسة، حيث تصميم اختبار لمهارات يتضمن (التمييز البصري، إدراك العلاقات المكانية، تحليل المعلومات، تفسير استنتاج المعنى) لفصلي (النسبة المئوية والاحتمالات، الهندسة: الزوايا والمضلعات) من مقرر الرياضيات. تطبيق الاخت...
در این مقاله بیناب نوترون‌های سریع ارتفاع‌های 3 و 5 کیلومتری سطح زمین با استفاده از پاسخ آشکارسازهای قطره‌ی فوق گرم بهره‌گیری شبکه‌ی هوشمند عصبی فازی (انفیس) بازیابی شد. انفیس، یک سیستم استنتاج نوع تاکاگی- سوگنو است که قالب تطبیقی پیاده‌سازی شده است. ابزار مشابه تفکر انسان مواجه مسایل غیرقطعی همراه خطا عمل می‌کند. ماتریس پنج آشکارساز فوق‌گرم فشارهای خارجی مختلف توسط برنامه‌ی کاربردی نو...
منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...
یکی از مباحث مهم در مبانی اخلاق، ارتباط و تعامل میان اخلاق و دین است. این ارتباط در مواردی اهمیت مییابد که مسائل مشترکی مطرح میشود که اخلاق و دین با دو رویکرد به آن میپردازند. مفاهیم جدیدی مانند اخلاق سکولار نتیجه ی جداکردن دین و اخلاق بوده است. یکی از دیدگاه های معروف در ارتباط اخلاق و دین، دیدگاه «استنتاج اخلاق از دین» یا «نظریه فرمان الهی» است که در این مقاله به طرح و بررسی آن می پردازیم.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید