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