Жасанды интеллектінің негізгі ұғымдары мен даму тенденциялары

Логика  элементтерін информатика курсына  енгізу тиісті және маңызды іс болып  табылады және ол аталған оқу құралының  басты жетістігі болып есептеледі. Өйткені заманауи білім берудің  негізгі міндеттерінің бірі ретінде  мектеп оқушыларының логикалық дұрыс  ойлауын дамыту айтылады. Бүгінде  адам санасының мүмкіндіктерін кеңейтетін танымның көптеген әр түрлі әдістері бар: үлгілеу және математикалық  әдістер, соның ішінде мүмкін боларлық теориясының әдістері, физикалық  және биологиялық эксперименттер, ЭЕМ-да ақпарат өңдеу, т.б. Бірақ барлық осы әдістерді тиімді пайдалану  үшін адамның ойлауы логикалық дұрыс  болуы керек, сондықтан да ғылым  ғана логикаға дұрыс ойлау заңдарын тануға үйретеді. Әрине, адам логиканың  дәл ережелері мен заңдарын білмей-ақ, тек оларды түйсікті деңгейде қолдана  отырып та дұрыс ойлай алады. Алайда логикаға ие адам анағұрлым дәл ойлайды, оның аргументациясы сенімдірек екенін де ұмытпау керек.

Логикалық ойлау туа бітетін қасиет емес, сондықтан түрлі әдістермен дамытуға болады және тиіс. Логиканы жүйелі меңгеру  – осы бағыттың анағұрлым тиімді жолдарының бірі. Алайда, логика жалпы  білім беретін мектеп бағдарламасының  жеке оқу пәні ретінде қарастырылмайды. Осылайша логика элементтерін мектептің  информатика курсына енгізу негізді  болады.

 Логикалық  бағдарламаның идеялық тамыры  математикалық логикада, математиктердің  логикалық формуланы және формальді  анықтау әдісін қолдануы, сипаттау  бойынша автоматты түрде нәтиже  алуға және есепті формальді  сипаттау әдісін ашуға септігін  тигізеді.

Пролог  тілі бағдарламма құруға үйретуде кеңінен  қолданылып, ойлау қабілетін жетілдіреді  және құрылымдалмаған бағдарлама жазуға мүмкіндік береді.

Іздену жұмыстың нәтижесінде біз Visual Prolog логикалық программалау тілінің теориялық материалдарын және лабораториялық жұмыстарын дайындадық. Осы зерттеулермен ғана шектеліп қоймай тілдің жұмыс істеу принципімен, ерекшеліктерімен, декларативті тілдің мүмкіндіктерімен танысып, жұмыс істеп үйрендік.

ҚОЛДАНЫЛҒАН ӘДЕБИЕТТЕР

1. Братко И. Программирование на языке Пролог для искусственного интеллекта. М.: Мир, 1990.-210 с.,ил.
2. Ин Ц., Соломон Д. Использование Турбо-Пролога.  М.: Мир, 1993.-260 с.,ил.
3. Клоксин У., Меллиш К. Программирование на языке  Рrolog. М.: Мир, 1987.-300 с.,ил.
4. О. Камардинов Жасанды интеллект, сараптаушы жүйелер, Пролог. Оқу құралы. Шымкент 2003
5. Ковальски Р. Логика в решении проблем. М.: Наука, 1990.-182 с.,ил.
6. Логическое программирование /Под ред. В.Н. Агафонова М.: Мир, 1988.-210 с.,ил.
7. Лорьер Ж. Л. Системы искусственного интеллекта. М.: Мир, 1991.-160 с.,ил.
8. Марселлус Д. Программирование экспертных  систем на Турбо-Прологе. М.: Финансы и статистика, 1994.-240 с.,ил.
9. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог.М.: Мир, 1990.-201 с.,ил.
10. Тей А., Грибомон П., Луи Ж. и др.  Логический подход к искусственному интеллекту: от классической логики к логическому программированию. М.: Мир, 1990.-240 с.,ил.
11. Хоггер К. Введение в логическое программирование. М.: Мир 1988.-280 с.,ил.
12. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983
13. Чери С., Готлоб Г., Танка Л. Логическое программирование и базы данных. М.: Мир, 1992.
14. Каймин В.А. Информатика: Учебник. М.: ИНФРА-М, 2003 г.
15. Калягин В.О. Интеллектуальная собственность. – М.: НОРМА,2000 г.
16. Eduardo Costa «Visual Prolog 7.1 for Tyros» Перевод с английского. – Перевод: И. Алексеев, Е.А. Ефимова, 2008, М. Сафронов, 2007 Редактор перевода: Е.А. Ефимова, 2008 Оформление: М.Сафронов, И. Алексеев-2007г.174с.,