پاورپوینت منطق مرتبه اول

بخشی از پاورپوینت

اسلاید 1 :

فصل هشتم

منطق مرتبه اول

اسلاید 2 :

فهرست
مروری بر زبانهای نمایش دانش
منطق رتبه اول
انواع منطق
نحو و معنای منطق رتبه اول
مهندسی دانش

اسلاید 3 :

زبانهای نمایش دانش
زبانهای برنامه نویسی
رهیافت رویه ای (procedural)
عدم امکان بعضی از حقایق
منطق گزاره ای
ماهيت اعلانی، قابليت ترکيب، قدرت بيان کافی برای بیان جزئي
فاقد قدرت بياني برای بیان حقایق به صورت کلی
زبانهای طبیعی
قدرت بیان بالا
مبهم
منطق مرتبه اول
درباره اشیا و رابطه بین آنها
منطق زمانی
ترتیب زمانی بین رویدادها را در نظر میگیرد
منطق مراتب بالاتر
امکان تعریف رابطه بین رابطه ها

اسلاید 4 :

منطق مرتبه اول
در منطق رتبه اول دنیا توسط اشيا و رابطه ها مدل ميشود
اشياء: افراد، خانه، اعداد، رنگها، بازيهای فوتبال، آتش و .
رابطه ها:
رابطه های يکاني يا خواص مثل قرمز، گرد، اول و .
رابطه های چندتايي مثل برادر بودن، بزرگتر بودن، بخشی از، مالکيت و .
توابع: پدر بودن، بهترين دوست، يکي بيشتر از و .

اسلاید 5 :

نحو و معنای منطق رتبه اول
نمادهای اصلی
نمادهای ثابت: اشيا را نشان ميدهد. (John)
نمادهای محمول: رابطه ها را نشان ميدهد. مثال: برادر بودن، بزرگتر بودن از
نمادهای تابع: توابع را نشان ميدهند. مثال: تابع پای چپ(LeftLeg)
متغيرها: x , y , a ,b
روابط منطقی: 
تساوی: =
سورها: 
ترم: یک نماد ثابت یا یک تابع روی تعدادی ترم (John، LeftLeg(John))
جملات اتمیک: یک نماد محمول روی یک یا چند ترم (بیان یک رابطه بین دو شی)
جملات مرکب

اسلاید 6 :

خصوصيات سورها

اسلاید 7 :

استفاده از منطق مرتبه اول
ادعا: جملاتی که از طريق TELL به پايگاه دانش اضافه ميشوند
TELL (KB , King(John))
TELL (KB , x King(x) => Person(x))
پرس و جو: سوالهایی که با استفاده از ASK از پايگاه دانش میپرسیم
ASK (KB , Person(John))
ASK(KB , x Person(x))
ASKVARS(KB, Person(x))
پاسح ASK، درست/غلط است و پاسخ ASKVAR ليست جانشيني (انقياد) است، ليستي از پاسخهای ممکن برای یک پرسش

اسلاید 8 :

مثال: دامنه روابط خویشاوندی
مادر هر فرد والد مؤنث آن فرد است
m,c Mother(c) = m Femail(m) ^ Parent(m,c)
شوهر هر فرد، همسر مذکر آن فرد است
w,h Husband(h,w)  Male(h) ^ Spouse(h,w)
مذکر و مؤنث بودن طبقه های متمايزی هستند
x, Male(x) Female(x)
والد و فرزند، رابطه های معکوس هستند
p,c Parent(p,c)  Child(c,p)
پدر بزرگ يا مادربزرگ والدينِ والدين هر فرد است
g,c Grandparent(g,c) p Parent(g,p) ^ Parent(p,c)

اسلاید 9 :

مثال: اعداد و مجموعه ها

اسلاید 10 :

مثال: دنیای ومپوز
Percept([Stench, Breeze, Glitter, None, None], 5)
Turn(Right), Turn(Left), Forward, Shoot, Grab, Climb
ASKVARS(∃ a BestAction(a, 5))
∀ t, s, g, m, c Percept([s, Breeze,g,m,c],t) ⇒ Breeze(t)
∀ t, s, b, m, c Percept([s, b, Glitter,m,c],t) ⇒ Glitter(t)
∀ t Glitter(t) ⇒ BestAction(Grab,t)
…
..

اسلاید 11 :

منطق رتبه اول
مهندسي دانش
فرايند کلی ساخت پايگاه دانش که شامل مراحل ذيل ميباشد:
مشخص کردن کار
مونتاژ دانش مربوطه
تصميم گيری در مورد واژه نامه محمولها، توابع و وراثت
کدگزاری دانش کلی در مورد دامنه
کد گزاری توصيف نمونه مسئله خاص
اِعمال تقاضاها به رويه استنتاج و دريافت پاسخ
اشکال زدايي پايگاه دانش