پری سپهری

با سلام خدمت بازدیدکنندگان.

از طرف دانشگاه تهران مسابقاتی برگزار میشود که هر دوره ، تعدادی سوال برای شما در این فروم گذاشته می شود .
و کسانی که مایلند در این مسابقه شرکت کنند ، کافیست جواب سوال رو به ایمیل مسابقات ارسال کنند :
ai.tehran.uni@yahoo.com
به کسانی که کامل ترین جواب را همراه با مثال ، به ایمیل بفرستند ، جوایزی اعطا میشود .
نکته مهم :
- جوابها فقط باید ایمیل شود و جوابهای نوشته شده در فروم (این صفحه)خوانده نمیشود
- درون ایمیل حتما خود سوال ذکر شود . و مشخصات خود را نیز بنویسید

مسابقه اول : (زمان ارسال : تا 24 آذر 93)
سوال 1- روش استنتاج Walksat را برای CNF از نوع منطق گزاره ای را اجرا کنید . ( همراه با توضیح کامل = مثال )

سوال 2- چند جمله انگلیسی ارائه کنید که بتوان آنرا با منطق مرتبه اول Fol نمایش داد .
و همچنین استنتاج Forward Chaining را بمنظور پاسخ دادن به یک پرسش ارائه شده بکار برید .