149
Ùîá ñèñòåìà áóëà çäàòíîþ ðîçâ'ÿçóâàòè ïðîáëåìè, ïîòð³áíî, ùîá
ó í³é áóâ ðåàë³çîâàíèé õî÷à á îäèí ñïîñ³á âèâåäåííÿ ³ õî÷à á îäèí
ìåòîä óïðàâë³ííÿ âèâîäîì. Óïðàâë³ííÿ âèâîäîì ïåðåäáà÷àº, ùî ó
ïðîöåñ³ ðîáîòè äàþòüñÿ â³äïîâ³ä³ ùîíàéìåíøå íà äâà ïèòàííÿ:
· çâ³äêè ñë³ä ïî÷èíàòè ïðîöåñ ì³ðêóâàíü;
· ùî ðîáèòè, êîëè íà ïåâíîìó êðîö³ ðîçâ'ÿçàííÿ ìîæëèâ³ äåê³-
ëüêà ð³çíèõ ë³í³é ì³ðêóâàíü.
Äëÿ åêñïåðòíèõ ñèñòåì ³ñíóº ùîíàéìåíøå äâà âèäè ìåõàí³çì³â
âèâåäåííÿ: îäèí ´ðóíòóºòüñÿ íà ìîäåë³ ëîã³÷íîãî ïðîãðàìóâàííÿ, ³í-
øèé - íà ìîäåë³ ñèñòåìè ïðîäóêö³é.
Ìåõàí³çì âèâåäåííÿ, ïîáóäîâàíèé íà ìîäåë³ ëîã³÷íîãî ïðîãðàìóâàííÿ,
ìîæíà óÿâèòè ÿê çâè÷àéíèé ìåõàí³çì äëÿ âèêîíàííÿ ïðîãðàìè íà
Ïðîëîç³. Ðîáîòà ïî÷èíàºòüñÿ ñïðîáîþ âèêîíàòè ïðàâèëî âèñîêîãî ð³â-
íÿ øëÿõîì ïåðåâ³ðêè, ÷è ³ñòèííà éîãî ïåðåäóìîâà. Ñèñòåìà ïåðåâ³ðÿº
³ñòèíí³ñòü òàêèõ ïåðåäóìîâ, äîñë³äæóþ÷è, ÷è ³ñòèíí³ ïåðåäóìîâè öèõ
ïåðåäóìîâ ³ ò. ä. ²íøèìè ñëîâàìè, ïðîöåñ âèâîäó íà Ïðîëîç³ º ïðîöå-
ñîì ïîøóêó â ãëèáèíó ³ ïåðåãëÿäó çë³âà íàïðàâî âñåðåäèí³ êîæíîãî
ëîã³÷íîãî òâåðäæåííÿ. Ïðîöåñ ïîâåðòàºòüñÿ íàçàä, ÿêùî â³í çàõîäèòü ó
òóïèê. Öåé ïðîöåñ íàçèâàþòü ùå ÿê òàêèé, ùî ïðàöþº íà îñíîâ³ "îáåð-
íåíîãî ëàíöþæêà ì³ðêóâàíü", çà ÿêèì äëÿ äîâåäåííÿ ã³ïîòåçè íàìàãà-
þòüñÿ â³äøóêàòè âèõ³äí³ äàí³. Ìåõàí³çì ëîã³÷íîãî âèâåäåííÿ ìîæå
ïðàöþâàòè òàêîæ íà îñíîâ³ "ïðÿìîãî ëàíöþæêà ì³ðêóâàíü", çà ÿêèì
ì³ðêóâàííÿ âåäóòüñÿ â³ä âèõ³äíèõ äàíèõ äî ã³ïîòåçè.
Äëÿ ³íøîãî âèäó ìåõàí³çìó âèâåäåííÿ, ùî ïîáóäîâàíèé íà ìîäåë³ ñèñ-
òåìè ïðîäóêö³é, ïðàâèëà ñêîìïîíîâàí³ ó ñïèñîê. Öåé ìåõàí³çì 䳺 ó
äâà ñïîñîáè:
1) Óïðàâë³ííÿ ïî÷èíàºòüñÿ ç ïî÷àòêó ñïèñêó. Ïðàâèëà ïåðåâ³ðÿ-
þòüñÿ ïîñë³äîâíî äîòè, äîêè íå çíàéäåòüñÿ òå, äëÿ ÿêîãî ñïðàâäæó-
ºòüñÿ óìîâà. Òîä³ ñèñòåìà âèêîíóº ä³þ, ÿêà á âîíà íå áóëà. Äàë³ âîíà
íàìàãàºòüñÿ â³äøóêàòè íàñòóïíå ïðàâèëî äëÿ âèêîíàííÿ àáî ç ïî÷àò-
êó ñïèñêó, àáî ïðîäîâæóþ÷è ïîøóê ç òîãî ì³ñöÿ, äå â³í ïåðåðâàâñÿ.
2) Ïåðåãëÿäàºòüñÿ âåñü ñïèñîê ïåðåä òèì, ÿê ñèñòåìà ïî÷íå âè-
êîíóâàòè ÿêå-íåáóäü ïðàâèëî, ³ ó êîíôë³êòíèé íàá³ð çáèðàþòüñÿ âñ³ ò³
ïðàâèëà, óìîâè ÿêèõ ³ñòèíí³. Äàë³, ó â³äïîâ³äíîñò³ äî çàäàíèõ ïð³îðè-
òåò³â, ñèñòåìà âèáèðຠç íàáîðó îäíå ç ïðàâèë ³ âèêîíóº éîãî. Öå àíà-
ëîã³÷íî ïðîöåñó çáóäæåííÿ íåðâîâèõ êë³òèí. Äàë³ ä³¿ ñèñòåìè öèêë³÷-
íî ïîâòîðþþòüñÿ: çíàéòè çáóäæåíå ïðàâèëî, à ïîò³ì âèêîíàòè éîãî.
гçíèöÿ ì³æ ìîäåëëþ ñèñòåìè ïðîäóêö³é ³ ìîäåëëþ ëîã³÷íîãî
ïðîãðàìóâàííÿ ïîëÿãຠâ îñíîâíîìó â óïðàâë³íí³. Óïðàâë³ííÿ ó ñèñ-
òåì³ ïðîäóêö³é ìຠë³í³éíèõ õàðàêòåð. Ñèñòåìà ïðîäóêö³é 䳺 ïîä³áíî
äî îïåðàòîðà âèáîðó ó ïðîöåäóðí³é ìîâ³. Óïðàâë³ííÿ íà Ïðîëîç³ ìàº
ñòðóêòóðó äåðåâà. Çàâæäè ³ñíóº ³ºðàðõ³ÿ ä³é, ÿê³ íåîáõ³äíî âèêîíàòè,
ùî ðîçó쳺òüñÿ âæå ñàìèì ñïîñîáîì íàïèñàííÿ ïðàâèë. Ðóõ ïî äåðå-