Taroq usuli - Combs method

The Taroq usuli yozishning qoida bazasini qisqartirish usuli loyqa mantiq tomonidan tavsiflangan qoidalar Uilyam E. Kombs 1997 yilda u oldini olish uchun mo'ljallangan kombinatorial portlash loyqa mantiqiy qoidalarda.^[1]

Taroqlar usuli afzalliklaridan foydalanadi mantiqiy tenglik ${ displaystyle ((p land q) Rightarrow r) iff ((p Rightarrow r) lor (q Rightarrow r))}$.

Tenglikni isbotlash

Berilgan tenglikning eng oddiy isboti haqiqat jadvallaridan foydalanishni o'z ichiga oladi:

${ 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)}$
T	T	T	T	T	T	T
T	T	F	F	F	F	F
T	F	T	T	T	T	T
T	F	F	T	F	T	T
F	T	T	T	T	T	T
F	T	F	T	T	F	T
F	F	T	T	T	T	T
F	F	F	T	T	T	T

Kombinatorial portlash

Aytaylik, bizda bir vaqtning o'zida N o'zgaruvchini ko'rib chiqadigan loyqa tizim mavjud bo'lib, ularning har biri kamida S to'plamdan biriga to'g'ri kelishi mumkin. An'anaviy loyqa tizimdagi barcha holatlarni qamrab olish uchun zarur bo'lgan qoidalar soni ${ displaystyle S ^ {N}}$, ammo Combs usuli faqat kerak bo'ladi ${ displaystyle S times N}$ qoidalar. Masalan, bitta mahsulotni ishlab chiqarishni hisobga olish uchun bizda beshta to'plam va beshta o'zgaruvchiga ega bo'lsak, barcha holatlarni qamrab olish uchun an'anaviy tizimda 3125 qoidalar talab qilinadi, Combs usuli esa faqat 25 qoidalarni talab qiladi kombinatorial portlash tizimga ko'proq kirish yoki undan ko'p to'plam qo'shilganda paydo bo'ladi.

Ushbu maqola Combs uslubining o'ziga qaratiladi. Qoidalarning an'anaviy ravishda shakllanishi haqida ko'proq bilish uchun qarang loyqa mantiq va loyqa assotsiativ matritsa.

Misol

Tasavvur qilaylik, biz an sun'iy shaxs strategik video o'yinda shaxsning insonga qanchalik do'stona munosabatda bo'lishini aniqlaydigan tizim. Shaxsiyat boshqa odamga nisbatan o'z qo'rquvi, ishonchi va sevgisini ko'rib chiqadi. Taroq tizimidagi bir qator qoidalar quyidagicha ko'rinishi mumkin:

Qo'rquv	Qo'rqmasdan QANCHA Dushmanlar	O'rtacha qo'rquv, keyin neytral	Qo'rqing, shundan Yaxshi do'stlar
Ishonch	O'shanda DUSHMANLARGA ishonmaslik	O'rtacha ishonch, keyin neytral	O'shanda yaxshi do'stlarga ishonish
Sevgi	MUHAMMADDAN UCHUN DUSHMANLAR	O'rtacha sevgidan keyin neytral	UNDA yaxshi do'stlarni sevish

Jadval quyidagicha tarjima qilinadi:

[IF Qo'rqma qo'rqmasa U holda Do'stlik DUSHMANLAR YOKI Qo'rquv O'rtachaQo'rqish DUG'ALIK neytral YOKI Qo'rqish qo'rqsa DO'SHAQ do'stlik Yaxshi Do'stlar] YOKI [Agar ishonch Ishonmas bo'lsa Do'stlik Dushmanlar YOKI Ishonch O'rtachaTanlik Do'stlik neytral YOKI Ishonch UNDAN Do'stlikka Ishonasizmi Yaxshi Do'stlar] YOKI [Agar muhabbat mehrsiz bo'lsa, Do'stlik bu DUSHMANLAR YOKI Sevgi O'rtachaMuhabbat bo'lsa, U holda Do'stlik neytral YOKI Do'stlik Do'st Yaxshi Do'stlar bo'lsa

Bunday holda, jadval chiqishda to'g'ridan-to'g'ri naqshga amal qilganligi sababli, uni quyidagicha yozish mumkin:

Qo'rquv	Qo'rqmasdan	O'rtacha qo'rquv	Qo'rqaman
Ishonch	Ishonmaslik	O'rtacha ishonch	Ishonish
Sevgi	Sevimsiz	O'rtacha sevgi	Sevuvchi
Do'stlik	Dushmanlar	Neytral	Yaxshi do'stlar

Jadvalning har bir ustuni oxirgi qatorda berilgan natijaga mos keladi. Tizimning natijasini olish uchun biz faqat ushbu chiqim uchun har bir qoidaning natijalarini o'rtacha hisoblaymiz. Masalan, o'yinchi bilan kompyuterning dushmanlari qancha ekanligini hisoblash uchun biz kompyuterning o'yinchining qo'rquvi, ishonmasligi va sevgisi yo'qligi o'rtacha qiymatini olamiz. Uchta o'rtacha ko'rsatkichni qo'lga kiritganda, natija bo'lishi mumkin aniqlanmagan har qanday an'anaviy vositalar yordamida.

Adabiyotlar

• Tez xulosalar uchun taroqlar usuli (asl nusxa Uilyam E. Kombs tomonidan)