Reprodukcia

pre spravne nasledovanie pravidiel je potrebne spravne nasledovat prvidla ich nasledovania

to vedie k nekonecnemu regresu preto je nakoniec nevyhnutne pravidla nasledovat slepo

apriori tak nie je mozne vysvetlit ako spravne nasledovat pravidla

kedze kazde vysvetlenie stoji na nasledovani nejakych pravidiel

napriek tomu je mozne vysvetlit pravidla aposteriori

pretoze ich uz slepo nasledujeme

hypoteza: algoritmus interpretujuci pravidla najmensim obvodom konzistentnym s predoslymi skusenostami

bude pouzivat prirodzeny jazyk spravne

nech M je (efektivny) proces rozhodujuci ci text x splna kriteria y

a nech S je (efektivny) sposob ako pre dane y produkovat text Sy

ak pre kazde S existuje x a y tz M akceptuje x y no odmietne Sy y

a navyse mozme toto zlyhanie S efektivne dosvedcit

tj najst x a y pre dane S efektivne

proces dosvedcujuci x sa lysi od S-znamych sposobov produkovania textu pre kriteria y

hypoteza: efektivny algoritmus dosvedcujuci chyby znamych sposobov produkovania textu

produkuje zaujimave texty