Agar manba va maqsad to'liq ma'lum bo'lsa:
Foydalanish Kolmogorovning murakkabligi K(x) ning eng kichik tavsifining kattaligi sifatida aniqlanadi x va Solomonoffga yaqinlashish induksiya, Rissanen (89),[20] Uolles & Boulton (68)[21] printsipini taklif qildi tavsifning minimal uzunligi. Ushbu printsip murakkablikni minimallashtirishga olib keladi K(nishon | Manba) manbani hisobga olgan holda maqsadni ishlab chiqarish.
Bu sun'iy intellektda yoqimsiz, chunki u abstrakt Turing mashinalari bo'yicha hisoblashni talab qiladi. Aytaylik Ms va Mt kuzatuvchi uchun mavjud bo'lgan manba va maqsadning mahalliy nazariyalari. Manba holati va maqsadli holat o'rtasidagi eng yaxshi o'xshashlik, minimallashtiradigan o'xshashlikdir:
K(Ms) + K(Ss|Ms) + K(Bs|Ms) + K(Mt|Ms) + K(St|Mt) + K(Bt|Mt) (1).
Do'stlaringiz bilan baham: |