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