Бағдарламалық қамсыздандыруды орнықтыру


ҚАЗАҚСТАН РЕСПУБЛИКАСЫНЫҢ БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІ

СЕМЕЙ ҚАЛАСЫНЫҢ ШӘКӘРІМ АТЫНДАҒЫ МЕМЛЕКЕТТІК УНИВЕРСИТЕТІ

СӨЖ

Тақырыбы: Бағдарламалық қамсыздандыруды орнықтыру

Орындаған: Толеуханова Б. Т.

Тексерген: Курушбаева Д. Т.

Семей 2015

Мазмұны

1. LISP - жасанды интелект тілі

2. LISP тілінің "диалектілері"

3. Тілдің негізгі және синтаксис элементтері

4. Символдар, операторлар мен функциялар

5. Пайдаланылған әдебиеттер тізімі

Декларативті деп аталатын «Бесінші буын» негізгі программалау тілдері - LISP /ЛИСП/ тізімдерді өңдеу тілі және PROLOG /ПРОЛОГ/ - логика терминдеріндегі программалау тілі.

ЛИСП 1961 жылы пайда болған. Бұл тілдерде есептер шығару кезінде программистен ҚАЛАЙ емес, НЕ істеу керек екені талап етіледі. Есептің шешілу жолын жүйенің өзі табады (ЛИСП немесе ПРОЛОГ) .

LISP жасанды интеллект проблемаларының есептерін шешуге арналған. LISP тілін 50-інші жылы Д. Макартни символдық информацияларды өңдеуге арнап құрды. LISP тілінің мәліменттерінің негізгі құрылымы тізімдер, тізімнің элементтері атомдар. Lisp тілінің бір ерекшелігі динамикалық жаңа объектілерді құру мүмкіндігі, объект есебінде программаның өзі де қатыса алады.

LISP тілі және оның модификациялары символды өңдеуге арналған бағытталған программалық бөлімді құруға кең қолданады және қазіргі кезде көптеген тиімді компиляторлары бар.

Бұл жасанды интеллект тілінің дәстүрлі интеллект тілдерінен қарағанда универсалдығы әлде қайда төмен, бірақ ол символдық және логикалық мәліметтермен жұмыс жасау мүмкіндіктерімен ерекшеленеді. Жасанды интеллект тілі негізінде жасанды интеллект есептерін шығаруға арналған арнайы компьютерлер жасалады (мысалы, Лисп-машиналар) . Бұл тілдің тағы бір кемшілігі - гибридті экспертті жүйелер құруда қолданылмайды.

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

Жасанды интеллекттің Лисп тілінің библиотекасы мен құрлылғылары: КRL(Knowledge Represantation Language), FRL (Frame Represantation Language), KEE(Knowledge Engineering Environment), ARTS және т. б.

Бағдарламаның негізгі элементі атом болып табылады және жеке объектілер арасындағы қарапайым қатынастарды көрсетеді, басқа программалау тілдеріне қарағанда атом түсінігінің мағыналық мәні басқа. Тілдің базасында эксперттік жүйелер, білімді көрсететін жүйелер, білім базасы және жаратылыс тілдерін өңдейтін жүйелер құрылады. Lisp тілінің негізіне математикалық логика элементтері қолданылады. Программа объектілер арасындағы қатынас терминдері арқылы сипатталады. Логикалық программалау тілдерінің жетістігі параллель программалау принципі қолданылады.

Функционалдық бағдарламалау қарапайым идеяға негізделген, бүкіл информацияны өңдеу және соңында алынған нәтиже кейбір қызметтерді орындайтын салымды немесе рекурсивті функцияларды шақыру түрінде көрсетілуі мүмкін, сондықтан бір функцияның мәні екіншісінің аргументі ретінде қолданылады. Функционалдық бағдарламалау тілінің өкіліне Лисп (Lisp proces - sing - тізімдерді өңдеу) тілі жатады.

Лисп және Пролог тілдері өнер интеллектісіне қатысты міндеттерді шешу үшін жасалған. Бұл тілдер мәтіндік (символдық) информацияны өңдеуге, логикалық және математикалық міндеттерді шешуге мүмкіндік береді. Мәселен, Лисп тілінің негізінде белгілі Derive математикалық жүйесі әзірленді.

Лисп пайда болғаннан кейін авторлар түрлі жасанды интелект алгоритмдік тілдерін ұсынған болатын, алайда бұл Лисп тілінің атақты болуына еш кедергі жасамады. Тілдің қырық жылдық тарихында оның диалектілер қатарын байқауға болады, мысалы, Common LISP, Mac LISP, Inter LISP, Standard LISP және т. б. Бұлардың арасында қатты айырмашылық жоқ десе де болады. Тек орнатылған функциялары мен бағдарлама жазу формаларында ерекшеліктері бар. Сондықтан аталған тілдердің біреуін меңгерген программист қалғандарын оңай игереді.

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

- бағдарлама анықтылығы;

- бағдарлама функцияларының нақты айырмасы;

- жанама әсерлердің болмауы.

Бағдарлама құруда бір адам емес бір топ программист қатысса, дисциплина қатая түседі.

Лисп(Lisp) бағдарламалау тілі ең алдымен символды ақпаратты өңдеуге арналған. Лисп тіліндегі негізгі МБ "атом" және "нүктелік жұп".

Тілдің негізгі элементтері:

Лисп тілінің базалық элементтері: символдар, атомдар және солардан құралған динамикалық структуралар.

Символ - машина жадысындағы объект.

Атомдар - символдар мен сандар. Сандар да символдар секілді тізімге кіре алады.

Синтаксис элементтері:

Жол соңына комментарий

;

Жол соңына комментарий:

Бағдарламаға қыстырылатын комментарий

;:

# . . . #

Жол соңына комментарий:

Сезімталдығы

;:

жоқ

Жол соңына комментарий:

Өрнекті бейнелеу тұрақты айнымалылар

;:

құрамында бос орындар және сандар жоқ таңбалардың кез келген комбинациясы

Жол соңына комментарий:

Тұрақты өрнек функциясы

;:

set, setf, setq

Жол соңына комментарий:

Айнымалыны жариялау

;:

let

Жол соңына комментарий:

Теңдік белгісі

;:

eq, eql

Жол соңына комментарий:

Дәстүрлі теңдік белгісі

;:

equal, equalp

Жол соңына комментарий:

Салыстыру

;:

< > <= >=

Жол соңына комментарий:

Функция анықтау

;:

(defun f (para1 para2) . . . )

Жол соңына комментарий:

Функция шақыру

;:

(f a b . . . )

Жол соңына комментарий:

Параметрсіз функция шақыру

;:

(f)

Жол соңына комментарий:

Егер

;:

(if condition . . . )

Жол соңына комментарий:

Егер, айтпесе

;:

(if condition trueBlock falseBlock)

Жол соңына комментарий:

Шексіз цикл

;:

(loop do . . . )

Жол соңына комментарий:

Шарты бар цикл

;:

(loop while condition do . . . )

Жол соңына комментарий:

Шартымен цикл

;:

(loop do . . . until condition)

Жол соңына комментарий:

Цикл for - next инкремент 1-ге тең бүтін сандар диапазонына

;:

(loop for i from 1 to 10 do . . . )

Жол соңына комментарий:

Цикл for - next декремент 1-ге тең бүтін сандар диапазонына

;:

(loop for i from 1 to 10 by -1 do . . . )

Символдар, операторлар мен функциялар:

T и NIL - логикалық операторлар мен салыстыру функцияларын қайтарады. Сонымен қатар NIL символы бос тізім дегенді білдіреді.

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.
Ұқсас жұмыстар
Әлеуметтік мемлекет түсінігі
Мемлекеттің әлеуметтік қызметтері
Үстеменің жылдам зерттемесін жобалау моделі
Салық комитетiнiң жеке тұлғалардан түсетiн кiрiсi жөнiнде ақпарат жинауға арналған автоматтандырылған жұмыс орнын жасау
Республикасы - әлеуметтік мемлекет
Мәліметтер қорына қосылуды құру терезесі
Мұнай құбырларын өлшеу жүйелерін блоктау
Нақты жұмыс кезеңдер немесе осы кезеңдердің есептерін шешуде қолданылатын технологиялар
Кәсіпорынды басқаруда алдағы уақытта қолдану үшін ақпаратты қалыптастыру
Ақпараттық жүйе архитекурасы
Пәндер



Реферат Курстық жұмыс Диплом Материал Диссертация Практика Презентация Сабақ жоспары Мақал-мәтелдер 1‑10 бет 11‑20 бет 21‑30 бет 31‑60 бет 61+ бет Негізгі Бет саны Қосымша Іздеу Ештеңе табылмады :( Соңғы қаралған жұмыстар Қаралған жұмыстар табылмады Тапсырыс Антиплагиат Қаралған жұмыстар kz