مقاله ی هوش مصنوعی
چهار سال پیش منتشر شده
تعداد بازدید: 249
کد پروژه: 251428
شرح پروژه
برای انجام این کار لازم هست که در مورد موضوع انتخابی تعدادی مقاله خونده بشه و طبق اونها مقاله ی نهایی نوشته بشه. مقاله ی نهایی بالای 20 صفحه باید باشه.
یکی از دو مورد زیر برای عنوان مقاله میتونه به دلخواه انتخاب شود و پس از تایید موضوع انتخابی توسط استاد درس، کار تحقیق و نوشتن مقاله در این زمینه شروع بشود.
- 1. history of first-order logic, enphasizing either the intended applications, or the methods for automated deduction, or paradoxes and incompleteness
- 2. history of modal logics: origins, motivations, alternatives to the Kripke semantics
راه دیگر انتخاب موضوع برای مقاله این هست که با توجه موارد زیر که سر فصل موضوعات تدریس شده هست، یک موضوع برای مقاله توسط شما طرح و پیشنهاد بشه و اگر استاد تایید کنه موضوع رو، کار در اون زمینه انجام بشه.
- incomplete methods: GSAT and unit propagation
- DPLL
- propositional tableau
- first-order logic tableaux: ground and with unification
- modal logics and tableau for modal logics
- LTL, model checking and symbolic model checking
- propositional natural deduction and first-order natural deduction
- Hilbert systems
مهارت ها و تخصص های مورد نیاز
مهلت برای انجام
15روز
وضعیت مناقصه
بسته
درباره کارفرما
عضویت شش سال پیش
