Құрылым тілдері

Жұмыс түрі: Реферат
Тегін: Антиплагиат
Көлемі: 8 бет
Таңдаулыға:

Баяндама

Тақырыбы: Логикалық программалау. Логикалық программалардың түрлері. Олардың тарихы .

Орындаған: Рамазанова Аяна ҚТӘ 101

Тексерген: Капарова Л. Е

Жоспар:

Логикалық программалау дегеніміз не?3

Логикалық программалаудың түрлері. Олардың тарихы. ] 4

Пролог тілінің негізгі ерекшелігі. 5

Пролог тіліндегі негізгі ұғымдар. . 6

Пролог тіліндегі негізгі операциылар. . 7

Логикалық программалау дегеніміз не?

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

Логикалық программалардың түрлері. Олардың тарихы.

XX ғасырдың 90 жылдарынан бастап дүние жүзінде жасанды интеллекті игерген компьютерлердің жобалары құрылған және де олар кейінгі жылдары көп ілгері дамыған. Бұл - компьютерлердің 5 - ұрпағы, олардың аппараттық негізіне өте жоғары деңгейдегі программалау тілдері алынған, бұл тұрғыда дәстүрлі Бейсик тілінің ролін бүгінгі Пролог тілі орындайтын болады, себебі оның мәні мен мүмкіндіктері логикалық программалауды таратуда және де танытуда тым үлкен болып тұр.

ЖИ идеялары адамның жұмысын жеңілдетуге арналған электр-механикалық құрылғылар - зерделі роботтар жұмысы негізіне салынған. ЖИ программалары көбінесе ПРОЛОГ, ЛИСП.

Лисп тілі 1965 жылы американдық профессор Джон Маккарти «жасанды интеллект» пролемалары бойынша зерттеу үшін ойлап тапты. Бұл тілдің ерекшілігі оның негізі болып алгоритмдердің математикалық теориясы және рекурсивті функциялар болуында. Лисп тілінде рекурсивті анықтайтын функциялар ұғымдары негізгі болып табылады. Осы себептен Лисп тілі әмбебап тіл болып есептеледі, себебі кез-келген алгоритм бірнеше рекурсивті функциялардың жинағы ретінде сипатталуы мүмкін. Бұл жағдай ЭЕМ күрделі алгоритмдерді, мәліметтерді өңдеуге, сонымен қатар адамдардың интеллектуальдық қызметерін модельдеуге модельдеуге мүмкіндік береді

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

1. Құрылым және бағдарламалық тілдер бойынша:

• Машиндік тілдер: Java, C++, Python, C#, JavaScript, PHP, Ruby, Swift, Kotlin, Objective-C, Go, Perl, и т. д.

• Құрылым тілдері: Verilog, VHDL, SystemVerilog, MATLAB, LabVIEW, и т. д.

2. Іс-шаралардың түрлері бойынша:

• Информациялық тарату (Data Processing)

• Таңдалған шарттарға қарай жүзеге асырылған іс-шаралар (Rule-based Systems)

• Машиндік оңтайлылық (Machine Learning)

• Келесі нәтижелерге бағытталған ақпараттық іс-шаралар (Decision Support Systems)

• Бағыттармен және барлықсыз іске қол жеткізу (Programming without and with Constraints), ішінде констрақтылар жүзеге асырылмаған.

3. Программалаудың көздеріне байланысты:

• Қолданым менислігі: Десктоптарға (Desktop), Веб-сервистерге (Web), Мобильді құрылғыларға (Mobile), Компьютерлік жүйелерге (Embedded Systems), Математикалық модельдерге (Mathematical Models) .

• Өнімділігі: Білдірме, Менеу, Саздапалатын, Орталық көмекші, Орталық белсендірілген, Объект-ориентирленген, Құпиялықтық, Функционалдық, Жиынтық, Машиналық тілдер, Әрекеттілік, Жұмыс тарату.

Пролог тілінің ерекшелігі.

Пролог тілі, алгоритмдік тілдердің бірі болып, тарихында қуылымсыз таңдау мен логикалық түрлендіру технологияларының дамуында алғаш рет пайда болды. Ерекшелігінің негізі - машиналық тарау және оның мақсатты қолдануымен жұмыс істеу. Осы тілді пайдалану арқылы, адамдар бірнеше қадамда таңдау және айырмашылықтардың ерекшеліктерін анықтау, келесі нәтижеге бағытталған мәселелерді шешу мүмкіндігі бар. Пролог тілінің ерекшеліктерінің көбі, оның логикалық түрлендіру механизмінде ақпараттардың айырмашылығын бағалауға және тілдер арасындағы байланысты белгілеу мүмкіндігін жариялауға арналған. Прологда оқушылар үшін, түрлендірудің жаңа құралдарын, айырмашылықтарды анықтау, ақпараттық шараларды құру және қауіпсіздік негізін сақтау және басқару арқылы алдын ала алу, жаңа бағыттарды дамыту үшін келесі мәтіндердің ерекшеліктерінің ерекшелігі жаңадан жаңа үлгілерін оқырмайды.

Проглог тіліндегі негізгі ұғымдар

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

Пролог тіліндегі негізгі ұғымдар:

Есімдер - әріптен басталатын әріптер және де цифрлар тізбегі

Айнымалылар - бас әріптен басталатын әріптер және де цифрлар тізбегі

Айнымалылар түрлері : атомдар, бүтін сандар, жолдар.

Құрылым - құрылым есімінен және де жақшаға алынған аргументтер тізімінен тұратын жүйе, мысалы, киеді (айгүл, көйлек), str (А, В, С) . Құрылым элементтері сандар, атомдар, айнымалылар басқа құрылымдар болуы мүмкін.

Тізім - квадрат жақшаға алынып үтірмен бөлінген кез - келген түрдегі элементтер жиынтығы, мысалы, [1, 3, 5, 7], [қызыл, жасыл, көк] . Тізімдердің құрылымдардан айырмашылығы - олардағы элементтер санының программаны орындау барысында ауысу мүмкіндігінде.

Дәйек - объектілер арасындағы қатынастарды немесе объектілердің қасиеттерін белгілейтін тұрақты аргументі бар предикат. Мысалы, телефон (мадина, т 451198), бұл Мадинаның телефон номері 451198 екенін анықтайды және де мұндағы«Т» әрпі телефон номерін литерлі (сөзді) тұрақты ретінде көрсетеді, себебі 451198 саны өте үлкен болып табылады.

Тағы бір мысал, ұнайды (назия, рэп), яғни бұл дәйектен ұғатынымыз: « Назияға рэп ұнайды».

Дәйектер әрқашанда ақиқат болып саналады сондықтан программаны орындау жағдайында дәлелдеудің негізі болып табылады.

Ереже - тақырыбы және де бір - екі предикаты бар сөйлем. Ереженің жазылу түрі төмендегідей:

< ереже тақырыбы >: - < предикаттар тізімі>, мұндағы: - белгісі «егер» деп оқылады, ал предикаттар тізімі - үтірмен жеке - жеке предикаттар жиынтығы, мұндағы үтірлер «және» деп оқылады.

Ережелер дәйектер арқылы объектілердің арасындағы белгілі қатынастар негізінде жаңа қатынастар анықтауға мүмкіндік береді. Мысалы, әдемі қыз (Х) : - ұнайды (Х, рэп), киеді (Х, көйлек), бұл ережені оқығанда « кез - келген Х - әдемі қыз, егер Х рэп ұнаса және де Х көйлек кисе» сөйлемі шығады.

Сұрақ - программа орындауда шығатын логикалық қорытындының негізі. Кез - келген сұраққа компьютер «иә» немесе «жоқ» деп, білімдер қорындағы дәйектер мен ережелерге сай жауап береді.

Пролог тіліндегі негізгі операциялар

Пролог тіліндегі негізгі операциялар бірнеше қатарда тақырыпталады:

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.