Intelligence artificielle (IA)

Thema UYQ

1715 tuit · page 43/43
Sciences humaines, sociales & pensée IA — Actualité & Applications
FR

SFIA Monthly Livestream: November 24, 2019

Diffusion en direct mensuelle de SFIA : 24 novembre 2019

Isaac Arthur
61 min
4/5
Science-FictionFuturismeQ&A
Sciences humaines, sociales & pensée IA — Actualité & Applications
FR

The Paperclip Maximizer

Le maximiseur de trombone

Isaac Arthur
22 min
4/5
Intelligence ArtificielleConvergence InstrumentaleMaximisateur De Trombones
Sciences humaines, sociales & pensée IA — Actualité & Applications
FR

Hanging out with everydAI - AI vs Neanderthals

Traîner avec everydAI - IA vs Néandertaliens

Stefan Milo
12 min
3/5
IANéandertaliensIntelligence
Sciences humaines, sociales & pensée IA — Actualité & Applications
FR

10 Unsettling Artificial Intelligence Scenarios

10 scénarios d'intelligence artificielle troublants

John Michael Godier
14 min
4/5
Intelligence ArtificielleSuperintelligenceFuturologie
Sciences humaines, sociales & pensée IA — Actualité & Applications
FR

Machine Rebellion

Rébellion des machines

Isaac Arthur
32 min
4/5
Intelligence ArtificielleScience-FictionRisques Existentiels
Sciences formelles & physiques IA — Actualité & Applications
FR

Lessons in practical machine intelligence, Dr. Greg Corrado

Leçons en intelligence pratique des machines, Dr. Greg Corrado

Dr. Greg Corrado
26 min
4/5
Intelligence ArtificielleApprentissage ProfondRéseaux De Neurones
Sciences formelles & physiques IA — Actualité & Applications
FR

Circumscription in EC

Circonscription dans EC

Artificial Intelligence
32 min
4/5
CirconscriptionCalcul Des ÉvénementsRaisonnement Non Monotone
Sciences formelles & physiques IA — Actualité & Applications
FR

Minimal Models

Modèles minimaux

Artificial Intelligence (chaîne)
33 min
4/5
CircumscriptionLogique Non MonotoneRaisonnement Par Défaut
Sciences formelles & physiques IA — Actualité & Applications
FR

Introduction.

Introduction.

Artificial Intelligence (chaîne)
31 min
4/5
Raisonnement Par DéfautLogique Non MonotoneClosed World Assumption
Sciences formelles & physiques IA — Actualité & Applications
FR

Event Calculus Revisited

Le calcul des événements revisité

Artificial Intelligence (chaîne)
30 min
4/5
Event CalculusCircumscriptionRaisonnement Non Monotone
Sciences formelles & physiques IA — Actualité & Applications
FR

Circumscription (contd)

Circonscription (suite)

Artificial Intelligence
29 min
4/5
CircumscriptionLogique Non MonotoneRaisonnement Par Défaut
Sciences formelles & physiques IA — Actualité & Applications
FR

Circumscription

Circonscription

Artificial Intelligence (chaîne)
30 min
4/5
CircumscriptionRaisonnement Par DéfautLogique
Sciences formelles & physiques IA — Actualité & Applications
FR

Beliefs

Croyances

Artificial Intelligence
25 min
4/5
Représentation Des ConnaissancesHiérarchies D'héritageLogique Non Monotone
Sciences formelles & physiques IA — Actualité & Applications
FR

The Resolution Method for FOL

La méthode de résolution pour FOL

Artificial Intelligence
31 min
4/5
Logique Du Premier OrdreRésolutionForme Clausale
Sciences formelles & physiques IA — Actualité & Applications
FR

The Event Calculus: Reasoning About Change

Le calcul des événements : raisonner sur le changement

Artificial Intelligence
36 min
4/5
Calcul Des ÉvénementsReprésentation Des ConnaissancesLogique
Sciences formelles & physiques IA — Actualité & Applications
FR

Structure Matching - Example

Correspondance de structures - Exemple

Artificial Intelligence (chaîne)
27 min
4/5
Logique De DescriptionsSubsomptionTaxonomie
Sciences formelles & physiques IA — Actualité & Applications
FR

Structure Matching

Correspondance de structure

Artificial Intelligence
27 min
4/5
Logiques De DescriptionSubsomptionRaisonnement
Sciences formelles & physiques IA — Actualité & Applications
FR

Search in Prolog

Recherche en Prolog

Artificial Intelligence
26 min
4/5
PrologRecherche en ProfondeurBackward Chaining
Sciences formelles & physiques IA — Actualité & Applications
FR

Plan Applier Mechanism

Mécanisme d'application du plan

Artificial Intelligence (chaîne YouTube)
30 min
4/5
PAMCompréhension De RécitsReprésentation Des Connaissances
Sciences formelles & physiques IA — Actualité & Applications
FR

M7 Lec 2 - The Resolution Refutation method for First Order Logic

M7 Lec 2 - La méthode de réfutation par résolution pour la logique du premier ordre

Artificial Intelligence
31 min
2/5
Logique Du Premier OrdreRésolutionIntelligence Artificielle
Sciences formelles & physiques IA — Actualité & Applications
FR

Logic Programming

Programmation logique

Artificial Intelligence (chaîne)
33 min
4/5
LogiqueProgrammationProlog
Sciences formelles & physiques IA — Actualité & Applications
FR

Introduction

Introduction

Artificial Intelligence (chaîne)
43 min
4/5
Logiques De DescriptionIntelligence ArtificielleReprésentation Des Connaissances
Sciences formelles & physiques IA — Actualité & Applications
FR

Goals, Plans and Actions

Objectifs, Plans et Actions

Artificial Intelligence (chaîne)
29 min
4/5
IACompréhension De RécitsPlans
Sciences formelles & physiques IA — Actualité & Applications
FR

Controlling Search

Contrôle de la recherche

Artificial Intelligence
32 min
4/5
PrologProgrammation LogiqueCut
Sciences formelles & physiques IA — Actualité & Applications
FR

Complexity of Resolution Refutation

Complexité de la réfutation par résolution

Artificial Intelligence (chaîne)
40 min
4/5
RésolutionComplexitéLogique Du Premier Ordre
Sciences formelles & physiques IA — Actualité & Applications
FR

CD Theory

Théorie de la dépendance conceptuelle

Artificial Intelligence (chaîne YouTube)
31 min
4/5
Dépendance ConceptuelleReprésentation Des ConnaissancesTraitement Du Langage Naturel
Sciences formelles & physiques IA — Actualité & Applications
FR

Applying Scripts

Application de scripts

Artificial Intelligence
27 min
4/5
ScriptsSAMReprésentation Des Connaissances
Sciences formelles & physiques IA — Actualité & Applications
FR

Proof Systems

Systèmes de preuve

Artificial Intelligence
32 min
4/5
Logique Du Premier OrdreSystèmes De PreuveInférence
Sciences formelles & physiques IA — Actualité & Applications
FR

Unification

Unification

Artificial Intelligence
30 min
4/5
UnificationLogique Du Premier OrdreSubstitution
Sciences formelles & physiques IA — Actualité & Applications
FR

Terminological Facts

Faits terminologiques

Artificial Intelligence (chaîne)
29 min
4/5
Logique Du Premier OrdreReprésentation Des ConnaissancesDéduction
Sciences formelles & physiques IA — Actualité & Applications
FR

Skolemization

Skolémisation

Artificial Intelligence
35 min
4/5
Logique Du Premier OrdreSkolémisationQuantificateurs
Sciences formelles & physiques IA — Actualité & Applications
FR

Properties and Categories

Propriétés et Catégories

Artificial Intelligence
32 min
4/5
Logique Du Premier OrdreReprésentation Des ConnaissancesRéification