دینا فایل / استنتاج در منطق رتبه اول هوش مصنوعي
استنتاج در منطق رتبه اول هوش مصنوعي
استنتاج در منطق رتبه اول هوش مصنوعي
حجم فایل : 587.3 KB نوع فایل : پاور پوینت تعداد اسلاید ها : 19 بنام خدا 2 استنتاج در منطق رتبه اول(هوش مصنوعي) 3 هوش مصنوعي Artificial Intelligence فهرست يکسان سازي قوانين استنتاج در منطق مرتبه اولبررسي يک مثال 4 يکسان سازي (Unification) Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند.خروجي اين تابع، يک ليست جايگزيني است.مثال: Unify(knows(maryam, x), knows(y, zahra))خروجي: Θ...
جزئیات بیشتر / دانلود
فایل های جدید
یکی از تب ها رو انتخاب بکنید