1.Интеллектуалды ақпараттық жүйе анықтамасы және белгілері Интеллектуалды ақпараттық жүйе (ИАЖ) пайдаланушылардың нақты ақпарат қажеттіліктеріне байланысты, түрлі мәселелердің қолданбалы тапсырмаларын шешу алгоритмдерінің білім базасын тұжырымдауға негізделеді.
ИАЖ келесідей белгілермен сипатталады:
қиындаттырылған нашар рәсімделген міндеттемелерді шеше білу;
өзін-өзі оқыту мүмкіндігі;
бейімделу.
Әрбір аталған ерекшеліктеріне шартты түрде сәйкес келетін өз ИАЖ класы бар. Әртүрлі жүйелердің бір немесе бірнеше ителлектуалды белгілері болуы мүмкін. Сонымен қатар ол бұл интеллектуалды машиналар мен жүйелерді дамытуға, адам ақылын түсінуге болатын, әсіресе интеллектуалдық компьютерлік бағдарламалар жиынтығының ғылымы.
2.Сементикалық желі дегеніміз не? Семантикалық желі – болмыс түсініктері бейнесіне негізделген білімді ұсынудың басқа әдісі. Семантикалық желі білімдер құрылымын көрсетіп, олардың қасиеттері мен объектілерін біріктіре алады. Семантикалық желі (семантическая сеть; semantic network) — білімнің белгіленіп бағдарланған граф түріндегі ұсынылу тәсілі; оның төбелері ұғымға, объектіге, әрекетке, жағдайға немесе күрделі қатынастарға сәйкес келсе, доғалары қасиеттеріне немесе қарапайым қатынастарға сәйкес келеді.
3.Предикаттар логикасы Объективті функцияларын бұл жағдайда сандар бойынша операциялар, аргумент ретінде жеке қамтиды.Пәндік функциялар орынға байланысты бөлінеді: бірорынды, екіорынды, үшорынды. Аргументтердің санына байланысты негізгі функцияларын арасында сандар бойынша операцияларды ғана емес қамтиды.
Предикаттар – қасиет белгілері мен қатынастар логикалық емес терминдерге жататындар. Қарапайым сөйлемдер құрылымы деп аталатын, логикалық шарттарды қамтуы мүмкін кванторы: Квантора (ол «кез келген», «барлық», «әрбір» тиісті термин болып) және экзистенциалдық кванторы (ол «кейбір», «ағымдағы» байланысты). Предикаттық логикасы, қазіргі символикалық логиканың тарауы, пайымдау және т.б. тілдік контексттер, олардың ішіндегі қарапайым мәлімдемелердің ішкі құрылымын ескере отырып; сонымен бірге тілдің өрнектері функционалды түрде түсіндіріледі, яғни. кейбір функциялардың немесе осы функциялардың дәлелдерінің белгілері ретінде.
