اس فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

اس فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

طراحی و پیاده سازی یک سیستم خبره جهت ارزیابی ابزارهای تأیید و اعتبارسنجی دانش در سیستمهای هوشمند

اختصاصی از اس فایل طراحی و پیاده سازی یک سیستم خبره جهت ارزیابی ابزارهای تأیید و اعتبارسنجی دانش در سیستمهای هوشمند دانلود با لینک مستقیم و پر سرعت .

طراحی و پیاده سازی یک سیستم خبره جهت ارزیابی ابزارهای تأیید و اعتبارسنجی دانش در سیستمهای هوشمند


طراحی و پیاده سازی یک سیستم خبره جهت ارزیابی ابزارهای تأیید و اعتبارسنجی دانش در سیستمهای هوشمند

فرمت فایل : word (قابل ویرایش) تعداد صفحات : 19 صفحه

 

 

 

 

 

 

 

چکیده

در این مقاله به توصیف چگونگی طراحی و پیاده سازی یک سیستم خبره جهت ارزیابی ابزارهای تأیید و اعتبارسنجی دانش    سیستم های هوشمند می پردازیم. امروزه مسائل تأیید و اعتبارسنجی دانش سیستم های هوشمند از اهمیت بالایی برخوردار است که به موجب آن ابزارهای تأیید و اعتبارسنجی دانش سیستم های هوشمند نیز جزء مسائل پر اهمیت محسوب شده و در نتیجه پیاده سازی یک سیستم ارزیابی ابزارهای مذکور از کارهای امروزه محققین در این زمینه می باشد. سیستم خبره طراحی شده علاوه بر تعیین ارزش نهایی هر ابزار تأیید و اعتبارسنجی دانش سیستم های هوشمند، قادر به ارائه تشریح برای کاربر نیز می باشد و می تواند به سؤال های "چرا"[1] و "چگونه"[2] در رابطه با اولویت بندی ابزارها که از طرف کاربر مطرح می شوند پاسخ گوید و همچنین مراحل دستیابی به قوانین ارزش دهی از طریق گزینه "ردیابی"[3] در اختیار کاربر قرار خواهد گرفت. خروجی سیستم خبره ارزیابی به صورت نمودار توسط نرم افزار Microsoft Excel ارائه خواهد شد.

 

 

 مقدمه

"تأیید" و "اعتبارسنجی" دانش یکی از مسائل مورد توجه محققان از سال 1984 میلادی تاکنون بوده است. محققین از آن زمان به فکر طراحی ابزاری مناسب جهت "تأیید" و "اعتبارسنجی" دانش برای   سیستم های مبتنی بر دانش بودند.

"تأیید" و "اعتبارسنجی" دانش یک مرحله ترکیبی برای تضمین کیفیت سیستم های نرم افزاری مبتنی بر دانش است. "تأیید" دانش، تضمینی برای درستی از جنبه مفهومی و "اعتبارسنجی" دانش، تضمینی از نظر قابل قبول بودن نرم افزار از طرف استفاده کننده می باشد. برای پیاده سازی و طراحی این مرحله به ابزارها، تکنیک ها و روش هایی نیاز می باشد. سیستم های خبره امروزی غالباً با چنین ابزار، روش و   تکنیک هایی تولید نشده اند.[2]

با توجه به اهمیت "تأیید" و "اعتبارسنجی" دانش در این مقاله به بررسی طراحی و پیاده سازی سیستم خبره جهت ارزیابی ابزارهای تأیید و اعتبارسنجی دانش سیستم های هوشمند می پردازیم. در ابتدا با مطالعه ابزارهای موجود "تأیید" و "اعتبارسنجی"، پارامترهای ارزیابی همراه با مقادیر ممکن آن ها به صورت جدولی ارائه می گردد. مقادیر پارامترهای ارزیابی توسط پرس و جو از کاربر در قالب یک پایگاه داده طراحی شده است. دانش های به دست آورده شده در پایگاه دانشی که دربرگیرنده ارزش پارامترهای این پایگاه داده  می باشند ذخیره می شوند. با استفاده از استنتاج رو به عقب بر روی پایگاه دانش طراحی شده و حقایق کسب شده از پایگاه داده، ارزش نهایی هر ابزار تأیید و اعتبارسنجی دانش ارائه  می گردد. در نهایت توسط نرم افزار Microsoft Excel به صورت نموداری، ارزش کلیه ابزارها رسم می گردد. این نمودار ارزش ابزارهای تأیید و اعتبارسنجی دانش سیستم های هوشمند ارزیابی شده را به صورت تصویری به نمایش  می گذارد. شکل 1 سیستم خبره مورد بررسی را توصیف می کند.

 

شکل 1- ورودی و خروجی سیستم خبره

این سیستم خبره به صورت یک پوسته[4] با استفاده از زبان برنامه نویسی پرولوگ طراحی شده است که قادر به انجام عمل استنتاج برای هر پایگاه دانش متناسب با دامنه مسأله می باشد.

سیستم خبره ارزیابی طراحی شده شامل اجزای زیر  می باشد:

1- پایگاه دانش، محل ذخیره سازی ارزش پارامترها و نیز قوانین مربوط به تعیین ارزش نهایی هر ابزار تأیید و اعتبارسنجی دانش سیستم های هوشمند می باشد.

2- پایگاه داده، به منظور ذخیره سازی جدول ارزیابی ابزارهای تأیید و اعتبارسنجی دانش   سیستم های هوشمند در نظر گرفته شده است.

3- موتور استنتاج، شامل روش استنتاج رو به عقب برای تعیین ارزش نهایی هر ابزار تأیید و اعتبارسنجی دانش سیستم های هوشمند می باشد.

4- واسط کاربر، برقراری ارتباط با کاربر از طریق سؤال و جواب می باشد.

5- تشریح کننده، در بر گیرنده تشریح چگونگی ارزش دهی ابزارهای تأیید و اعتبارسنجی دانش می باشد.

 

دانلود با لینک مستقیم


طراحی و پیاده سازی یک سیستم خبره جهت ارزیابی ابزارهای تأیید و اعتبارسنجی دانش در سیستمهای هوشمند

دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل

اختصاصی از اس فایل دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی : تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل

موضوع انگلیسی : Formal verification of ethical choices in autonomous systems

تعداد صفحه : 14

فرمت فایل :pdf

سال انتشار : 2015

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

چکیده

سیستم های مستقل: مانند وسایل نقلیه بدون سرنشین شروع به در جامعه به کار گیرند. همه شرکت کنندگان
در جامعه مورد نیاز به دنبال مقررات و قوانین ویژه. یک سیستم مستقل نمی تواند باشد
استثناء است. به ناچار یک سیستم مستقل خواهد شد و خود را در وضعیتی که در آن به نه تنها نیاز
را انتخاب کنید به اطاعت یک قاعده یا نیست، بلکه تصمیم گیری های پیچیده اخلاقی است. با این حال، وجود ندارد آشکار وجود دارد
پیاده سازی راه را برای درک بشر از رفتار اخلاقی در رایانه است. حتی اگر ما را قادر می سازد
سیستمهای مستقل به تشخیص تر و کمتر جایگزین اخلاقی، چگونه می توانیم مطمئن شوید که
که آنها را انتخاب کنید راست؟ از نظر ما سیستم های مستقل با معماری ترکیبی که در آن
بالاترین سطح از استدلال است که توسط یک (BDI) فاعل عقلانی اجرا می شود. چنین سیستمی برای تأیید رسمی شما
با موفقیت مورد استفاده تا ثابت کند که قوانین خاص از رفتار مشاهده می هنگامی که ساخت decisions.We
یک چارچوب نظری برای انتخاب اخلاقی که می تواند به طور رسمی طرح verified.We به پیاده سازی پیشنهاد
که شامل یک فاعل عقلانی در انتخاب طرح خود را داده و سیاست اخلاقی نشان می دهد که ما به طور رسمی می توانید
که منظور بررسی عامل را اجرا، به بهترین عقاید خود، طرح اخلاقی ترین در دسترس است.

کلمات کلیدی:
سیستم های مستقل
اخلاق
برنامه های BDI
تأیید رسمی


دانلود با لینک مستقیم


دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل