لطفا کمک کنید!!!!!"چند سوال منطق"
 

لطفا اگر با منطق آشنایی دارید برای جواب دادن به این سوا ها کمک کنید !!!:105:
خیلی ممنون میشم از کمکتون:105::105::2::2:


8 .قطعه کد زیر را به منطقه مرتبه اول تبدیل کنید. نکته: برگرداندن false به معنای Not )¬( و برگرداندن true به معنای صحیح
بودن در منطق مرتبه اول )FOL )است )01 نمره(
foreach (Object x in Objects)
{
if (isMushroom(x) && isPoisonous(x) && isPurple(x))
return true;
}
return false;



4 .جمالت زیر را به منطقه مرتبه اول تبدیل کنید )4 نمره(
a .رابطه خاله بودن x را برای بچهای به نام y برحسب روابط خواهر بودن و مادر بودن تعریف کنید.
b .تنها و تنها یک شاگرد اول )Elit )در کالس وجود دارد )از عملگر ¬ نمیتوانید در این سؤال استفاده نمایید(.
c .هر دانشجویی که درس هوش مصنوعی را گرفته است، با موفقیت این درس را میگذراند )پاس میکند(






.آیا جمالت زیر در منطق مرتبه اول درست نوشته شدهاند )6 نمره(
a .Peter حداقل دو فرزند دارد.
∃x,y ParentOf(Peter, x) ∧ ParentOf(Peter, y)
b .هر کس در دانشگاه Berkely درس میخواند باهوش است.
∀x At(x, Berkeley) ∧ isSmart(x)






00 .جمالت زیر را در نظر بگیرید و آنها را به پایگاه دانش )KB )ای در منطق مرتبه اول )FOL )تبدیل کنید )21 نمره(
dean :رئیس دانشکده – criticize :انتقاد کردن
 Lucy is a professor
 All professors are people.
 John is the dean.
 Deans are professors.
 All professors consider the dean a friend or don’t know him.
 Everyone is a friend of someone.
 People only criticize people that are not their friends.
 Lucy criticized John.
آیا از پایگاه دانش زیر میتوان نتیجه گرفت که Lucy و John دوست یکدیگر نیستند؟ با استفاده از Chaining Backward بررسی را انجام
دهید.