دانلود ترجمه مقاله کاربرد اجرای سیستم خبره جهت ثبت رویداد ها – مجله CiteSeerX

بخشی از ترجمه:

چکیده

سیستم خبره ­ی پرولوگ (APES) با هدف قابل نگهداری بودن توسط کارشناس دامنه (یعنی بدون نیاز به مهارت­ های برنامه­ نویسی) به پشتیبانی از جستار و گسترش مبنای دانش از یک رابط خط فرمان با استفاده از یک فرمت قرار گرفته بر روی زبان طبیعی می­پردازد. این سیستم قوانین و حقایق را درمبنای دانش جستجو می­کند وحقایقاز دست رفتهرا از کاربردرخواستمی­کند. هنگامیکهراه­حلیپیدا می­شود،استنتاجیکه منجربه این نتیجهمی­شود (یعنی قوانین وحقایق استفاده شده)و راه­ حل­ های دیگر نمایش داده می­شوند. دانش در فایل متنی حاوی محمولات پرولاگبا اپراتورهای تعریف ­شده بیان می­شود تا آن را زبان دامنه-خاص بکند که بیش از حد ازفرمت ورود ی واقعی دور نیست که آن را توسط کارشناس دامنه بدون نیاز به پرولاگ و یا مهارت­های برنامه نویسی عمومی حفظ می­کند. این منجر به ایده­ و هدف اصلی می­شود.

مقدمه
برنامه ­نویسی منطقی بر مبنای مرتبه ­ی اول در منطق محمولات است. عبارات برنامه ­نویسی بسیار معمول منطقی هستند که شکل­های خاصی از فرمول­های منطق محمولات مرتبه اول (FOL) هستند. برنامه در برنامه­ نویسی منطقی مجموعه­ ای از عبارات است. عبارت در برنامه ­نویسی منطقی از نمادی عبارتی خاصی استفاده می­کند. جستارها با استفاده از اصل قطعنامه حل می­شوند. چند زبان برنامه­ نویسی منطقی ایجاد شده ­اند که از آن به بعد انتخاب­های مختلفی از گزینش عبارت را بیان می کنندد.

بخشی از مقاله انگلیسی:

INTRODUCTION

Logic Programming is used as a declarative representation language and a modelgenerator is used as the problem-solver. The problem-solving task is split between the programmer, who is responsible only for ensuring the truth of programs expressed in logical form, and the theorem-prover or model-generator, which is responsible for solving problems efficiently.  Logic programming is based on first order in predicate logic. Clauses are very common logic programming which have special forms of first order predicate logic (FOL) formula.  Program in logic programming is a collection of clauses. Clause in logic programming adopts a special clausal notation.  Queries are solved using resolution principle.  Several logic programming languages have been developed since then reflecting different choices of clause selection.  There are three basic statements: facts, rules and queries. These are special forms of clauses as already mentioned earlier:  Fact (Unit clause): The simplest kind of statement is called fact which states a relation between objects as such o BROTHER ( john, mike) ← o This fact says that john is a brother of mike. BROTHER is a predicate symbol that shows relationship between two individuals named mike and john.