Қысқа сипаттамасы
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
Принадлежность - тиістілік
Продукционная модель - ӛнімдік моделі
Прототип – түп тұлға
Ранжирование – дәрежелеу
Распознование образов - бейнені айырып тану
Рассуждение – пікірлесу
Резолюция- қарар
Решатель - есептегіш
Сознание – сана
Структурированность - құрылымдылық
Суждение - пікір
Сущности - ішкі мазмұндар
Точка зрения – кӛзқарас, тұрғы
Узкоспециализированный - тар кӛлемді
Умственный - ақыл-ой
Экспертная система - сараптамалық жүйе
Язык представления знаний (ЯПЗ) - білімдерді ұсыну тілі (БҰТ)
118
Достарыңызбен бөлісу: |