| عنوان فارسی مقاله: | کاربرد اجرای سیستم خبره جهت ثبت رویداد ها |
| عنوان انگلیسی مقاله: | An Implementation of Expert System For Registration of Events |
| دانلود مقاله انگلیسی: | برای دانلود رایگان مقاله انگلیسی با فرمت pdf اینجا کلیک نمائید |
| خرید ترجمه آماده: | تماس بگیرید |
| کد مقاله | s7 |
| سال انتشار | 2013 |
| تعداد صفحات مقاله انگلیسی | 3 |
| تعداد صفحات ترجمه مقاله | 15 |
| مجله | مجله مهندسی، کامپیوتر و علوم کاربردی (JEC و AS) |
| دانشگاه | دانشگاه کاشی گورو، پنجاب، هند |
| کلمات کلیدی | برنامه نویسی منطقی در رویدادها، بیان دانش رویدادها، سیستمهای خبره، اثبات قضیه |
| نشریه | 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.
| عنوان فارسی مقاله: | کاربرد اجرای سیستم خبره جهت ثبت رویداد ها |
| عنوان انگلیسی مقاله: | An Implementation of Expert System For Registration of Events |
| دانلود مقاله انگلیسی: | برای دانلود رایگان مقاله انگلیسی با فرمت pdf اینجا کلیک نمائید |
| خرید ترجمه آماده: | تماس بگیرید |
| کد مقاله | s7 |