پاورپوینت طراحي ميانافزار (pptx) 32 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 32 اسلاید
قسمتی از متن PowerPoint (.pptx) :
بنام خدا
2
فهرست مطالب
مقدمه
منطق تشريحي
پرسوجو بر روي داده معنادار
مدل پيشنهادي
نتيجهگيري
3
هدف
طراحي ميانافزار
امكان تعريف شماي يكپارچه براي دادههاي ناهمگن
1. تعريف داده به صورت معنيدار
2. جلوگيري از وجود تناقض در تعاريف دادهها
امكان پرسوجو بر روي شماي يكپارچهشده
استفاده از روشهاي پرسوجو بر روي داده معنيدار
مقدمه
4
نحوه نمايش شماي يكپارچه
سيستم نمايش دانش:
ساخت سيستم نرم افزاري
هوشمند
توانايي سيستم، در پيدا كردن
ترتيب ضمني از روابط آشكار
روشهاي نمايش دانش
بر اساس منطق نباشد
بر اساس رابط گرافيكي
دانش بصورت ساختار دادهاي
استدلال با تغيير ساختار داده
نداشتن خصوصيات معنايي دقيق
بر اساس منطق باشد
استفاده از منطق First-Order
استدلال براي بررسي ترتيب منطقي
بخش بندي دانش به دو بخش واژگان و فرضيات
خصوصيات معنايي دقيق
تعريف شماي يكپارچه
5
First-Order Logic
مسندهاي يكتايي
{x | Person(x)}, x.Person(x){
مسندهاي دوتايي
{x, y | hasChild(x, y)}
عبارات با سازندهها
{x | Person(x) y.haschild(x, y) Female(y)}
6
منطق تشريحي
تعريف شماي يكپارچه
7
عبارات منطق تشريحي
مفاهيم: موجوديت يا كلاسهايي كه نمونهها را شرح ميدهند.
مفهوم اتميك A,B- مفهوم شخص(person)
نقشها: روابط بين مفاهيم يا خصوصيات مفاهيم
نقش اتميك R - نقش «فرزند داشتن»(has-child)
سازندهها: عملگرهايي براي تعريف مفاهيم جديد
مثال، اشتراك( )، اجتماع( ) - مفهوم مركب C, D
تعريف شماي يكپارچه
8
عبارات منطق تشريحي
تشخيص زبانهاي منطق تشريحي: بوسيله سازندههاي آنهاست
سادهترين زبان منطق تشريحي: زبان صفتي (AL)
تعريف شماي يكپارچه
9
نمايش دانش در منطق تشريحي
TBox:
تعريف نقش و نام مفهوم
تعريف اصل
ABox:
فرضيههاي مفهومي
فرضيههاي نقش
TBox
تعريف شماي يكپارچه