ابراهیم علائی - مدرس مدعو دانشکده فنی و مهندسی،دانشگاه شهرکرد
هادی محمدی - عضو هیات علمی دانشگاه پیام نور

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

استنتاج ,حساب محمول, حساب گزاره ای, اصول موضوعی, اثبات تئوریک, مدل تئوریک