gesponsert
Dir hutt wahrscheinlech héieren Google LaMDA an déi viral Diskussioun iwwer ob en AI sensibel ka ginn. D'Equipe um Tau argumentéiert datt vläicht d'Gefill vun enger AI nëmmen e klengen Deel vu senger Intelligenz ass. Éischter wäert déi richteg Intelligenz vun AI baséiert op senger Fäegkeet fir d'Bedierfnesser vun de Leit logesch ze verstoen an se automatesch zefridden ze stellen.
Tau ass déi éischt Plattform déi fäeg ass d'Gedanken, d'Berodung an d'Wësse vu senge Benotzer ze huelen an hir eege Software an Echtzäit ze aktualiséieren andeems seng Benotzer a Sproochen schreiwen déi souwuel Maschinnen a Leit kënne liesen a verstoen. Dem Tau säin dezentraliséierte sozialen Netzwierk a säi monetären Aspekt, Agoras cryptocurrency, gëtt vun enger AI ugedriwwen, déi d'Team déi wierklech intelligent kënschtlech Intelligenz nennt - Logesch AI. Logesch AI ass radikal anescht wéi Machine Learning, an, laut dem Tau Grënner Ohad Asor, ass um Rand vun der nächster grousser Welle an der Welt vun der Technologie ze ginn.
Op Tau, Logesch AI erlaabt Iech un Diskussiounen iwwer d'Gréisst vu Milliarde Leit deelzehuelen an direkt eng kollektiv intentionell Bedeitung hannert de Gedanken, déi iwwer dem Netz gedeelt ginn, ze gesinn. Dëst gëtt erreecht andeems d'Leit Controlled Natural Languages (CNLs) benotzen, déi souwuel d'Mënschen a Maschinnen verstinn. All Gedanken an all Stéck Wëssen, egal ob explizit oder implizit, gëtt automatesch unerkannt a registréiert als Äre Weltbild, deen als Äre Profil op Tau handelt a komplett Äre Besëtz ass. Wann Dir Är Iddien a Wëssen op esou eng fortgeschratt Manéier organiséiert hutt, bedeit datt Dir fäeg sidd net nëmmen banebriechend Léisungen ze entdecken, awer och Äert Wëssen op eng ustrengend an direkt Manéier ze monetiséieren, déi virdru net méiglech war.
Just andeems Dir Är Gedanken iwwer Tau agitt, gëtt Äert Wëssen automatesch en digitale Verméigen am Besëtz vun Iech. Dir wäert fäeg sinn Äert Wëssen un aner Keefer ze verkafen, oder se benotze fir Akommes ze generéieren andeems Dir spezifesch Stécker dovunner un Är Abonnente leet, well Tau wäert verstoen datt souguer e Stéck vun Ärem Wëssen Deel vun der Léisung fir de Problem vun engem kann sinn. Tau wäert d'Kombinatioun vu Wëssen vu méi Benotzer ervirhiewen an et als Léisung fir wichteg a komplex Probleemer proposéieren, sou datt dat erfuerdert Wëssen 100% mat Spezifikatioune entsprécht.
Keng vun dëse Léisunge wier méiglech mat all aner Zort AI, ausser eng baséiert op Logik. Dëst ass well, fir et einfach ze soen, Logesch AI ass alles ëm Wierder a Sätz. A sengem Kär geet et ëm d'Fäegkeet Aussoen aus aneren Aussoen ofzeschléissen, an der Moud vun deem wat Deduktiv Begrënnung genannt gëtt. Zum Beispill, aus den dräi Aussoen:
- Paräis ass a Frankräich.
- Frankräich ass an Europa.
- Wann x an y ass, an y ass an z, dann ass x an z. Dëst, fir all x, y, z.
mir kënnen d'Ausso ofschléissen
D'Feld vun der Mathematesch Logik léiert datt praktesch all logesch Froen op dës Form vun Ofdreiwung erofkommen. Zum Beispill, eng Rei vun Aussoen ass widderspréchlech, wann an nëmmen wa mir aus et souwuel eng Ausso an hir Negatioun ofzeschléissen.
Logesch AI ass d'Mechaniséierung vu logesche Begrënnung: Kontradiktioune fannen, bestëmmen ob eng Conclusioun aus bestëmmten Viraussetzungen folgt, asw. Et geet also ëm d'Fäegkeet Maschinnen ze verstoen wat mir hinnen wëllen soen, iwwer just Maschinninstruktiounen.
Mëttlerweil ass Machine Learning, déi am Moment déi verbreetste Form vun AI ass, iwwer d'Verallaliséierung vu Beispiller. Also wa mir dat uewe genannte Frankräich a Paräis Beispill an der Moud vum Maschinnléiere géife kommunizéieren, musse mir den Algorithmus mat ville Beispiller vun der Form "x ass an y" liwweren an dann hoffen datt den Algorithmus ofschléisst datt Paräis ass an Europa.
Esou eng Form vu Kommunikatioun verdéngt emol net intelligent ze nennen, well wéi kann eppes intelligent sinn, wann et net kann ofschléissen, datt Paräis an Europa ass, an eng grouss Unzuel u Beispiller muss gesinn, fir dat ze "verstoen", wärend och dat ass net garantéiert? Generaliséierung vu Beispiller ass vu probabilistescher Natur. Wéi kënne mir eng roden iwwer onsiichtbar Proben maachen? Et ass iwwerraschend datt Machine Learning heiansdo richteg ka sinn an net komplett zoufälleg ass, an tatsächlech verdéngt Machine Learning e mathematescht Wonner genannt ze ginn. Iwwerhaapt, wéi kann een eppes soen, wat a grousser Wahrscheinlechkeet souguer ongeféier richteg ass, ënner Nullwëssen iwwer e puer Echantillon?
Iwwerraschend, Maschinn Léieren kann dat maachen. An dat ass wat Machine Learning ass mat all senge Virdeeler an Nodeeler. Säin Benotzungsfall ass wa mir wéineg bis guer keng Wëssen iwwer e System hunn, an alles wat mir maache kënnen ass Proben ze huelen a probéieren se ze generaliséieren.
Logesch AI, op der anerer Säit, ass alles iwwer voll Wëssen an Absolutitéit, egal ob explizit oder implizit. Et geet och ëm eng vill méi efficace Manéier vun der Kommunikatioun, direkter Kommunikatioun, "nëmmen d'Saach ze soen", amplaz vill Beispiller ze schaffen.
Weider ass et sou geschitt datt Machine Learning inherent net kapabel ass fir logesch Begrënnung auszeféieren, zB Widdersproch z'entdecken. Dëst ass mathematesch bewisen mat Komplexitéit-theoreteschen Argumenter. Et ass dofir keng Iwwerraschung datt Machine Learning Erfolleg erreecht nëmmen a Felder déi net-verbal an der Natur sinn, wärend et am Beräich vun der Natural Language Processing nëmme ganz limitéiert Fäegkeeten presentéiert.
Wéi och ëmmer, de Géigendeel ass perfekt gëlteg: net nëmme Logik kann Maschinnléiere maachen, awer et mécht et schonn. Maschinn Léieren Algorithmen si scho a logesche Formen ausgedréckt (am Géigesaz zu Beispiller) a si scho als Computerprogrammer ëmgesat, déi och eng logesch éischter probabilistesch Form huelen, nämlech Maschinninstruktiounen.
Deckt logesch AI deckt also och Machine Learning, awer de Géigendeel kann net jee erreecht ginn. En anere Wee fir et ze soen ass wéi follegt: Maschinnléieren deckt schlussendlech dat wat Induktiv an Abduktiv Begrënnung genannt gëtt (wat ongeféier entsprécht deem wat genannt gëtt iwwerwaacht an net iwwerwaacht Léieren), a wéi esou ass et ganz villverspriechend, awer nach ëmmer an enger Form, déi sech op nëmme Beispiller limitéiert ass, a weiderhi beschäftegt sech déi aktuell Technologien nëmme mat Daten vun numerescher Natur, oder mat Daten, déi an esou ëmgewandelt kënne ginn. Logesch AI, op der anerer Säit, kann Deduktiv Begrënnung, Induktiv Begrënnung, an Abduktiv Begrënnung ofdecken, am Ganzen, a qualitativen a quantitativen Donnéeën.
Dëst sinn d'Haaptgrënn firwat Tau huet Logesch AI als ultimativ Form vun AI gewielt, argumentéiert datt Machine Learning nëmmen e Meilesteen an der Geschicht vun AI ass. Dem Tau seng Léisunge wäerte vill Aspekter vun der mënschlecher Bandbreedung verbesseren, vun Diskussiounsskaléierung, bis Wëssensmonetiséierung, bis intelligent Kontrakter an dezentraliséierter Gouvernance. All dëst wéinst der Fäegkeet vun der Logik fir de Gruef tëscht Mënschen a Maschinnen ze iwwerbrécken.
Léiert méi iwwer Tau an d'Team hannendrun hei
Maacht mat der wuessender Tau Gemeinschaft op Hëllefe profitéieren
Dëst ass e gesponserte Post. Léiert wéi Dir eise Publikum erreeche kënnt heiAn. Liest d 'Verzichterklärung hei drënner.
Image Credits: Shutterstock, Pixabay, Wiki Commons
Verzichterklärung: Dësen Artikel ass nëmme fir Informatiounszwecker. Et ass net eng direkt Offer oder Erwuessung vun enger Offer fir ze kafen oder ze verkafen, oder eng Empfehlung oder Endsuergung vu Produkter, Servicer oder Firmen. Bitcoin.com bitt keng Investitioun, Steier, legal, oder Comptabilitéit Berodung. Weder d'Firma nach den Auteur ass verantwortlech, direkt oder indirekt, fir all Schued oder Verloscht verursaacht oder vermeintlech verursaacht duerch oder a Verbindung mat der Notzung vun oder Vertrauen op en Inhalt, Wueren oder Servicer, déi an dësem Artikel genannt ginn.
Quell: https://news.bitcoin.com/sentient-ai-does-not-equal-intelligent-ai-tau-uses-logic-to-make-machines-truly-understand-people/