تبلیغات



در این وبلاگ
در كل اینترنت
دانلود مقاله، پایان نامه، پروژه، تحقیق،کارورزی و....

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

ترجمه طلایی پیاده ­سازی سیستم خبره برای ثبت رخدادها

ترجمه طلایی پیاده ­سازی سیستم خبره برای ثبت رخدادها

دسته: مقالات ترجمه شده isi

بازدید: 36 بار

فرمت فایل: doc

حجم فایل: 326 کیلوبایت

تعداد صفحات فایل: 6

برنامه ­نویسی منطقی بصورت یک زبان بیان اعلانی استفاده می­شود و یک مدل ژنراتور بصورت حل­گر مساله بکار می­رود کار حل مساله بین برنامه ­نوبس (که تنها مسئول اثبات حقیقی بودن برنامه­ها به شکل منطقی است) و ثابت­گر قضیه یا تولیدگر مدل (که مسئول حل مسائل بصورت موثر است) تقسیم می­شود

قیمت فایل فقط 75,900 تومان

پس از پرداخت، لینک دانلود فایل برای شما نشان داده می شود.

پرداخت و دانلود

پیاده ­سازی سیستم خبره برای ثبت رخدادها

چکیده - سیستم خبره­ی پرولوگ(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 نماد محمولات است که رابطه­ی بین دو فرد به نام جان و مایک را نشان می­دهد.

قیمت فایل فقط 75,900 تومان

پس از پرداخت، لینک دانلود فایل برای شما نشان داده می شود.

پرداخت و دانلود

برچسب ها : ترجمه طلایی پیاده ­سازی سیستم خبره برای ثبت رخدادها , پس¬زمینه , برنامه¬ی منطق پرولاگ , • سیستم خبره¬ی تشخیص خطای سیستم قدرت با استفاده از PROLOG , • سیستم خبره¬ی حیوانات با استفاده از PROLOG , روش¬شناسی , منطق محمولات مرتبه¬ی اول , جستارها , زمینه¬ و پیشنهاد آتی , برنامه­ نویسی منطقی در رویدادها , بیان دانش رویدادها , سیستم­های خبره , اثبات قضیه


برچسب ها: ترجمه طلایی پیاده ­سازی سیستم خبره برای ثبت رخدادها، پس¬زمینه، برنامه¬ی منطق پرولاگ، • سیستم خبره¬ی تشخیص خطای سیستم قدرت با استفاده از PROLOG، • سیستم خبره¬ی حیوانات با استفاده از PROLOG، روش¬شناسی، منطق محمولات مرتبه¬ی اول،
[ شنبه 12 خرداد 1397 ] [ 10:44 ب.ظ ] [ Ariyan ]
.: Weblog Themes By themzha :.

درباره وبلاگ


ایمیل من
byazdan9@gmail.com

آخرین مطالب
لیست آخرین مطالب
آمار سایت
بازدیدهای امروز : نفر
بازدیدهای دیروز : نفر
كل بازدیدها : نفر
بازدید این ماه : نفر
بازدید ماه قبل : نفر
تعداد نویسندگان : عدد
كل مطالب : عدد
آخرین بروز رسانی :
امکانات وب
قالب وبلاگ