Czy są AI, gotowe wyciągnąć dalsze wnioski, z zestawu aksjomatów?
Czy są w stanie dać odpowiedź spójną wewnętrznie, w ramach założonych aksjomatów?
Budować złożone wnioskowanie, tworzyć złożone przykłady, korzystające z tej aksjomatyki?

W szczególności chodzi mi o aksjomaty z Metacybernetyki, ale szukam generalnie rozwiązań specjalizujących się w takiej logice aksjomatycznej.
#ai #artificialintelligence #logika #aksjomatyka #matematyka #cybernetyka
  • 1
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@look997: no generalnie systemy automatycznego wnioskowania to istnieją od wielu lat. Z tym, że pewnie będziesz zawiedziony bo to nie jest magiczna maszynka do dowodzenia hipotezy riemanna tylko mądrzejszy dfs z formułami logicznymi zamiast wierzchołków i zasadami wnioskowania z danego systemu formalnego zamiast krawedzi
  • Odpowiedz
#przegryw ksiądz wezwał dzieci pod ołtarz i zadawał im pytania, co można zrobić żeby kogoś pocieszyć, i dzieci wpatrywały się w księdza i odpowiadają, że można pocałować albo dać buziaka. Potem ksiądz mówi żeby puścić na telebimie sceny z drogi krzyżowej, i jest Weronika, która ociera twarz Jezusowi, Szymon Cyrenejczyk pomaga nieść krzyż Jezusowi. W tym momencie jak dzieci spojrzały na telebim to jakby nagle dostały ADHD, kręcą się w
  • 1
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

masz mój wykład wprowadzający w zagadnienie cybernetyki.


@Martwiak: dziękuję, obejrzałem, bardzo ciekawy, dobre tłumaczysz.
Tylko to audio... musiałem oglądać na komputerze na kilka razy, bo na telefonie nie da się słuchać(dudnienie). Jak nie masz wpływu na nagrywanie, bo uczelnia/ktoś się tym zajmuje, to od siebie można Zoom H1 postawić obok laptopa, ściągnie Ciebie i widownię. Będzie zapasowe audio dobrej jakości, do podłożenia gdyby główne się nie nagrało(albo tak jak tu,
  • Odpowiedz
Jak działają relacje między multimiliarderami a wielkimi korporacjami, koncernami medycznymi itp. itd.?

Porównałbym je raczej do relacji w małej wiosce, gdzie jest ksiądz, sołtys, duży gospodarz, miejscowy lekarz albo i znachor, filozof, bogacz z pałacem na wiosce z kasą nie wiadomo skąd - kilka dużych ludzi, którzy mają wspólne tematy, interesy ale też są dla siebie nawzajem autorytetami, jednocześnie nie traktują drobnych rolników a już w ogóle parobków jakkolwiek poważnie, czasem patrzą z opieką (owieczki), czasem z pogardą, czasem jako zasób.

Ale na poziomie "wielkich wioski" też są konflikty, też są sprzeczne interesy i uprzedzenia.

Myślę
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach