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