Witaj!
Slup napisał(a): We wszystkich (chyba) komputerach sterowanie urządzeniami peryferyjnymi (np. kartą sieciową) odbywa się poprzez dedykowane rejestry pamięci.Ale ja nie piszę o rzeczywistych komputerach, a o Maszynie Turinga. A Maszyna Turinga nie ma żadnych kart, ani urządzeń peryferyjnych. Ma taśmę i po tej taśmie sobie jeździ, czytając z niej i zapisując. W ten sposób wykonuje wsadowo dowolne obliczenia.
Cytat:One tylko oddalają Cię od zastosowania twr. Rice'a, bo ono nie mówi o maszynach działających w jakimś trybie sprzężenia zwrotnego z otoczeniem.No właśnie o tym piszę. Dlatego jeśli chcemy do naszego modelu dodać takie sprzężenie zwrotne, to musimy naszą maszynę uruchamiać na nowo po każdej operacji I/O. I wtedy nasz model ma sens.
Cytat:Podczas tej dyskusji Ayla sformułowała taki kontekst, w którym (chyba) można zastosować twr. Rice'a. Wymagało to potraktowania maszyny i środowiska jako obliczalnej całości.A to już w ogóle abstrakcja, bo owe środowisko zaczyna obejmować ludzi, pogodę i wiele innych niedecydowalnych elementów.
Cytat:Pakiety generowane przez maszynę nie mogą być nierozstrzygalne. Nierozstrzygalne mogą być problemy decyzyjne czyli podzbioryProblemem jest "jak wygląda zestaw pakietów internetowych, który wygeneruje maszyna w odpowiedzi na dzisiejsze wiadomości". To jest nierozstrzygalne, zarówno w teorii, jak i w praktyce.
Cytat:2. jeśli nie są to nadużycia, to wymagają dodatkowych założeń, co do kontekstu w jakim działa dana maszyna i tego jak jest połączona z fizycznym światemNo ale praktyczna AGI, a o takiej mówimy jest połączona z fizycznym światem. Więc to założenie jest oczywiste, jeśli kontekstem dyskusji jest bezpieczeństwo AI.
Cytat:I to są bardzo dobre argumenty za tym, że ASI jest zagrożeniem. Nie trzeba żadnego mędrkowania na temat abstrakcyjnych rezultatów z teorii obliczalności.Czyli w skrócie "zgadzam sie z Aylą co do istoty problemu, ale mam potrzebę jej dowalić".
Cytat:Zresztą cała ta dyskusja na temat Rice'a bierze się stąd, że Ayli się skojarzył językowo "problem stopu" i "problem zatrzymania ludzkości przez AI".Co jako osoba mieszkająca w głowie Ayli wiesz na pewno.