لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (..pptx) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 19 صفحه
قسمتی از متن PowerPoint (..pptx) :
بنام خدا 2 هوش مصنوعی فصل دهم (ادامه) استنتاج در منطق رتبه اول 3 هوش مصنوعی Artificial Intelligence فهرست یکسان سازی قوانین استنتاج در منطق مرتبه اول بررسی یک مثال 4 یکسان سازی (Unification) Unify، تابع یکسان سازی است که دو عبارت را به عنوان ورودی دریافت می کند. این تابع، مقدار متغیرهای این دو عبارت را به گونه ای تغییر می دهد که دو عبارت یکسان شوند. خروجی این تابع، یک لیست جایگزینی است. مثال: Unify(knows(maryam, x), knows(y, zahra)) خروجی: Θ = {y/maryam, x/zahra} استنتاج در منطق رتبه اول 5 یکسان سازی (Unification) Subst، تابع جایگزینی است که یک عبارت و یک لیست جایگزینی را به عنوان ورودی دریافت می کند. این تابع، متغیرهای عبارت را با استفاده از لیست جایگرینی مقداردهی می کند. خروجی این تابع، یک عبارت است که تغییر یافته عبارت ورودی است. مثال: فرض کنیم Θ = {y/maryam, x/zahra} است. Subst(knows(maryam, x), Θ) خروجی: knows(maryam, zahra) Subst(knows(y, zahra), Θ) خروجی: knows(maryam, zahra) استنتاج در منطق رتبه اول
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (..pptx) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 19 صفحه
قسمتی از متن PowerPoint (..pptx) :
بنام خدا 2 هوش مصنوعی فصل دهم (ادامه) استنتاج در منطق رتبه اول 3 هوش مصنوعی Artificial Intelligence فهرست یکسان سازی قوانین استنتاج در منطق مرتبه اول بررسی یک مثال 4 یکسان سازی (Unification) Unify، تابع یکسان سازی است که دو عبارت را به عنوان ورودی دریافت می کند. این تابع، مقدار متغیرهای این دو عبارت را به گونه ای تغییر می دهد که دو عبارت یکسان شوند. خروجی این تابع، یک لیست جایگزینی است. مثال: Unify(knows(maryam, x), knows(y, zahra)) خروجی: Θ = {y/maryam, x/zahra} استنتاج در منطق رتبه اول 5 یکسان سازی (Unification) Subst، تابع جایگزینی است که یک عبارت و یک لیست جایگزینی را به عنوان ورودی دریافت می کند. این تابع، متغیرهای عبارت را با استفاده از لیست جایگرینی مقداردهی می کند. خروجی این تابع، یک عبارت است که تغییر یافته عبارت ورودی است. مثال: فرض کنیم Θ = {y/maryam, x/zahra} است. Subst(knows(maryam, x), Θ) خروجی: knows(maryam, zahra) Subst(knows(y, zahra), Θ) خروجی: knows(maryam, zahra) استنتاج در منطق رتبه اول
فرمت فایل پاورپوینت می باشد و برای اجرا نیاز به نصب آفیس دارد