پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعي)
پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعي)
نوع فایل power point قابل ویرایش 17 اسلاید قسمتی از اسلایدها يکسان سازي (Unification) Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند. خروجي اين تابع، يک ليست جايگزيني است. مثال: Unify(knows(maryam, x), knows(y, zahra)) خروجي: Θ = {y/maryam, x/zahra} يکسان سازي (Unification) Subst، تابع جايگزيني است که يک عبارت و يک ليست جايگزيني را به عنوان ورودي دريافت مي کند. اين تابع، متغيرهاي عبارت را با استفاده از ليست جايگريني مقداردهي مي کند. خروجي اين تابع، يک عبارت است که تغيير يافته عبارت ورودي است. مثال: فرض کنيم Θ = {y/maryam, x/zahra} است. Subst(knows(maryam, x), Θ) خروجي: knows(maryam, zahra) Subst(knows(y, zahra), Θ) خروجي: knows(maryam, zahra) فهرست مطالب و اسلایدها يکسان سازي قوانين استنتاج در منطق مرتبه اول بررسي يک مثال ...دریافت فایل
برای دانلود بر روی دکمه زیر کلیک فرمایید
دسته : فنی و مهندسی
تگ ها : پاورپوینت, استنتاج در منطق رتبه اول(هوش مصنوعی)