کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9952169 1441438 2018 42 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A logic-algebraic tool for reasoning with Knowledge-Based Systems
ترجمه فارسی عنوان
ابزار منطق جبری برای استدلال با سیستم های مبتنی بر دانش
کلمات کلیدی
معانی چندجملهای، محاسبات نمادین، کسر خودکار، سیستم های مبتنی بر دانش،
ترجمه چکیده
شرح مفصل مبانی یک مدل منطق جبری برای استدلال با پایگاه های دانش مشخص شده توسط منطق گویا (بولین) ارائه شده است. این مدل از ترجمه منطقی مشتقات معمول بر روی چندجملهای (بر روی حلقه های باقی مانده) است که برای طراحی یک حکم استنتاج جدید الهام از الگبرو-هندسی استفاده می شود. صداقت و (تکذیب) کامل بودن قانون ثابت می شود. برخی از کاربردهای ابزارهای معرفی شده در مقاله نشان داده شده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
ابزار منطق جبری برای استدلال با سیستم های مبتنی بر دانش
چکیده انگلیسی
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on residue rings) which is used to design a new inference rule of algebro-geometric inspiration. Soundness and (refutational) completeness of the rule are proved. Some applications of the tools introduced in the paper are shown.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 101, December 2018, Pages 88-109
نویسندگان
, , , , ,