Алгоритм резолюция принипіне негізделген. PR пайдаланған кезде проблемаларды шешу үшін біреуден артық стратегиясын қолданылады.? Мақсаты жиынтығы сөз тіркестерін S сөз тіркесі T (теория) тек салдарынан ма табу үшін онда регрессивті стратегиясын мысалын қарастырайықБіз T даулы сөз тіркестерінің жиынтығы болып табылады делік. Тіркестерінің жиынтығы бар алгоритм басында T, терістеу қосылған тіркесін S, яғни қосылған S емес, T жаңа жиынтығын «алу тіркестерінің T түрлі.? Алгоритм Т бос сөз тіркесін әкеледі Егер, онда Т «қайшы, сондықтан сөйлем S жиынтығы тіркестерінің Т. салдары болып табылады.
№ 25 Емтихан билеті
1. Резолюция дегеніміз не? Резолюция - бұл нәрсе негізінде қорытынды фразалар теориялар осы жасасу негізі болып табылады.Төмендегідей қаулы принципі болып табылады. Олардың біреуі оң мағынадағы және басқа да теріс болса, екі сөз тіркестерін ruzolvirovany бір-біріне болуы мүмкін.
2. Формализм білімді ұсыну құралы ретінде Формализм – бұл білімдерді ұсыну құралы ретінде пайдаланылатын формальды жүйе. Формализмге келесілер кіреді:
тілдік (көрнекі) компонент
алфавит және синтаксис
процедурлық (алгоритмдік, есептеуіш) компонент
аксиоматика және өнімділік ережелері
3. Нақты емес жиынның формальді анықтамасы Нақты емес жиынтығы кейбір негізгі B арқылы анықталады және НМ — (x), xB қатысты функциясы, [0..1] интервалында анықталады. Осылайша B нақты емес жиыны — бұл (x, (x)) жұп түріндегі жиынтық, мұндағы xB. Қатыстық функциясы сенім субъективті дәрежесін анықтайды сараптамалық ауқымдағы базасын нақты құнын анықтау HM сәйкес келетінін болып табылады. Бұл функция объективті сипатта болады және басқа да математикалық қарым-қатынасты бағынуға ықтималдықпен шатастыруға болмайды.
