Тарақ әдісі - Combs method

The Тарақ әдісі жазудың ереже негізін азайту әдісі болып табылады түсініксіз логика сипатталған ережелер Уильям Э. Комбс 1997 ж. Ол алдын-алуға арналған комбинаторлық жарылыс түсініксіз логикалық ережелерде.^[1]

Тарақ әдісі артықшылықты пайдаланады логикалық теңдік ${ displaystyle ((p land q) Rightarrow r) iff ((p Rightarrow r) lor (q Rightarrow r))}$.

Теңдік дәлелі

Берілген теңдіктің қарапайым дәлелі шындық кестесін пайдалануды қамтиды:

${ displaystyle p}$	${ displaystyle q}$	${ displaystyle r}$	${ displaystyle p land q Rightarrow r}$	${ displaystyle p Rightarrow r}$	${ displaystyle q Rightarrow r}$	${ displaystyle (p Rightarrow r) lor (q Rightarrow r)}$
Т	Т	Т	Т	Т	Т	Т
Т	Т	F	F	F	F	F
Т	F	Т	Т	Т	Т	Т
Т	F	F	Т	F	Т	Т
F	Т	Т	Т	Т	Т	Т
F	Т	F	Т	Т	F	Т
F	F	Т	Т	Т	Т	Т
F	F	F	Т	Т	Т	Т

Комбинаторлық жарылыс

Бізде бір уақытта N айнымалыларды қарастыратын, олардың әрқайсысы, кем дегенде, S жиынтықтың біреуіне сыятын, анықталмаған жүйесі бар делік. Дәстүрлі түсініксіз жүйеде барлық жағдайларды қамту үшін қажетті ережелер саны ${ displaystyle S ^ {N}}$, ал Тарақ әдісі тек қажет болады ${ displaystyle S times N}$ ережелер. Мысалы, егер бізде бір нәтиже шығаруды қарастыратын бес жиынтық пен бес айнымалылар болса, барлық жағдайларды қамтитын дәстүрлі жүйеде 3125 ережелер қажет болса, ал Комбалар әдісі тек 25 ережелерді қажет етеді. комбинаторлық жарылыс бұл жүйеге көбірек кіріс немесе одан да көп жиын қосқанда пайда болады.

Бұл мақалада Combs әдісінің өзіне назар аударылады. Дәстүрлі түрде қалыптасатын ережелер туралы көбірек білу үшін қараңыз түсініксіз логика және анық емес ассоциативті матрица.

Мысал

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

Кесте:

[ЕГЕР қорқыныш қорықпаса, содан кейін достық жауларға немесе егер қорқыныш орташа болса, онда достық бейтарап немесе қорқыныштан қорқу керек болса, достық жақсы достар] НЕМЕСЕ [егер сенім сенімсіздік танытса, содан кейін достыққа деген жау болып табылады ма, егер сенім орташа болса, сол кездегі достық бейтарап па, әлде сенім ме? ОНДАН ДОСТЫҚ - Жақсы ДОСТАРҒА СЕНІМ БЕРЕДІ] Немесе [ЕГЕР СҮЙІССІЗДІК ЖАҚСЫ БОЛСА, ДОСТЫҚ - ДҰШЫМДАР МА, СҮЙІС МӘЛІМДІЛІКТІ СҮЙСЕ, ДОСТЫҚ НАТАРИАЛДЫ НЕМЕСЕ СҮЙІСШІЛІК СҮЙСЕ ДОСТЫҚ ЖАҚСЫ ДОСТАР]

Бұл жағдайда кесте шығыстағы түзу сызбаны ұстанатындықтан, оны келесідей етіп жазуға болады:

Кестенің әр бағанында соңғы жолда берілген нәтиже бейнеленеді. Жүйенің нәтижесін алу үшін біз тек сол ереже үшін әр ереженің нәтижелерін орташа есептейміз. Мысалы, компьютердің ойыншыға қаншалықты жаулары бар екенін есептеу үшін, компьютердің ойыншының қорықпайтындығы, сенбейтіндігі және сүймейтіндігі туралы орташа мәнін аламыз. Барлық үш орташа алынған кезде нәтиже болуы мүмкін анықталмаған дәстүрлі құралдардың кез-келгенімен.

Әдебиеттер тізімі

• Жылдам қорытынды жасауға арналған тарақ әдісі (Уильям Э. Комбстың түпнұсқасы)