Mantıqiy yanaşma. Mantıqiy yanaşmanı ögrenmek içün esas, mantıq cebridir. Er bir programmacı İF operatorını ögrengen zamanından berli tanıy. Mantıq cebri daa da inkilafını predikat esaplamaxa0 şeklinde aldı. İçinde o, madde işaretleri kirsetilüvi ve aralarındaki munasebetlerniñ sayesinde kenişletilgen. Bundan ğayrı, er bir böyle maşna aht yaratma blokuna saiptir ve kirsetme sisteması, bu ahtnı teorema olaraq isbat etmege çalışır. Ahtqa irişilse, qullanılğan qaideler silsilesi, ahtqa irişmek içün kerekli areketler sırasını elde etmege imkân berecek (böyle bir sistemağa ekspet sisteması da aytılır). Böyle bir sistemanıñ küçü, maqsat generatorınıñ imkânları ve teoremalarnıñ maşna isbat etmesinen belgilenir. İfadelikni arttırmaq içün mantıqiy yanaşma yañı bir yönelişni qullana. Onıñ adı, açıq olmağan mantıqtır. Bu yönelişniñ esas farqı, ifade aqiqiyligi ‚ebet‘/‚yoq‘ (1/0) cevaptan ğayrı, ‚bilmeyim‘ (0,5)‚hasta ölüden daa canlı‘ (0,75)‚hasta canlı olmaqtan daa ölü‘ (0,25)‚‘ ‚‘ kibi ara manalarnı ala bilir. Böyle bir yanaşma insan fikir etüvine beñzey, çünki o ‚ebet‘ ya da ‚yoq‘ kibi cevabını siyrek berir.