Кіріспе

шешім қабылдаудың формалды үлгілері

Шешім теориясындағы шешім үлгісі – формалды (аксиомалық) жүйедегі шешім қабылдау әдісінің бастапқы нүктесі болып табылады. Шешім үлгілерінде кем дегенде бір іс-қимыл аксиомасы болады. Іс-қимыл мынадай формада келеді: "ЕГЕР <осы> дұрыс болса, ДЕГЕНДЕ <соны> жасаңыз". Іс-қимыл аксиомасы бір жағдайды (алдынан келетін шартты) тексереді және егер шарт орындалса, онда (соңынан келетін) ол бір іс-қимыл ұсынады (міндеттейді): білімнен іс-қимылға дейін. Шешім үлгісі сондай-ақ өзара байланысты шешімдер, ақпарат және білім желісі болуы мүмкін, бұл қайта-қайта қолданылатын шешім қабылдау тәсілін көрсетеді (мысалы, Шешім үлгісі және белгілеу стандарты қолданылып жасалған). Өте қарапайым жағдайларды есепке алмағанда, сәтті іс-қимыл аксиомалары итеративті түрде қолданылады. Мысалы, шешімді талдау үшін жалғыз іс-қимыл аксиомасы төрт қадамдық циклдың бағалау кезеңінде кездеседі: Құрастыру, Бағалау, Түсіндіру/Бағалау, Жақсарту. Шешім үлгілері бір рет қабылданатын шешімді модельдеу үшін де, сондай-ақ қайталанатын шешім қабылдау тәсілін модельдеу үшін де қолданылады.

Формуляциясы

Формуляция – формалды шешім қабылдау әдістерін қолданудың (әсіресе шешімді талдаудың) бірінші және көбінесе ең қиын кезеңі. Формуляциялау кезеңінің мақсаты – берілген шешімнің формалды моделін жасау. Бұл нақты жағдайға байланысты шешім қабылдау элементтерінің желісі, шешім ағашы немесе басқа да тәсілдермен бейнеленуі мүмкін. Формуляция түсінік ретінде ғана берілуі немесе шешім қабылдауды анықтауға қажетті барлық шешім логикасын (бизнес ережелерін) қамтуы мүмкін.

Бағалау

Бағалау – формалды шешім қабылдау әдістерін қолданудың екінші және ең алгоритмдік кезеңі. Бір рет қабылданатын шешім үшін бағалау кезеңінің мақсаты – шешім жағдайының формалды үлгісінен ресми ұсынымды (және оған байланысты сезімталдықтарды) жасау болып табылады. Қайталап қабылданатын шешімдер үшін бағалау әр жолы, жасалған шешім үлгісін қолдану арқылы жүзеге асырылады.

Бағалау

Бағалау – формалды шешім қабылдау әдістерін қолданудың үшінші және ең көрінеу сатысы. Бағалау кезеңінің мақсаты – шешім қабылдаушыға шешімді терең түсінуге көмектесу және нақты әрекет жолын анықтау. Бұл кезеңде дамытылған түсініктің көп бөлігі, шешімді тұжырымдау кезеңінде жасалған формалды шешім моделінің салдарына үңілуден (яғни, модельден мәлімет алудан) туындайды. Осы салдарлардың орталық бөлігі – бағалау кезеңінде есептелген әрекет бойынша ресми ұсыным. Басқа салдарларға шешім моделінің әртүрлі компоненттеріне ұсынымның сезімталдығының түрлі формалары жатады. Түсінік, формалды шешім моделін құруға әкелген ойлаудың негізгі аспектілерін талқылау арқылы (яғни, модельді негіздеу арқылы) да пайда болуы мүмкін. Бағалау кезеңінен кейін ұсынылған әрекеттерді іске асыру, формалды модельді қайта қарастырып, қайта бағалау, немесе талдаудан бас тартып, басқаша әрекет ету мүмкіндіктері қарастырылады. Шешім моделін негіздеу – шешім моделінің нақты аспектілерін тұжырымдауға себеп болған негіздемелерді зерттеу және түсіндіруді қамтиды. Шешім моделінен мәлімет алу – берілген шешім моделінен ақпаратты (мысалы, сезімталдық, болжамның құндылығы және ашылудың құндылығы) шығаруды білдіреді.

Тазарту

Нақтылау – формалды шешімдерді қабылдау әдістерін қолданудың төртінші және ең маңызды кезеңі. Нақтылау кезеңі бағалау кезеңінде алынған түйсіктерге жауап береді. Тиімді нақтылау шараларына шешім моделіне енгізілетін мүмкін өзгерістерді сынап, олардың салдарына баға беру және шешім моделін жақсартудың жақсы жолдарын ұсыну кіреді.