Оқулық Қазақстан Республикасы Білім және ғылым министрлігі бекіткен Алматы, 2011
жүктеу/скачать 2,02 Mb. Pdf көрінісі
|
| Қысқа сипаттамасы
QUOTE A Функция ӛзінің аргументін бағаламайды және оны нәтиже ретінде шығарып береді +, - , *, / Арифметикалық функциялар (тек сандар үшін) SETQ және SET Меншіктену функциялар CAR A Тізім болатын ӛзінің аргументін (А) бағалайды және мән ретінде осы тізімнің бірінші элементін шығарып береді CDR A Тізім болатын ӛзінің аргументін (А) бағалайды және мән ретінде осы тізімді шығарып береді, бірақ бірінші элементсіз CONS A B Аргументтерді бағалайды, бірінші аргументтің мәні түрлі s–айтылуы болу мүмкін, ал екіншінің мәні тізім болу керек. Функцияның нәтижесі басы А және құйрығы В тізім болып табылады APPEND A B А мен В мәндері тізімдер болсын: (А...А) және (В...В), онда APPEND функцияның мәні тізім болады: (А...А В...В) NULL X Аргументті бағалайды және Т-ны шығарады, егер оның мәні NIL болса, ал керісінше, NIL шығарады. Функция NOT аналогы болып табылады. ATOM X Аргументті бағалайды және Т-ны шығарады, егер оның мәні атом болса, ал керісінше NIL шығарады. NUMBERP X Ӛзінің аргументін бағалайды және Т-ны шығарады, егер аргументтің мәні сан болса, ал керісінше, NIL шығарады. LISTP X Ӛзінің аргументін бағалайды және Т-ны шығарады, егер аргументтің мәні тізім болса, ал керісінше, NIL шығарады. ATOM функциясына қарама-қарсы болып табылады. EQ A B Екі атомды салыстыру функция EQUAL A B Түрлі s–айтыларды салыстыру COND A A Шарттарды тексеретін функциялар DEFUN Жаңа функцияны анықтайтын функция 116 ГЛОССАРИЙ Абсурд – мағынасыздық Актуальность - ӛзектік База знаний – білімдер қоры Визуализация – кӛзбен шолу Воображение – қиял Восприятия – түйсік Выборка - іріктеу Высказывания – айтып салулар, айтылулар Высказывание категорическое – үзілді-кесілді айтылу Отделение - бӛліп алу Группировка – топтасу Детализация – нақтылау Доказательство – дәлелдеу Запрос – сұраныс, сұрау салу Извлечение – үзінді алу Интерпретируемость - ішкі түсіндірушілік Исключения – шығарып тастау Исчисление высказываний – айтып салуларды есептеу Модель представления знаний - білімдер ұсыну моделі Модель прецедентов - ӛнеге моделі Мышление – ойлау Наследование – мұралану Обоснованный – дәйекті Объединения - бірлестіктер Опровержение – мәлімдеу Отношения - қатынастар Отрицание – мойындамау Пересечения - қиылысулар Поверхностный – шалағай, сыртқы Повествовательный – хабарлай айтылған, хабарлы Подкласс - класс тармағы Подсеть – бағыныңқы желі Подсистема объяснений - түсініктеме бағыныңқы жүйесі Подсознание - соқыр сезім, түйсік Поиск – іздестіру, іздеу Положение - қағида Постусловие – кейінгі шарт Посылка - бастама Правила продукций - ӛнімдер ережелері Предметная область - заттық сала Предок – ата-тек Представление знаний - білімдерді ұсыну 117 Принадлежность - тиістілік Продукционная модель - ӛнімдік моделі Прототип – түп тұлға Ранжирование – дәрежелеу Распознование образов - бейнені айырып тану Рассуждение – пікірлесу Резолюция- қарар Решатель - есептегіш Сознание – сана Структурированность - құрылымдылық Суждение - пікір Сущности - ішкі мазмұндар Точка зрения – кӛзқарас, тұрғы Узкоспециализированный - тар кӛлемді Умственный - ақыл-ой Экспертная система - сараптамалық жүйе Язык представления знаний (ЯПЗ) - білімдерді ұсыну тілі (БҰТ) |