دسته: مقالات ترجمه شده isi
بازدید: 199 بار
فرمت فایل: doc
حجم فایل: 326 کیلوبایت
تعداد صفحات فایل: 6
پیاده سازی سیستم خبره برای ثبت رخدادها
چکیده - سیستم خبرهی پرولوگ(APES)با هدف قابل نگهداری بودنتوسط کارشناسدامنه(یعنیبدون نیاز بهمهارتهای برنامهنویسی) به پشتیبانی ازجستارو گسترشمبنای دانش از یک رابطخط فرمانبا استفاده از یکفرمتقرار گرفته بر روی زبان طبیعی میپردازد. این سیستمقوانین وحقایقرا درمبنای دانشجستجو میکند وحقایقاز دست رفتهرا از کاربردرخواستمیکند. هنگامیکهراهحلیپیدا میشود،استنتاجیکه منجربه این نتیجهمیشود (یعنی قوانین وحقایق استفاده شده)و راهحلهای دیگرنمایش داده میشوند. دانش در فایلمتنی حاویمحمولات پرولاگبااپراتورهایتعریفشده بیان میشود تا آن را زباندامنه-خاصبکند کهبیش از حدازفرمت ورودیواقعی دور نیست که آن را توسط کارشناسدامنهبدون نیاز بهپرولاگو یامهارتهای برنامه نویسیعمومیحفظ میکند.این منجر بهایده و هدف اصلی میشود.
کلمات کلیدی: برنامهنویسی منطقی در رویدادها، بیان دانش رویدادها، سیستمهای خبره، اثبات قضیه.
An Implementation of Expert System For Registration of Events
Mandeep Kaur, Assistant Professor, Guru Kashi University, Talwandi Sabo, Punjab, India
Upasna Garg, Assistant Professor, Guru Kashi University, Talwandi Sabo, Punjab, India
Vinod Singla, Assistant Professor, Guru Kashi University, Talwandi Sabo, Punjab, India
ABSTRACT
A Prolog expert system (APES) supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills). The system will search the rules and facts in the knowledge base and request missing facts from the user. When a solution is found, the inference that lead to the conclusion (i.e. the used rules and facts) and additional solutions can be displayed. The knowledge is represented in text files containing Prolog predicates with defined operators to make it a domain-specific language which is not too far from the actual input format, making it maintainable by the domain expert without requiring Prolog or general programming skills. This leads to the core idea and goal.
Keywords & Phrases: logic programming in Events, Events knowledge representation, expert systems, theorem proving.
مقدمه
- برنامهنویسی منطقی بر مبنای مرتبهی اول در منطق محمولات است. عبارات برنامهنویسی بسیار معمول منطقی هستند که شکلهای خاصی از فرمولهای منطق محمولات مرتبه اول (FOL) هستند.
- برنامه در برنامهنویسی منطقی مجموعهای از عبارات است. عبارت در برنامهنویسی منطقی از نمادی عبارتی خاصی استفاده میکند.
- جستارها با استفاده از اصل قطعنامه حل میشوند.
- چند زبان برنامهنویسی منطقی ایجاد شدهاند که از آن به بعد انتخابهای مختلفی از گزینش عبارت را بیان می-کنند.
چندین گزارهی اساسی وجود دارد: حقایق، قوانین و جستارها. چند شکل از عبارات همانطور که تاکنون بیان شده است وجود دارد:
- حقیقت (عبارت واحد): سادهترین نوع گزاره حقیقت نام دارد که رابطهی بین اشیاء از جمله موارد زیر را بیان میکند:
- BROTHER (جان، مایک) ®
- این حقیقت میگوید که جان برادر مایک هست. BROTHER نماد محمولات است که رابطهی بین دو فرد به نام جان و مایک را نشان میدهد.