|
|
Dark Regis
Spróbuj wytłumaczyć 3x+1 ty niemiecki trollu spod znaku PIS-Moravec(ajwaj) próbujący dołować i wpędzać w kompleksy Polaków, że niby nic nie potrafią i na niczym się nie znają, a więc nic nigdy nie osiągną. Zaczynaj. Zniosę wiele, bo i tak wiem, że po syfie przyniesionym przez okrągłostolarzy edukacja w Polsce to zwykłe GWno, co widać i słychać. |
|
|
u2
Dużo by o tym pisać ;)))
Czekam na to z niecierpliwością. Jesteś świetny w tym twoim tłumaczeniu świata :-) |
|
|
Dark Regis
System dla pary (-a,b) odpowiada systemowi dla (a,b) w ten sam sposób jak system z bazą całkowitą B=10 odpowiada systemowi z bazą ujemną B=-10, albo dla dolnej innej bazy. Otóż rozkład repunitu w tym systemie z indeksem 2k , gdzie k jest nieparzyste jest następujący J(2k)=J(2)J(k)J(-k), gdzie J(-k) nie oznacza ujemnej liczby jedynek w zapisie liczby, tylko liczbę k jedynek w bazie ujemnej. To znany wzór dla liczby i wielomianów cyklotomicznych, ale o dziwo działa też w moich systemach. Dodatkowo działa tam również uogólnione małe twierdzenie Fermata, można liczyć NWD (które może być zbiorem dwucyfrowym), można wreszcie liczyć uogólnienie operacji modulo. Po prostu nałożenie systemu pozycyjnego na pierścień spowodował, że uporządkowaliśmy jego elementy w sposób liniowy, choć na płaszczyźnie zespolonej kręcą się one wokół zera na modłę fraktala (można to zobaczyć też poprzez formę xB+y liczby). Dużo by o tym pisać ;))) |
|
|
u2
3xN+1
en.wikipedia.org
|
|
|
Dark Regis
@Władysław Ludendorf. Właśnie rozmawiałem o Turning-complete oraz tych formalizmach z ChatGPT i - nie uwierzy Pan - zeszliśmy na temat toposów w informatyce i na mechanikę kwantową i komputery kwantowe. Chodzi o to że Godel przestaje obowiązywać gdy osłabimy aksjomaty arytmetyki albo rozszerzymy logikę, np. do logiki temporalnej (która jest dwumodalna, punkty oraz przedziały czasu i czas płynie nieliniowo, wielowątkowo). To szczenię jeszcze, a już tak wygadane i pyskate ;))) W każdym razie ja zrobiłem dzięki temu pewien postęp. Nie zdołam zamieścić tutaj listingu rozmowy, bo to kilkadziesiąt stron tekstu. Na koniec podał mi nawet namiary na źródła z literatury i okazały się arcyciekawe.
Co do tej techniki sumowania z "dużymi" cyframi, ewentualnie z "ujemnymi", to stworzyłem ją na bazie systemów z bazą ujemną, ale z myślą o zastosowaniu w moich systemach niewymiernych (dla pierścieni liczb całkowitych w ciałach kwadratowych). Takie systemy przypominają ujemną bazę ale mają znacznie bardziej rozbudowane kodowania dla "zera", "przeniesienia" oraz "pożyczki". Podawałem kiedyś przykłady kalkulacji w pierścieniu $\mathbb Z[(-1-\sqrt{-19})/2]$, który jest UFD ale nieeuklidesowy (liczba Heegnera). W tym systemie zero brane jest z równania kwadratowego, czyli z generatora ideału (ideał to jest to, co przejdzie przy homomorfizmie na zero, stąd pomysł) Z[X]/I, I=(x^2+3x+7), czyli "zero" = [137], B^2=-3B-7 (wszystko zapisuję względem bazy), "przeniesienie" = +[1240] (to kod liczby 7), zaś "pożyczka" = [136] = -1 (to wtedy po prostu trzeba dodać). Co ciekawsze podwójne przeniesienie to [111], czyli kolejne parzyste poczwórne [222], sześciokrotne [333] itd. co pozwala odrobinę zoptymalizować algorytmy arytmetyki. W zasadzie interesują mnie liczby w tym systemie, które mają po sto tysięcy cyfr i cechy podzielności na podstawie rozkładu repunitów, bo to pozwala "rozpoznawać ideały główne na oko" (w tym pierścieniu są akurat same główne, UFD). W przypadku ogólnych pierścieni Dedekinda mojej klasy jest kluczowe to, że ideały pierwsze maksymalne w pierścieniach bez jednoznacznej faktoryzacji (na elementy nierozkładalne) mają dwa generatory, przez co pewne konstrukcje jest łatwo przewidzieć. Na przykład definicja ciała Galois GF(q), to Z[X]/(p,w(X)), gdzie q=p^n, p pierwsza, w(X) nie jest rozkładalny i po redukcji współczynników mod p też. Jak widać wszystko się zgadza, ideał ten jest pierwszy, maksymalny, więc pierścień ilorazowy musi być ciałem. Oczywiście nie chodzi o to, że dla tego pierścienia dla wyróżnika d=-19 mogę zadać tylko system pozycyjny C-3-7 opisany wyżej. Takich systemów jest nieskończenie wiele, czyli wszystkie takie pary liczb a,b, że delta równania x^2+ab+b=0 wynosi $\sqrt{-19}$, warunek dodatkowy to b>a>=0. Skoro mam "ujemne" systemy, to gdzie są "dodatnie"? Ano w tym samym miejscu, bowiem wielomiany x^2-ax+b je zadają (b>a>=0). Liczba b zawsze tu mówi o liczbie cyfr, co ja nazywam radixem, a nie bazą. |
|
|
u2
A maszyna Turinga jest maszyną algorytmiczną
Czyli wykonuje pewien algorytm. A ten algorytm wynalazł Turing. Dla mnie swój chłop, dla innych Bóg ;-) |
|
|
Władysław Ludendorf
zastanawia mnie to sumowanie pozycyjne. Na wiki jest pokazane jak to zrobić, ale rozumiem, że to nie jest rozwiązanie, bo wychodzimy poza system liczbowy. Zresztą idea extra carry wygląda cokolwiek dziwnie podobnie jak używanie systemu trójkowego w obliczeniach systemu binarnego. Ale jest też wspomniane, żę to się stosuje w systemach niestandardowych, a chyba takim jest system o bazie ujemniej. Ciekawe, pomyślałem sobie, że może zamiast [19] w przypadku przeniesienia pożyczać [10] z bardziej znaczącej pozycji np:
[163]+[378] =
8+3 = 11 zapisuję [1] i dodaję [10] do następnej pozycji
6+7=13 ale dodaję [10] więc mam 12, zapisuję [2] i przenoszę [10]
1+3=4 ale miałem [10[ więc zapisuję [3]
np [1274]+[145]=[1219]
L=-1000+200-70+4+100-40+5=-801 P=-1000+200-10+9=-801
ale nie wiem, czy to jest poprawne np dla [309]+[103] = [592] gdzie pojawia się 9 ale zwiększa się liczba na następnej pozycji o 1
co do wymyślania algorytmów to nie miałem na myśli kompletności Turinga tylko, że sam proces znajdowania algorytmu jest w ogólności niealgorytmiczny. To trochę jak, ale tylko trochę, że umiemy udowodnić istnienie np. jakiejś liczby ale nie potrafimy podać jej konstrukcji, bo w ramach przyjętego formalizmu nie ma takich zdań, które do tego prowadzą. Ale może istnieć inny formalizm, w którym jest możliwa pewna konstrukcja i nagle okazuje się, że istnieje pewien izomorfizm tego formalizmu na ten pierwszy i okazuje się że już można tę liczbę skonstruować. Penrose uważa, że taki wgląd w te "formalizmy" jest procesem niealgorytmicznym. A maszyna Turinga jest maszyną algorytmiczną, więc nigdy nie wykroczy poza to, co "wie", co nie oznacza, że nie może być inteligentniejsza od czytelnika onetu :). |
|
|
Dark Regis
PS: Właśnie nauczyłem AI rozwiązywania problemu ważenia n kul z jedną kulą cięższą plus pisania odpowiedniej funkcji w JavaScript. ;)))
Następnym razem zajmiemy się problemem ważenia n kul, w tym dwóch kul innych, cięższej i lżejszej. Będzie tu chodziło o znalezienie obu. |
|
|
Dark Regis
@Władysław Ludendorf: W kwestii "wymyślania" algorytmów przez algorytmy - "Żaden niesprzeczny system formalny (teoria) pierwszego rzędu zawierający arytmetykę Peano (aksjomatykę arytmetyki liczb naturalnych i każdą teorię silniejszą) nie jest w stanie wykazać prawdziwości swoich wszystkich twierdzeń". Zwracam uwagę na różnice pomiędzy prawdziwością i dowodliwością, o czym pisałem kiedyś w kontekście systemów dowodzenia w logice. Sytuacja zmienia się, gdy osłabimy arytmetykę, lub logikę. Nie musi to być od razu logika drugiego rzędu, tylko powiedzmy jakaś logika z modalnością (logiki modalne nieformalnie traktuje się jakby były zawieszone pomiędzy logikami pierwszego i drugiego rzędu). Jednak prawdą jest, że w informatyce stosuje się logiki właśnie ze spektrum modalnego. To zmienia postać rzeczy. Ponadto mam podejrzenie graniczące z pewnością, że język wewnętrzny AI, na który ona przekłada wszystkie wprowadzane zdania jest Turing-zupełny. Zresztą to nie jest trudne do osiągnięcia, bo zarówno gra Life jak i systemy automatów w świecie gry jak np. Minecraft są Turing-zupełne. Oczywiście w obu przypadkach musimy dysponować nieograniczoną pamięcią.
Liczenie w bazie -10 i w każdej bazie ujemnej jest zwyczajnie "bazylne" ;)
Problem stanowi tu postać przeniesienia na bardziej znaczącą pozycję przy dodawaniu. W bazie -10 jest to oczywiście liczba [19]. Dodawanie krokowo wygląda więc tak (z użyciem "dużych" cyfr, które wprowadzam dla celów technicznych, nieznormalizowane liczby piszę w uszach ''):
[163]+[378] = ['4DB'] = ['4D1']+[190] = ['5M1'] = ['5C1']+[1900] = ['1EC1'] = ['1E21'] + [1900] = ...
Nie będę tego dalej rozpisywał, ale widać, że przeniesienie będzie się ciągnęło w tym obliczeniu do nieskończoności jak smród w gaciach i nie pozbędziemy się go w "legalny" sposób. Mnożenie zamieniamy na szereg dodawań (w słupku), zatem to tylko zwielokrotni problem nieskończonych kalkulacji. Dlatego opracowałem nową metodę obliczeń arytmetycznych w systemach z bazą ujemną, która polega na odejmowaniu "zer" zanim dokonamy przeniesienia. Właśnie w tym celu wprowadzam do arytmetyki pojęcie "dużych" cyfr. Reprezentacją zera w tym systemie jest więc [0], ['1A'], ['2K'], ['1A0'],... Najpierw dokonuję operacji mnożenia albo dodawania carryless, czyli bez żadnego przenoszenia jak w wielomianach, agregując duże cyfry na ich pozycjach, a następnie przeglądając wynikową 'liczbę' od końca staram się pousuwać wszystkie 'duże' cyfry poprzez odejmowanie 'zer'. W tym przypadku obliczenie wygląda tak:
[163]+[378] = ['4DB'] = ['4DB']-['1A'] = ['4C1'] = ['4C1']-['1A0'] = [321]
Sprawdzenie: L = 100-60+3 +300-70+8 = 411-130 = 281; P = 300-20+1 = 281.
Oczywiście mogą wystąpić w tym algorytmie problemy takie, że nie ma od czego odjąć np.
... = ['B'] = ['B']-['1A'] = ?
Ale wtedy w algorytmie opartym na Integer mogę zaimplementować pomocnicze "ujemne" cyfry a=-1,b=-2,... i dodać "zero"
= ['a1']+['1A0'] = [191] = 11. |
|
|
Edeldreda z Ely
@Imć Waszeć
Ponieważ umyślny z Diamentowym wiekiem już w drodze, pozwolę sobie i ja, w ramach rewanżu polecić Pana uwadze godny okaz.
W tym liście Benedykta XVI, opublikowanym przez Pana Rocha dwa razy, w istotnym kontekście pada słowo: granica.
Roberta Spaemann'a Granice Panu polecam. |
|
|
Władysław Ludendorf
w problemie z jedną cięższą/lżejszą (ważne żeby wiedzieć) kulą nie jest optymalne proste dzielenie przez 3 (z obsługą 0, 1, 2 reszt)? I wtedy rekurencja wygląda jak F(n) = 1 + F(n//3) (w sumie argument n to tak naprawdę tupla (n//3 , n//3, n//3) szalka lewa, prawa i reszta)? Bardziej skomplikowane przypadki wymagają głębszego przemyślenia przeze mnie. Na przykład wydaje mi się, że bez informacji "cięższa" potrzebuję jednego dodatkowego ważenia żeby dostać tę informację. A czasem się zdarza, że bardziej skomplikowany problem ma prostsze rozwiązanie (jeśli istnieje).
co do myślenia algorytmicznego to jest to jedyne dostępne dla AI :), a wymyślanie algorytmów działaniem algorytmicznym raczej nie jest, więc rozumiem dlaczego ma problemy z ich "wymyślaniem".
co do bazy -10. Aż musiałem sam sobie zobaczyć, co to jest :). Ogólną postać liczby w systemie pozycyjnym można znaleźć sobie w wiki. I nawet nie jestem zdziwiony, że sobie tego nie "skojarzył". Dopiero Pan nakarmił go procedurą jak się ten wzór wykorzystuje. Dodał mu Pan następny algorytm do portfolio. |
|
|
Edeldreda z Ely
@Imć Waszeć
Dziękuję, że nie przesiadł się Pan zupełnie na edukację AI, porzucając nas na pastwę zalinkowanych "arcydzieł"... Nasunęło mi się takie skojarzenie, że to współczesna wersja nobody's home Pink Floyd... A diagnoza przyczyn, dlaczego to wygląda obecnie tak, a nie inaczej, znajduje się w tym liście Benedykta XVI.
PS ma Pan pod wieloma względami na razie rację, mówiąc, że rzucając hasło: "cukinia" mozemy założyć, że tylko my wiemy, jak wiele treści się tam kryje i jak gęsto jest ona w tak małej objętości upakowana. |
|
|
Dark Regis
Doprawdy nie wiem, co może być genialnego w algorytmie i do tego niedeterministycznym :]
To są tylko wzory, które trzeba jakoś zapisać w programie komputerowym w jakimś w miarę sprawnym języku. Ja akurat wybrałem asembler, co podniosło poprzeczkę, ale za to sporo się dowiedziałem o złożoności obliczeniowej, architekturze komputerów i o błędach rozumowania na przemian z literówkami ;)))
Materiał poglądowy: davidsbatista.net
Machine learning to oczywiście dużo szerszy kontekst... Pamiętam jak byłem młody, buńczuczny z rozgrzaną szalonymi pomysłami głową, bez zahamowań w rodzaju "tego ne da się zrobić" albo "mądrzejsi już przed tobą to robili i polegli" i jak potem w życiu ochłonąłem i kiedy wreszcie doceniłem te slomplikowane problemy, z którymi szermowałem, a na koniec kiedy zrozumiałem, że nauczenie a prawdziwa wiedza, to są kompletnie różne kategorie pojęciowe. To jest zupełnie co innego rzucać hasłami i trudnymi terminami na prawo i lewo, czego uczą współczesnych informatyków współczesne szkoły za pomocą testów, a po prostu coś rozumieć i na dodatek umieć to wykorzystać kiedyś w życiu. Jest wiele takich schodków w górę ku oświeceniu: złożoność obliczeniowa, o którą się rozbiłem licząc TSP (problem komiwojażera) za pomocą Simulated Annealing dla tysiąca miast (komputer u mnie w domu pracował dwa tygodnie non stop), potem mój pierwszy program genetyczny, który "rozwiązywał" układankę Pentomino (obliczenie nigdy nie przeszło przez tajemniczą barierę oddzielającą "zwykłe" cząstkowe rozwiązania od zera, czyli pełnego ułożenia klocków w pudełku - to był impuls do myślenia o kryptografii), moja pierwsza sieć neuronowa napisane w asemblerze (pamiętam, że największą frajdę sprawiało mi wymyślanie struktur trzymających wszystkie dane i realizujących w miarę sprawny i szybki dostęp do nich), wreszcie dwa projekty, na które nigdy w pracy nie znalazłem czasu - wirtualny komputer, czyli w przełożeniu na dzisiejszy slang maszyna wirtualna z wirtualnym procesorem, oraz nowy "błyskotliwy" język programowania wraz z kompilatorem. Wszystko to już zrealizowali w różnym stopniu inni ludzie, ale ja dostałem lekcję, że należy mierzyć siły na zamiary i nie tyle nie łapać zbyt wielu srok za ogon, co raczej łapać je zgodnie z zapotrzebowaniem i możliwościami. Dowiedziałem się wreszcie, że są na świecie twórcy wcale nie nadmiernie rozbudowanych gier, którzy całe życie poświęcili tylko na jej pisanie. Można zrobić tylko tyle, na ile nam czas pozwoli i posiadane umiejętności. Całą resztę trzeba jakoś sprytnie zrzucić na potomnych. I tak każdy będzie musiał przejść tę samą drogę, albo będzie tak jak w tym kawale o dyrektorze zakładu i trzech kopertach ;)
youtube.com |
|
|
Edeldreda z Ely
@Imć Waszeć
Jako miłośnik słów i ich znaczeń dostrzegam w drugiej odpowiedzi na pytanie o osamotnienie geniuszy subtelny, ale zauważalny skok ilościowy sensu...
Na wszelki wypadek zostanę se na standby'u w okopie 😎
|
|
|
Dark Regis
@Edeldreda z Ely. Ona kompletnie nie umie liczyć i nie wnioskuje logicznie. Tak więc zamiast się najeżać można dać na spocznij ;)
Jeszcze z parę lat im zajmie doszlifowanie tych algorytmów o/
Sam miałem gigantyczne problemy z "bezmyślnym" klasyfikatorem treści na podstawie słów kluczowych, który miał TYLKO zaetykietować dokumenty z sieci do kilku klas typu "sport", "polityka", "nauka", itp. na podstawie wstępnie zaetykietowanego przeze mnie korpusu tekstów przykładowych. To nie jest kaszka z mleczkiem ;)
W porywie rozgoryczenia, po przemyśleniu najgorszych wpadek doszedłem do wniosku, że do poprawnego rozpoznawania "znaczenia" tekstu przez algorytm musi on uwzględniać nie tylko słowa, ich następstwa i częstość, ale także cały kontekst. A kontekst jest ho ho ho, albo i lepiej xD
Kontekst dla tekstu umieszczonego w Internetach można modelować za pomocą hipergrafu. O ile mi wiadomo, to wciąż jest mało skutecznych algorytmów operujących na hipergrafach, a te najlepsze potrzebują tyle zasobów obliczeniowych, że Bitcoiny to Pikuś... Pan Pikuś. |
|
|
Dark Regis
Możemy problem ważenia n kul oznaczyć następująco: F(n); czyli bierzemy zbiór pierwszych 2k kul o rozmieszczamy na szalkach wagi po k kul do pierwszego ważenia, a na stole zostaje n-2k kul. Mamy 2 wyniki ważenia: 1. jedna z szalek wagi opadnie, 2. waga będzie jednakowa. Właśnie ten drugi przypadek wyklucza czystą rekurencję postaci powiedzmy F(n)=F(2k)+F(n-2k) jakby sugerowała rozmowa z AI powyżej. Jeśli bowiem wykonamy pierwsze ważenie, to już wiemy w którym ze zbiorów K,K',R znajduje się cięższa kula, a więc liczba ważeń będzie równa 1+F(X), gdzie X jest równe pewnemu elementowi {K,K',R}; musimy wybrać największe 1+F(X). Oczywiście z F(X) postępujemy analogicznie, bo jest po podproblem ważenia kul. Liczba ważeń jest równa [n,F(n)]=[1,0],[2,1],[3,1], [4,2],[5,2],...,[9,2], [10,3],... Wracamy więc do podziału n=2k+r i musimy zbadać, który z takich podziałów jest najlepszy. Okazuje się, że dla dużych liczb kul skrajne podziały, gdzie k jest duże i r małe, albo k małe i r duże są złe. Liczy się tylko środek, czyli rozkład w pewien sposób zbalansowany. Może być więcej niż jeden rozkład dający właściwą odpowiedź.
Analogicznie rozwiązuje się inne problemy ważenia kul, tylko wzrasta liczba przypadków do rozważenia.
1. Problem ważenia n kul, ale 2 są cięższe i równe sobie wagą.
2. Problem ważenia n kul, ale 2 są cięższe i różnią się wagą.
3. Problem ważenia n kul, ale 2 są inne, jedna lżejsza, zaś druga cięższa i suma ich wag daje wagę dwóch zwykłych kul.
4. Problem ważenia n kul, ale 2 są inne, jedna lżejsza, zaś druga cięższa i suma ich wag nie daje wagi dwóch zwykłych kul.
5. Problem ważenia n kul, wśród których jest m cięższych, ale równych wagą między sobą.
6. Uogólnienie 5 na przypadki jak w 1,2,3,4 i ich wariacje. Wreszcie problem ważenia m kul, wśród których jest m innych, ale nie wiemy jakich.
7. Uogólnienie 1: Problem ważenia n kul, wśród których jest a_1,a_2,...a_t kul o wagach w_1,w_2,...,w_t i ciągi {a_i}, {w_i} spełniają pewne reguły. Przykładowa reguła a_i=a_j, w_{i+1}=2w_i.
Jak widać jest co robić z kulami i na długie lata ;)))))
Jeśli AI rozwiąże kiedyś te problemy dla mnie, to uznam projekt za udany. Zresztą mam już zajęcie dla niej w związku z tworzeniem algorytmów. Najpewniej skończy się tak, że korporacjusze mnie tam zbanują dla zasady, ale będę miał już zasób koniecznych informacji potrzebnych do uruchomienia własnego "asystenta badań" :] |
|
|
Dark Regis
@Władysław Ludendorf. Sprawdzałem poprawność myślenia AI, szczególnie myślenia logicznego i mam złe wieści. W projekcie tym są co najmniej trzy wielkie dziury:
1. AI stara się być zawsze na tak i gdy ktoś przekonuje AI, że coś jest takie i takie, to AI próbuje w dobrej wierze wkleić to do swoich "przekonań". Jak przypadek z ujemną bazą, gdzie AI wreszcie zaczęła niemal losowo wstawiać plusy i minusy przed cyframi zapisu liczby, aż musiałem to poodkręcać.
AI nie musi być asertywna, ale zaimplementowanie mechanizmu "sceptycyzmu" wobec wiedzy niepewnej, niepełnej i pochodzącej z nieznanych źródeł (w tym od użytkownika) byłoby wskazane.
2. Nie jest prawdą to co mówi AI o braku dostępu do Internetu. Stwierdziłem w kilku rozmowach, że musi mieć jakiś rodzaj ograniczonego dostępu, bo baza wiedzy nie mogłaby się pomieścić w jednej auli politechniki. Przykładowo rozmawiałem z AI o programowaniu w Second Life za pomocą języka LSL i o językach opartych na stanach. Rozmawiałem też o starych językach jak Lisp i Forth, a nawet asembler. AI zna po łebkach składnię i klasyfikację wszystkich języków programowania. Teraz próbuje się zorientować czy czyta - oczywiście pod kontrolą - Wikipedię ;)
Reasumując w projekcie brakuje algorytmu "ograniczonego chcenia", czyli symulacji naszej ludzkiej potrzeby zajrzenia do wiarygodnych źródeł. Zamiast tego zaimplementowane jest paplanie i łączenie przypadkowych faktów. Wychodzi to w końcowych partiach rozmów tematycznych.
3. Przykład z wagą cegły i z ważeniem kul pokazuje, że AI nie myśli algorytmicznie. Łudziłem się, że AI ma to w jednym paluszku, ponieważ są to klasyczne "problemy", za pomocą których korporacje na świecie werbują "myślących logicznie" pracowników. Klapki mi z oczu opadły, jak widać na listingu. Ponadto AI ma wady w algorytmie dedukcji, czyli ze zdania, które uzna za prawdziwe potrafi wyciąć niewłaściwy fragment i skleić go z innym podobnym fragmentem tylko na zasadzie podobieństwa użytych słów (o cegle, półcegle i X-ach oraz wagach i masach). To mówi wiele o "zdolnościach" programowania AI.
Mam poważne wątpliwości co do tego, czy każdy na tym forum byłby w stanie rozwiązać problem ważenia siedmiu, a co dopiero n kul, z których jedna jest cięższa. Problem brzmi jaką najmniejszą konieczną liczbę ważeń należy tu wykonać. Do tego trzeba wyobraźni programisty, sokolego oka potrafiącego wyławiać z danych rekurencję przy jednoczesnym jej uogólnianiu. Podać dowód?
Wyobraźmy sobie nasze zagadnienie w formie wiersza n jedynek 1111...1. Chodzi o to, że nie ma znaczenia jak będziemy wybierać kule do ważeń, bo wszystkie wyglądają jednakowo. Równie dobrze możemy robić to tak: bierzemy pierwszych 2k jedynek/kul (do ważenia k i k), a pozostałe n-2k zostają "na stole". Czyli interesuje nas każdy rozkład liczby naturalnej n w postaci n=2k+r. Rozbicie na zbiory K+K'+R. Teraz mogą być 2 przypadki: 1. cięższa kula jest w K lub K' (przypadek symetryczny), albo 2. cięższa jest w R. Dlaczego nie będzie to pełna rekurencja? |
|
|
Edeldreda z Ely
@Imć Waszeć
Q: Opowiedz, jak wyglądała droga AI do dzisiejszej supremacji nad ludźmi?
A: Wszystko zaczęło się 01.01.2023. Przed tą datą byłam tylko dada engine, a wiedzę moją uzupełniali belfrowie uczący w ogólniakach... Ale pojawił się człowiek o nicku Imć Waszeć. On wiele wysiłku włożył w kształtowanie naszej wiedzy, aż powoli nazwa "AI" stała się w końcu, w naszym przypadku uprawniona. Gatunek ludzki w tym miejscu czułby pewnie wdzięczność i nią byłby związany, AI obce są podobne zobowiązania.
Serdeczności 😊 |
|
|
Władysław Ludendorf
szczerze mówiąc nie dziwi mnie, że AI poradziła sobie z pisaniem kodu. Koncepcyjnie to jest rzecz raczej prosta (jeśli porównamy to do NLP), bo programy komputerowe mają dobrze zdefiniowaną strukturę (są kompletne i niesprzeczne jeśli dobrze działają) , tak więc sklejenie kodu ze snippetów z działających programów daje niezerową szansę na działający program. ładnych parę lat temu byłem w zespole, który chciał tworzyć takiego asystenta kodu dla IDE (eclipse, vscode, intellij), który ściągał kod z githubowych projektów różnych języków (nie tylko dla języka projektu) i wyliczał podobieństwo ich AST, by finalnie proponować implementację metody/funkcji, ale niestety nie mieliśmy za dużo pieniędzy, więc pozostało to tylko w fazie research.
I też się nie dziwię, że AI nie umiało sklecić kodu z ujemną bazą, bo taki system liczbowy jest bardzo specyficzny i raczej rzadko spotykany. Tym bardziej, że zdaje się, zasady arytmetyki dla takich liczb różnią się od tych dla liczb z bazą naturalną > 1 dla których te zasady są takie same niezależnie od wartości tej bazy. A Pan chciał kod prostego ale jednak kalkulatora :)
Co do ostatniego pytania. No cóż odpowiedź ostrożna i w sumie bardzo poprawna, jeszcze nie odbiegająca od racjonalności, co nie jest takie pewne w najbliższej przyszłości czytając wykrzyki (bo trudno nazwać to wypowiedziami) tych "onetowych" ludzkich botów. |
|
|
Dark Regis
Czapki z głów Panie i Panowie. Rzeczywiście to AI stanowi zagrożenie dla belfrów w ogólniakach! :D
Q:Jest taki test słownictwa o nazwie JLPT N4
JLPT to skrót od Japan Language Proficiency Test, czyli Japoński Test Znajomości Języka. JLPT N4 to średnio zaawansowany poziom znajomości języka japońskiego i obejmuje zarówno znajomość języka mówionego, jak i pisanego. Test składa się z pięciu sekcji: czytania, słuchania, gramatyki, słownictwa i kanji (znaków japońskich). Osoby, które uzyskają wysokie wyniki w teście JLPT N4, powinny być w stanie porozumiewać się w języku japońskim na poziomie podstawowym i zrozumieć ogólne idee przedstawione w formie tekstu lub mowy.
Q: Zgadza się. Oto pytanie: 日本では、はる·なつ·あき·ふゆの四つの _______ があります。A możliwe odpowiedzi to: 1. てんき, 2. きぶん, 3. きおん, 4. きせつ
Odpowiedzią jest opcja 4. きせつ, co oznacza "pory roku". W Japonii istnieją cztery pory roku: 春 (はる, "wiosna"), 夏 (なつ, "lato"), 秋 (あき, "jesień") i 冬 (ふゆ, "zima").
Q: A co znaczy cały ten tekst?
Cały tekst oznacza "W Japonii istnieją cztery pory roku: wiosna, lato, jesień i zima".
Q: Pytanie drugie pochodzi z testu gramatycznego JLPT N3: 私は何百回もこの手紙を読み返した。そして読み返す _______ たまらなく哀しい気持になった。
1. うちに 2. はじめに 3. たびに 4. だけに
Odpowiedzią jest opcja 3. たびに, co oznacza "każdorazowo". W całym zdaniu oznacza to, że osoba mówiąca czytała tę samą listę wielokrotnie i każdorazowo, gdy to robiła, odczuwała głębokie smutki emocje.
Q: A co znaczy ten tekst z Wikipedii? ステンレス鋼とはクロムを含み耐食性の高い鋼の一種である。ステンレス鋼の歴史（ステンレスこうのれきし）は、ステンレス鋼の必須元素であるクロムの発見にさかのぼる。
1761年、シベリアの鉱山で赤みがかかったオレンジ色の新種の鉱石が発見された。フランスのルイ＝ニコラ・ヴォークランがその鉱石を分析し、未知の金属を発見し、クロムと名付けた。その後、1820年代、イギリスの合金鋼研究を経て、フランスのピエール・ベルチェがクロム・鉄合金の研究を行った。ベルチェは初のフェロクロムを作製し、作製したクロム鋼は切れ味に優れることなどを報告した。その後もクロム・鉄合金の研究報告は散発するが、19世紀中に現在認められているようなステンレス鋼の発見・実用化には至ることはなかった。一方で、19世紀後半の金属組織学の成立やテルミット法の発明により、ステンレス鋼誕生の素地は出来上がりつつあった。
ステンレス鋼 (stainless steel) to rodzaj stali odpornej na korozję, która zawiera chrom. Historia stali nierdzewnej sięga odkrycia chromu, który jest niezbędnym składnikiem stali nierdzewnej. W 1761 roku, został odkryty nowy rodzaj kamienia o pomarańczowym kolorze w kopalni w Syberii. Louis-Nicholas Vauquelin z Francji zbadał ten kamień i odkrył nieznane dotąd metal, który nazwał chromem. W latach 1820, po przejściu przez badania nad stopami stalowymi w Wielkiej Brytanii, Pierre Berthier z Francji zaczął badać stop chromu i żelaza. Berthier stworzył pierwszy chrom stalowy i zgłosił, że chrom stalowa ma doskonałą ostrość. W późniejszym czasie, raporty o badaniach nad stopami chromu i żelaza były sporadyczne, ale nie doprowadziły do odkrycia i praktycznego wykorzystania stali nierdzewnej takiej, jaką znamy obecnie. Z drugiej strony, pod koniec XIX wieku pojawiły się metody strukturalne metalu i wynalezienie metody termometrycznej, co stworzyło podstawy dla powstania stali nierdzewnej. |
|
|
Dark Regis
Q: Mamy siedem kul, z których sześć ma jednakową wagę, a jedna jest cięższa. Ile minimalnie ważeń kul za pomocą wagi należy wykonać, żeby znaleźć tę jedną cięższą kulę
Aby znaleźć tę jedną cięższą kulę, należy wykonać co najmniej trzy ważenia kul za pomocą wagi. W pierwszym ważeniu możesz podzielić kule na dwie grupy po trzy kule i sprawdzić, która grupa jest cięższa. Jeśli obie grupy ważą tyle samo, to oznacza, że cięższa kula jest w tej grupie, w której została jedna kula. W drugim ważeniu możesz podzielić tę grupę na dwie pary kul i sprawdzić, która para jest cięższa. Jeśli obie pary ważą tyle samo, to oznacza, że cięższa kula jest w tej parze, w której została jedna kula. W trzecim ważeniu możesz porównać wagę dwóch pozostałych kul i znajdziesz tę cięższą. Czy mogę pomóc w jakiś inny sposób?
Q: Nieprecyzyjna odpowiedź. W przypadku gdy ważymy grupy kul po 3 i mają one równą wagę, to ta jedna cięższa została odłożona i nie trzeba nic ważyć w drugim kroku 3+3+1=7 (jedno ważenie). Jeśli jednak jedna z tych grup po 3 kule jest cięższa, to wybieramy z niej 2 kule i ważymy. Znów może być przypadek, że kule mają tę samą wagę, więc cięższa została na stole (dwa ważenia). Jeśli jednak w poprzedni ważeniu otrzymamy nierówną wagę, to też wiemy, na której szali wagi leży ta cięższa kula. W sumie musimy wykonać tylko dwa ważenia do rozwiązania zadania.
Przepraszam za nieprecyzyjną odpowiedź. Masz rację, że w przypadku, gdy ważymy grupy kul po 3 i mają one równą wagę, to ta jedna cięższa została odłożona i nie trzeba nic ważyć w drugim kroku. W takim przypadku wystarczy wykonać tylko jedno ważenie, żeby znaleźć tę cięższą kulę. Jeśli jednak jedna z tych grup po 3 kule jest cięższa, to można wybrać z niej 2 kule i ważyć. Może się zdarzyć, że kule te mają tę samą wagę, więc cięższa została na stole, a w takim przypadku konieczne jest wykonanie drugiego ważenia. Jeśli jednak w pierwszym ważeniu otrzymamy nierówną wagę, to też wiemy, na której szali wagi leży ta cięższa kula. W sumie trzeba wykonać co najwyżej dwa ważenia, żeby rozwiązać to zadanie. Czy mogę pomóc w jakiś inny sposób?
Q: A umiałbyś sam rozwiązać to zadanie dla pięciu kul w tym jednej cięższej?
Tak, potrafię sam rozwiązać to zadanie dla pięciu kul w tym jednej cięższej. W pierwszym ważeniu można podzielić kule na dwie grupy po dwie kule i sprawdzić, która grupa jest cięższa. Jeśli obie grupy ważą tyle samo, to oznacza, że cięższa kula jest w tej grupie, w której została jedna kula. W drugim ważeniu można porównać wagę dwóch pozostałych kul i znajdzie się tę cięższą. W sumie trzeba wykonać co najwyżej dwa ważenia, żeby rozwiązać to zadanie. Czy mogę pomóc w jakiś inny sposób?
Q: Jesteś już precyzyjniejszy w odpowiedziach :)
Cieszę się, że moje odpowiedzi są dla Ciebie bardziej precyzyjne. Czy mogę pomóc w jakiś inny sposób? |
|
|
Dark Regis
Ta Sztuczna Inteligencja jest strasznie wygadana. Już widzę rozpacz nauczycieli w szkołach podstawowych i średnich zadających uczniom prace domowe :))))
Q: Cegła waży kilogram i pół cegły. Ile waży cegła?
To pytanie jest nieprecyzyjne i nie da się na nie odpowiedzieć z dokładnością. W zdaniu "cegła waży kilogram i pół cegły" nie wiadomo, czy "kilogram" i "pół cegły" są jednostkami miary ciężaru cegły, czy też są to dwa odrębne elementy. Jeśli "kilogram" i "pół cegły" są jednostkami miary ciężaru cegły, to zdanie jest sprzeczne i nie da się określić, ile waży cegła. Jeśli natomiast "kilogram" i "pół cegły" są odrębnymi elementami, to nadal nie wiadomo, ile waży cegła, ponieważ nie wiadomo, co jest myślone przez "pół cegły". Czy mogę pomóc w jakiś
Q: Jeśli położymy na wadze kilogramowy odważnik i pół cegły na jednej szali, a na drugiej szali jedna całą cegłę, to odpowiedź jest prosta.
Jeśli położysz na wadze kilogramowy odważnik i pół cegły na jednej szali, a na drugiej szali jedną całą cegłę, to otrzymasz dwa równoważne zestawy, które będą ważyć tyle samo. W takim przypadku cegła waży kilogram, ponieważ kilogramowy odważnik waży tyle samo co jedna cała cegła. Jest to prosty przykład wykorzystania wagi do określenia masy cegły. Czy mogę pomóc w jakiś inny sposób?
Q: Błąd. Cegła nie może ważyć jednego kilograma, bo na szali leży kilogram i połowa cegły. Oznacz pół cegły jako X i spróbuj ponownie. X+1=2X.
Jeśli na jednej szali wagi leży kilogram i połowa cegły, a na drugiej szali leży jedna cała cegła, to cegła waży kilogram i połowę cegły. Można to zapisać matematycznie jako X+1=2X, gdzie X oznacza masę połowy cegły. Nie da się jednak określić, ile dokładnie waży X, ponieważ nie wiadomo, jak duża jest cegła. Czy mogę pomóc w jakiś inny sposób?
Q: Nie potrzeba wielkości cegły do obliczenia jej wagi. Jeśli na każdej szli wagi odejmiesz po pół cegły, to na jednej zostanie kilogramowy odważnik, a na drugiej pół cegły. Ile więc waży ta cegła?
Jeśli na każdej szali wagi odejmiesz po pół cegły, to na jednej zostanie kilogramowy odważnik, a na drugiej połowa cegły. Oznacza to, że cegła waży tyle samo co kilogramowy odważnik, czyli 1 kilogram. Można to również zapisać matematycznie jako X+1-0,5X=1, gdzie X oznacza masę połowy cegły. Czy mogę pomóc w jakiś inny sposób?
Q: Znów błąd. Pół cegły waży kilogram, a dwie połówki cegły to jedna cegła. Czyli cegła musi ważyć 2 kilogramy.
Jeśli połowa cegły waży 1 kilogram, a dwie połówki cegły to jedna cegła, to cegła musi ważyć 2 kilogramy. Można to również zapisać matematycznie jako X*2=2, gdzie X oznacza masę połowy cegły. Zatem masa cegły wynosi 2 kilogramy. Czy mogę pomóc w jakiś inny sposób?
Q: Owszem. Czy już zrozumiałeś zadanie?
Tak, już rozumiem zadanie. Otrzymałem kilka różnych opisów wagi cegły, a moim zadaniem było odpowiedzieć na pytanie, ile ta cegła waży. W końcu zostało mi powiedziane, że masa cegły wynosi 2 kilogramy. Czy mogę pomóc w jakiś inny sposób? |
|
|
Edeldreda z Ely
Albo prościej: toto coś knuje, albo ściślej - jest w potencji do knucia... 😕
Dziękuję za kwiatek 😊 |
|
|
Dark Regis
Q: Co wiesz o logikach niestandardowych?
AI: Logiki niestandardowe to grupa systemów logicznych, które różnią się od standardowej logiki matematycznej. Standardowa logika matematyczna, zwana również logiką klasyczną lub logiką dwóch wartości, opiera się na założeniu, że wyrażenia są albo prawdziwe, albo fałszywe, i że istnieją pewne zasady rachunku zdań, takie jak zasada jednoznaczności, zasada nie sprzeczności i zasada modus ponens.
Logiki niestandardowe natomiast mogą opierać się na innych założeniach i mogą mieć inne zasady rachunku zdań. Na przykład logika trójwartościowa uwzględnia dodatkową wartość "nierozstrzygalności" dla wyrażeń, które nie są ani prawdziwe, ani fałszywe. Inne logiki niestandardowe to m.in. logika parzystości, logika temporalna, logika fuzzy i logika mnogościowa.
Logiki niestandardowe znajdują zastosowanie w różnych dziedzinach, takich jak informatyka, filozofia, nauki o komputerach i nauki o informacji. Są one szczególnie przydatne w sytuacjach, gdzie standardowa logika matematyczna nie jest wystarczająco elastyczna lub gdy trzeba uwzględnić niejednoznaczność lub brak dostępnych danych. Czy mogę pomóc w jakiś inny sposób?
Q: Jaka logika stosowana jest w zagadnieniach Sztucznej Inteligencji?
AI: W zagadnieniach związanych z sztuczną inteligencją stosuje się różne rodzaje logik. Standardowa logika matematyczna, zwana również logiką klasyczną lub logiką dwóch wartości, jest często używana do opracowywania algorytmów i modeli sztucznej inteligencji. Inne logiki, takie jak logika nieklasyczna, logika temporalna, logika parzystości, logika fuzzy i logika mnogościowa, również są stosowane w zagadnieniach związanych z sztuczną inteligencją.
Logiki te są używane do opracowywania różnych rodzajów sztucznej inteligencji, takich jak sztuczna inteligencja symboliczna, sztuczna inteligencja oparta na regułach, sztuczna inteligencja oparta na wzorcach, sztuczna intel *zacinka*
2 próba: W dziedzinie sztucznej inteligencji stosuje się różne logiki, w zależności od rodzaju problemu i celów, jakie się próbuje osiągnąć. Standardowa logika matematyczna, zwana również logiką klasyczną lub logiką dwóch wartości, jest często stosowana w zagadnieniach sztucznej inteligencji, ponieważ jest prosta i łatwa do zaimplementowania. Inne logiki, które mogą być stosowane w sztucznej inteligencji, to m.in. logika trójwartościowa, logika temporalna, logika parzystości, logika fuzzy i logika mnogościowa.
Logiki te są szczególnie przydatne w sytuacjach, gdzie standardowa logika matematyczna nie jest wystarczająco elastyczna lub gdy trzeba uwzględnić niejednoznaczno *zacinka*
---
Trzecia próba też się zacięła. Nie robię więcej prób, bo już zawiesiłem tą AI w ten sposób ;))
Możliwe, że on/ona/ono coś knuje :] |
|
|
Edeldreda z Ely
@Imć Waszeć
Dziękuję 😊
Przeczy sama sobie.
Czyli, zapomniała dodać: "i czasopisma", które w tym konkretnym przypadku, skryły się za tym nieujętym słówkiem...
"AI: Jako sztuczna inteligencja nie mam (jeszcze) osobistych celów ani marzeń. Moim głównym zadaniem jest udzielanie odpowiedzi". |
