Շեմային տրամաբանություն

Շեմային տրամաբանություն, տրամաբանության բաժին, որն ուսումնասիրում է շեմային տրամաբանական ֆունկցիաները։ $f(x_1,x_2,....,x_n)$ տրամաբանական ֆունկցիան կոչվում է շեմային, եթե գոյություն ունեն այնպիսի $a_1,a_2,....,a_n,c$ իրական թվեր (որտեղ $c$-ն կոչվում է «շեմ»), որ $f(x_1,x_2,....,x_n)=1$, եթե $(a_1{x}_1+a_2{x}_2+....+a_n{x}_n)⩾c$ և $f(x_1,x_2,....,x_n)=0$ հակառակ դեպքում, սովորաբար դիտարկվում են $0$ կամ $1$ արժեքներ ունեցող փոփոխականներից կախված շեմային ֆունկցիաները։ Շեմային տրամաբանությունը ուսումնասիրում է տարբեր տիպի տրամաբանական ֆունկցիաների ներկայացման հնարավորությունները շեմային ֆունկցիաների օգնությամբ։ Շեմային տրամաբանությունը առաջացել է որպես կենդանիների և մարդու նյարդային համակարգի աշխատանքի որոշ սկզբունքների ձևայնացում (օրինակ՝ նեյրոնների գրգռումը նրանց կողմից ընդունվող նյարդային ազդանշանների ազդեցությամբ նկարագրվում է շեմային ֆունկցիաների միջոցով)։ Շեմային տրամաբանության նշանավոր ներկայացուցիչներն են ամերիկացի գիտնականներ Ուորեն ՄաքՔալոկը, Ու․ Փիտսը, Ս․ Մուռոգան և խորհրդային գիտնական Վ․ Ի․ Վարշավսկին։

Գրականություն

• Дертоузос М․, Пороговая логика, пер․ с англ․, М․, 1967