سوال 129

حل تشریحی سوال شماره 129 هوش مصنوعی

کنکور ارشد مهندسی کامپیوتر 1398

129.

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

1)

نتیجه ترکیب یک کلاز معین با یک کلاز هورن، حتما یک کلاز معین است

2)

نتیجه ترکیب یک کلاز هورن با یک کلاز معین، حتما یک کلاز هورن است

3)

نتیجه ترکیب دو کلاز هورن ، حتما یک کلاز هورن است

4)

نتیجه ترکیب دو کلاز معین، حتما یک کلاز معین است

پاسخ ها

0 پاسخ
تا کنون پاسخی برای این سوال وارد نشده است،

ارسال پاسخ