Пролог тілінде білім базасын бағдарламалау

  • Білім базасы туралы түсінік. Білім беру тілдері. Білім базасының модельдері. Семантикалық желілер. Фреймдер. Пролог тілінде семантикалық желілер негізінде білім базасын бағдарламалау. Логикалық модельдер. Пікір логикасы. Предикаттар логикасы. Предикаттарды есептеу. Қарар принципі. Пролог тілінің элементтері. Шығару ағашының мысалында шешім әдісін көрсету. Логикалық бағдарламалар процедураларын біріздендіру ағаштарын құру.
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 1
Top