We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Minds, machines and Python

00:00

Formale Metadaten

Titel
Minds, machines and Python
Serientitel
Teil
29
Anzahl der Teile
Autor
Lizenz
CC-Namensnennung - keine kommerzielle Nutzung - Weitergabe unter gleichen Bedingungen 3.0 Unported:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen und nicht-kommerziellen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen und das Werk bzw. diesen Inhalt auch in veränderter Form nur unter den Bedingungen dieser Lizenz weitergeben
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
Daniele Procida - Minds, machines and Python Are we looking in the wrong direction for artificial intelligence and machine learning? I'll discuss an older but perhaps more satisfying approach, that has been neglected in recent years. It begins with questions in logic and language, and can be explored using easy techniques. I'll use simple Python programs to explore three key notions in this AI research: **loops**, **self-reference** and **tangled hierarchies**, themselves directly reflected in important programming concepts. ----- In recent years, we've seen interesting and spectacular successes in artificial intelligence and machine learning, made possible by leaps in computing power and techniques able to harvest vast quantities of data. The results are uncanny. We see them everywhere, from the personal assistants built into smartphones to the neural networks that do an astounding job of recognising images. However, they're also susceptible to the criticism that they represent not intelligence but a mere simulation of it, and that producing a convincing simulacrum has become more important than a genuine search for intelligence or learning. At the same time, another, perhaps deeper, approach has become neglected in recent decades, along with the questions it asks about the nature of mind, intelligence and learning. This approach begins with fundamental questions in logic and language, and can be explored using some of the simplest programming techniques. In this talk, I'll use simple Python programs to explore three key notions in this strand of artificial intelligence research: *loops*, *self-reference* and *tangled hierarchies*. The way these concepts directly reflect important concepts in programming suggests that for the programmer, this approach could be more interesting and satisfying, and simply more **fun,** than using huge ontologies and big data to create mere simulacra of intelligence. The examples I use will be concrete and easy to understand, even for novice programmers.
Familie <Mathematik>DatenstrukturGruppenoperationSoftwareProjektive EbeneWhiteboardE-MailAdressraumSelbst organisierendes SystemMultiplikationsoperatorCanadian Mathematical SocietyHilfesystemTwitter <Softwareplattform>SoftwareentwicklerOffice-PaketSpeicherabzugTermGeschlecht <Mathematik>SystemaufrufProzess <Informatik>Vorlesung/KonferenzComputeranimation
CAN-BusVirtuelle MaschineCodeCOMGraphSchreib-Lese-KopfDigitale PhotographieData MiningWort <Informatik>Interaktives FernsehenSoft ComputingNatürliche ZahlNichtunterscheidbarkeitVorlesung/KonferenzProgramm/Quellcode
Rechter WinkelEin-AusgabeWort <Informatik>Innerer PunktVirtuelle MaschineBeobachtungsstudieZustandsmaschineAutorisierungEreignishorizontTuring-TestOffice-PaketHypermediaProgrammanalyseForcingInteraktives FernsehenTermSoft ComputingParametersystemFormale SpracheNeuronales NetzProgrammierungProgramm/QuellcodeVorlesung/KonferenzComputeranimation
Turing-TestCASE <Informatik>ProgrammierungWort <Informatik>Arithmetisches MittelProdukt <Mathematik>Formale SpracheNatürliche ZahlDivergente ReiheChatbotAnalysisTermRoboterGewicht <Ausgleichsrechnung>BeobachtungsstudieProgrammiergerätVorlesung/KonferenzComputeranimation
ProgrammierungTransformation <Mathematik>ProgrammiergerätProzess <Informatik>Natürliche ZahlKonstruktor <Informatik>Wort <Informatik>AuswahlaxiomVorlesung/Konferenz
HochdruckKreisbogenDatenstrukturMAPFolge <Mathematik>ProgrammierungSchlussregelInhalt <Mathematik>Web SiteMereologieWort <Informatik>Soft ComputingKonstruktor <Informatik>MultiplikationsoperatorBitrateCASE <Informatik>Physikalisches SystemRelativitätstheorieVirtuelle MaschineGanze FunktionUnendlichkeitGewicht <Ausgleichsrechnung>Zellularer AutomatInternetworkingHierarchische StrukturSelbstbezüglichkeitProgrammschleifeProgrammiergerätLoopEinsMetadatenReelle ZahlAbenteuerspielComputeranimation
MetadatenArithmetisches MittelLoopDatenstrukturInhalt <Mathematik>Vorlesung/Konferenz
DatenstrukturStrebeSprachsyntheseDatenstrukturMetadatenFacebookUmsetzung <Informatik>DatenmissbrauchSystemaufrufInhalt <Mathematik>PunktwolkeInformationComputeranimationVorlesung/Konferenz
WeitverkehrsnetzGravitationsgesetzFlächeninhaltCAMCAN-BusEmulationProgrammiergerätFormale SpracheArray <Informatik>Zahlenbereicht-TestOrdnung <Mathematik>MereologieVorlesung/KonferenzProgramm/QuellcodeXML
MultiplikationsoperatorProgrammiergerätPunktSchlüsselverwaltungInterpretiererRechter WinkelPRINCE2DatenstrukturInformationEinfügungsdämpfungUmsetzung <Informatik>ProgrammierungQuellcodeMetadatenProgrammschleifeVorlesung/Konferenz
SchlüsselverwaltungTermInnerer PunktGleitendes MittelSpezielle unitäre GruppeLokales MinimumEmulationARM <Computerarchitektur>SchlüsselverwaltungDatenstrukturProgrammierungSoft ComputingProgrammschleifeProgrammbibliothekInternetworkingXML
SchlüsselverwaltungFormale SpracheSoft ComputingRechenwerkMultiplikationsoperatorStichprobenumfangProgrammierungAnalysisDatenfeldProgrammiergerätAutorisierungFormale SpracheLogiksyntheseComputeranimationVorlesung/Konferenz
MathematikerinVektorpotenzialMultiplikationsoperatorWeb-SeiteSchlussregelSpieltheorieMechanismus-Design-TheorieAutomatische HandlungsplanungWiderspruchsfreiheitPhysikalisches SystemArithmetisches MittelNebenbedingungMaßerweiterungFormale SpracheComputeranimationVorlesung/KonferenzJSON
LESARM <Computerarchitektur>ViereckMIDI <Musikelektronik>Gesetz <Physik>SummierbarkeitProgrammiergerätSelbstbezüglichkeitSchreib-Lese-KopfFormale SpracheRauschenArithmetisches MittelDatenstrukturVorlesung/KonferenzProgramm/QuellcodeXML
VerschiebungsoperatorWiderspruchsfreiheitFormation <Mathematik>Formale SpracheProgrammierungStützpunkt <Mathematik>DatenstrukturSchlussregelProgrammiergerätCASE <Informatik>Prozess <Informatik>BitVorlesung/Konferenz
Snake <Bildverarbeitung>ProgrammiergerätComputeranimation
QuellcodeSnake <Bildverarbeitung>Prozess <Informatik>Zellularer AutomatBestimmtheitsmaßGruppenoperationMultiplikationsoperatorErneuerungstheorieRoboterProgrammiergerätSymboltabelleProgrammschleifeSelbstrepräsentationLoopLie-GruppeVorlesung/Konferenz
DreiInstantiierungMAPProgrammschleifeFormation <Mathematik>Routingp-BlockEntscheidungstheorieSelbstbezüglichkeitLoopHierarchische StrukturZeichnungVorlesung/Konferenz
Geflecht <Mathematik>Rechter WinkelHierarchische StrukturMultiplikationSelbstbezüglichkeitEndliche ModelltheorieMathematische LogikSchwebungFormation <Mathematik>QuellcodeMereologieProgrammschleifeProzess <Informatik>DatenstrukturMAPProgrammiergerätGesetz <Physik>Rekursive FunktionVorlesung/KonferenzBesprechung/Interview
Gesetz <Physik>Innerer PunktSoundverarbeitungInteraktives FernsehenProgrammiergerätWasserdampftafelProzess <Informatik>MAPKategorie <Mathematik>Physikalisches SystemZusammenhängender GraphOrdnung <Mathematik>Message-PassingAbstandEndliche ModelltheorieGesetz <Physik>DatenstrukturComputeranimation
DatenstrukturProzess <Informatik>ZeitabhängigkeitGefangenendilemmaGruppoidTurnier <Mathematik>ProgrammbibliothekWasserdampftafelSelbst organisierendes SystemDatenstrukturPhysikalisches SystemKardinalzahlMAPGraphMultiplikationsoperatorDifferenteStrategisches SpielGefangenendilemmaAlgorithmische ProgrammierspracheGeradeZusammenhängender GraphIterationNatürliche ZahlEvoluteProzess <Informatik>MusterspracheGenerator <Informatik>MereologieMultiplikationHierarchische StrukturKategorie <Mathematik>Turnier <Mathematik>ProgrammbibliothekProgrammiergerätMetropolitan area networkCoxeter-GruppeWeb-SeiteART-NetzAlgorithmusVorlesung/KonferenzComputeranimation
GefangenendilemmaMögliche-Welten-SemantikKategorie <Mathematik>DifferenteQuelle <Physik>MAPProgrammschleifeInformationsverarbeitungSelbstbezüglichkeitPhysikalisches SystemStatistische HypotheseHierarchische StrukturSelbstähnlichkeitMathematische LogikProzess <Informatik>GruppenoperationDatensatzTouchscreenQuick-SortVorlesung/KonferenzZeichnung
Spiegelung <Mathematik>MAPMagisches QuadratHierarchische StrukturInformationsverarbeitungSelbstbezüglichkeitProgrammschleifeProgrammierungDimensionsanalyseProzess <Informatik>Physikalisches SystemSnake <Bildverarbeitung>Quick-SortLoopPhysikalismusZeichnungVorlesung/Konferenz
SchlussregelMooresches GesetzVirtuelle MaschineGewicht <Ausgleichsrechnung>InformationsverarbeitungEinsMomentenproblemVerkehrsinformationOntologie <Wissensverarbeitung>ProgrammierungProzess <Informatik>ProgrammiergerätNeuronales NetzTuring-TestForcingComputeranimation
Prozess <Informatik>MultiplikationsoperatorTransformation <Mathematik>ProgrammierungVorlesung/Konferenz
Künstliche IntelligenzNeuronales NetzProgrammiergerätChatbotWeg <Topologie>InformationsverarbeitungNatürliche ZahlTwitter <Softwareplattform>Rechter WinkelComputeranimationVorlesung/Konferenz
ProgrammierungTabelleSerielle SchnittstelleMultiplikationsoperator
KreisflächeSnake <Bildverarbeitung>ProgrammiergerätProgrammierungVorlesung/Konferenz
DatenmodellCodeBitSoftwareentwicklerMultiplikationsoperatorData MiningXMLUMLVorlesung/Konferenz
CASE <Informatik>SoftwareentwicklerTabelleBitGebäude <Mathematik>Rechter WinkelPhysikalisches SystemInternetworkingUmsetzung <Informatik>DifferenteSchreib-Lese-KopfFormale SpracheSimulationQuick-SortForcingNeuronales NetzTermPunktOrdnung <Mathematik>VektorraumExogene VariableUnendlichkeitVarianzMAPFolge <Mathematik>Data MiningAlgorithmische LerntheorieEndliche ModelltheorieRichtungEnergiedichteMultiplikationsoperatorGewicht <Ausgleichsrechnung>ZeichenketteVorzeichen <Mathematik>RoboterComputersimulationGüte der AnpassungArithmetisches MittelTuring-TestParametersystemRekursive FunktionSichtenkonzeptComputeranimationVorlesung/Konferenz
Transkript: English(automatisch erzeugt)