پایگاه داده مبتنی بر منطق
Publish place: The first national conference on computers, information technology and Islamic communications in Iran
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,848
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICCONF01_136
تاریخ نمایه سازی: 14 آذر 1394
Abstract:
با پیشرفت روز افزون نیازهای کاربران در زمینه های کاری مختلف احساس نیاز به وجود آمدن پایگاه داده های مبتنی بر منطق در زمینه های که نیاز به استخراج دانش و اطلاعات از حقایق پایگاه داده در زمینه پرس جو ها که نیاز به استنباط از داده ها موجود می باشد . این مدل ازپایگاه داده ها جواب گویی نیاز های این قبیل از کاربران است. همچنین کاربرد های از قبیل سیستم های کاری که ازسیستم خبره یا هوشمصنوعی و سیستم های که از استنتاج بر روی داده ها انجام می دهند. در این مقاله به مقدمات و تئوری وحساب های گزاره ای وحساب محمول و قوانین استنتاجی ونحوه تعریف این قوانین و نحوه کار کرد این قوانین روی داده های پایگاه داده ها و نحوه بیان تقاضای می پردازیم . همچنین به اثبات تئوریک و مدل تئورک مورد استفاده در این گونه بانک های اطلاعاتی و به کاربرد این مدل از پایگاه داده ها را خواهیم پرداخت
Keywords:
Authors
ابراهیم علائی
مدرس مدعو دانشکده فنی و مهندسی،دانشگاه شهرکرد
هادی محمدی
عضو هیات علمی دانشگاه پیام نور
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :