Білімнің логикалық моделі

Логикалық модель өзімен кейбір логикалық есептеудің формальды жүйесін көрсетеді. Пәндік облыс жайлы білімдердің барлығы осы есептеудің формуласы түрінде немесе шығару ережесі ретінде сипатталады. Формула түрінде сипатталғандар ресми білімді, ал шығару ережелері – процедуралық білімдерді көрсетуге мүмкіндік береді. Мысал ретінде “пештегі температура 120 градусқа жетеді және және пеш қосылғаннан бері 30 минуттан аз уақыт болса, қысым қиын – қыстау режимнен аспайды. Егер пеш қосқаннан бері 30 минуттан асса, №2 вентилін ашу керек.” Осы білім жайлы түсініктің логикалық моделі мына түрде болады.

P(p=120) T (t<30)  (D

P(p=120) T(t>30)  F(№2);

Бұл жазуда келесі белгілер қолданылады:

P(p=120) – температура 120 градусқа жеткенде ақиқат болатын предикат.

T (t<30) – процесс басталғаннан бастап 30 минут ішінде ақиқат болатын предикат.

T(t>30) - процесс басталғаннан бастап 30 минут өткен соң ақиқат болатын предикат.

(D

F(№2) - №2 вентилін ашу командасы.

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

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