حل تشریحی سوال شماره 129 هوش مصنوعی
کنکور ارشد مهندسی کامپیوتر 1398
129.
در منطق گزارهای، کدام مورد در خصوص نتیجه انجام عمل ترکیب (Resolution) بر روی کلازهای معین (Definite Clauses) و کلازهای هورن (Horn clauses) درست نیست؟ فرض کنید که دو کلاز ترکیب شده دقیقا یک لفظ (Literal) متناقض دارند و حداکثر یکی از انها کلاز واحد (Unit clause) است.
1)
نتیجه ترکیب یک کلاز معین با یک کلاز هورن، حتما یک کلاز معین است
2)
نتیجه ترکیب یک کلاز هورن با یک کلاز معین، حتما یک کلاز هورن است
3)
نتیجه ترکیب دو کلاز هورن ، حتما یک کلاز هورن است
4)
نتیجه ترکیب دو کلاز معین، حتما یک کلاز معین است
پاسخ ها
0 پاسختا کنون پاسخی برای این سوال وارد نشده است،