O’zbekiston respublikasi oliy va o’rta maxsus ta’lim vazirligi buxoro davlat universiteti qo’lyozma huquqida udk

MD mavzusining asoslanishi va dolzarbligi: Hozirgi kunda suniy intelekt tizimlari jumladan tabiiy tillar prossersorlari rivojlanish tezligi juda katta. Morfologik, semantic lug’at tizmlari regulyar ifodalarga asoslangan Web qidiruv tizimlari, annotatsiya tizimlari tobora rivojlanib barcha tipdagi tabiiy tillarni qamrab olmoqda. Bu tizimlarni qo’llab quvvatlovchi matematik apparat mantiqiy algebra va prolog dasturlash tili bu sohadagi o’rganish kerak bo’lgan asosiy vositalar hisoblanadi. Ushbu desertatsiya Prolog mantiqiy dasturlash tiliga bag’ishlangan.