Artificial Intelligence

@artificialintelligence5438

71 tuit · page 1/2

Sciences formelles & physiques Philosophie & Éthique

The Muddy Children Puzzle

Le puzzle des enfants boueux

Artificial Intelligence (chaîne)

10 avril 2016 24 min

★ ★ ★ ★ ☆ 4/5

Logique ÉpistémiqueLogique Dynamique ÉpistémiquePuzzle Des Enfants Boueux

Sciences formelles & physiques Philosophie & Éthique

Epistemic Logic

Logique épistémique

Artificial Intelligence (chaîne YouTube)

10 avril 2016 33 min

★ ★ ★ ★ ☆ 4/5

Logique ÉpistémiqueLogique ModaleSémantique De Kripke

Sciences formelles & physiques IA — Modèles & Recherche

Defaul Logic

Logique Defaul

Artificial Intelligence

4 avril 2016 35 min

★ ★ ★ ★ ☆ 4/5

Logique Des DéfautsRaisonnement Non MonotoneIntelligence Artificielle

Sciences formelles & physiques IA — Actualité & Applications

Circumscription in EC

Circonscription dans EC

Artificial Intelligence

4 avril 2016 32 min

★ ★ ★ ★ ☆ 4/5

CirconscriptionCalcul Des ÉvénementsRaisonnement Non Monotone

Sciences formelles & physiques IA — Modèles & Recherche

Autoepistemc Logic

Logique auto-épistémique

Artificial Intelligence (chaîne)

4 avril 2016 42 min

★ ★ ★ ★ ☆ 4/5

Logique AutoépistémiqueLogique ModaleRaisonnement Non Monotone

Sciences formelles & physiques IA — Actualité & Applications

Minimal Models

Modèles minimaux

Artificial Intelligence (chaîne)

31 mars 2016 33 min

★ ★ ★ ★ ☆ 4/5

CircumscriptionLogique Non MonotoneRaisonnement Par Défaut

Sciences formelles & physiques IA — Actualité & Applications

Introduction.

Artificial Intelligence (chaîne)

31 mars 2016 31 min

★ ★ ★ ★ ☆ 4/5

Raisonnement Par DéfautLogique Non MonotoneClosed World Assumption

Sciences formelles & physiques IA — Actualité & Applications

Event Calculus Revisited

Le calcul des événements revisité

Artificial Intelligence (chaîne)

31 mars 2016 30 min

★ ★ ★ ★ ☆ 4/5

Event CalculusCircumscriptionRaisonnement Non Monotone

Sciences formelles & physiques IA — Actualité & Applications

Circumscription (contd)

Circonscription (suite)

Artificial Intelligence

31 mars 2016 29 min

★ ★ ★ ★ ☆ 4/5

CircumscriptionLogique Non MonotoneRaisonnement Par Défaut

Sciences formelles & physiques IA — Actualité & Applications

Circumscription

Circonscription

Artificial Intelligence (chaîne)

31 mars 2016 30 min

★ ★ ★ ★ ☆ 4/5

CircumscriptionRaisonnement Par DéfautLogique

Sciences formelles & physiques Informatique & Cybersécurité

Inheritance Hierarchies:

Hiérarchies d'héritage :

Artificial Intelligence (chaîne)

28 mars 2016 33 min

★ ★ ★ ★ ☆ 4/5

HéritageReprésentation Des ConnaissancesRaisonnement Non Monotone

Sciences formelles & physiques IA — Actualité & Applications

Beliefs

Croyances

Artificial Intelligence

28 mars 2016 25 min

★ ★ ★ ★ ☆ 4/5

Représentation Des ConnaissancesHiérarchies D'héritageLogique Non Monotone

Sciences formelles & physiques IA — Modèles & Recherche

Taxonomies and Inheritance

Taxonomies et héritage

Artificial Intelligence (chaîne)

27 mars 2016 31 min

★ ★ ★ ★ ☆ 4/5

HéritageRéseaux SémantiquesTaxonomie

Sciences formelles & physiques IA — Actualité & Applications

The Resolution Method for FOL

La méthode de résolution pour FOL

Artificial Intelligence

8 mars 2016 31 min

★ ★ ★ ★ ☆ 4/5

Logique Du Premier OrdreRésolutionForme Clausale

Sciences formelles & physiques IA — Modèles & Recherche

Natural Language Semantics

Sémantique du langage naturel

Artificial Intelligence (chaîne)

25 février 2016 30 min

★ ★ ★ ★ ☆ 4/5

SémantiqueLangage NaturelReprésentation Des Connaissances

Sciences formelles & physiques Informatique & Cybersécurité

The Cut Operator in Prolog

L'opérateur de coupure dans Prolog

Artificial Intelligence

24 février 2016 35 min

★ ★ ★ ★ ☆ 4/5

PrologCutProgrammation Logique

Sciences formelles & physiques IA — Actualité & Applications

The Event Calculus: Reasoning About Change

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

Artificial Intelligence

12 février 2016 36 min

★ ★ ★ ★ ☆ 4/5

Calcul Des ÉvénementsReprésentation Des ConnaissancesLogique

Sciences formelles & physiques IA — Modèles & Recherche

Resource Description Framework (RDF)

Cadre de description des ressources (RDF)

Artificial Intelligence (chaîne)

12 février 2016 33 min

★ ★ ★ ★ ☆ 4/5

RDFWeb SémantiqueReprésentation Des Connaissances

Sciences formelles & physiques IA — Modèles & Recherche

English to CD Theory

Théorie de l'anglais au CD

Artificial Intelligence (chaîne)

12 février 2016 33 min

★ ★ ★ ★ ☆ 4/5

Dépendance ConceptuelleReprésentation Des ConnaissancesAnalyse Sémantique

Sciences formelles & physiques IA — Modèles & Recherche

Top Down and Bottom Up Reasoning

Raisonnement de haut en bas et de bas en haut

Artificial Intelligence

4 février 2016 31 min

★ ★ ★ ★ ☆ 4/5

PAMRaisonnementCompréhension De Récits

Sciences formelles & physiques IA — Actualité & Applications

Structure Matching - Example

Correspondance de structures - Exemple

Artificial Intelligence (chaîne)

4 février 2016 27 min

★ ★ ★ ★ ☆ 4/5

Logique De DescriptionsSubsomptionTaxonomie

Sciences formelles & physiques IA — Actualité & Applications

Structure Matching

Correspondance de structure

Artificial Intelligence

4 février 2016 27 min

★ ★ ★ ★ ☆ 4/5

Logiques De DescriptionSubsomptionRaisonnement

Sciences formelles & physiques IA — Modèles & Recherche

Semantic Nets and Frames

Réseaux et cadres sémantiques

Artificial Intelligence (chaîne)

4 février 2016 34 min

★ ★ ★ ★ ☆ 4/5

Réseaux SémantiquesFramesReprésentation Des Connaissances

Sciences formelles & physiques IA — Actualité & Applications

Search in Prolog

Recherche en Prolog

Artificial Intelligence

4 février 2016 26 min

★ ★ ★ ★ ☆ 4/5

PrologRecherche en ProfondeurBackward Chaining

Sciences formelles & physiques Informatique & Cybersécurité

Scripts

Scénarios

Artificial Intelligence

4 février 2016 32 min

★ ★ ★ ★ ☆ 4/5

ScriptsReprésentation Des ConnaissancesCompréhension Du Langage Naturel

Sciences formelles & physiques IA — Modèles & Recherche

Reification and Abstract Entities

Réification et entités abstraites

Artificial Intelligence (chaîne)

4 février 2016 33 min

★ ★ ★ ★ ☆ 4/5

RéificationEntités AbstraitesReprésentation Des Connaissances

Sciences formelles & physiques Informatique & Cybersécurité

Prolog

Artificial Intelligence (chaîne YouTube)

4 février 2016 38 min

★ ★ ★ ★ ☆ 4/5

PrologProgrammation LogiqueLogique

Sciences formelles & physiques IA — Actualité & Applications

Plan Applier Mechanism

Mécanisme d'application du plan

Artificial Intelligence (chaîne YouTube)

4 février 2016 30 min

★ ★ ★ ★ ☆ 4/5

PAMCompréhension De RécitsReprésentation Des Connaissances

Sciences formelles & physiques IA — Modèles & Recherche

Normalisation

Artificial Intelligence

4 février 2016 30 min

★ ★ ★ ★ ☆ 4/5

Logiques De DescriptionNormalisationSubsomption

Sciences formelles & physiques IA — Modèles & Recherche

Natural Language Semantics

Sémantique du langage naturel

Artificial Intelligence (chaîne)

4 février 2016 31 min

★ ★ ★ ★ ☆ 4/5

SémantiqueLangage NaturelDépendance Conceptuelle

Sciences formelles & physiques IA — Actualité & Applications

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

4 février 2016 31 min

★ ★ ☆ ☆ ☆ 2/5

Logique Du Premier OrdreRésolutionIntelligence Artificielle

Sciences formelles & physiques IA — Actualité & Applications

Logic Programming

Programmation logique

Artificial Intelligence (chaîne)

4 février 2016 33 min

★ ★ ★ ★ ☆ 4/5

LogiqueProgrammationProlog

Sciences formelles & physiques IA — Actualité & Applications

Introduction

Artificial Intelligence (chaîne)

4 février 2016 43 min

★ ★ ★ ★ ☆ 4/5

Logiques De DescriptionIntelligence ArtificielleReprésentation Des Connaissances

Sciences formelles & physiques Mathématiques

Incompleteness

Incomplétude

Artificial Intelligence (chaîne)

4 février 2016 29 min

★ ★ ★ ★ ☆ 4/5

LogiqueRésolutionComplétude

Sciences formelles & physiques IA — Actualité & Applications

Goals, Plans and Actions

Objectifs, Plans et Actions

Artificial Intelligence (chaîne)

4 février 2016 29 min

★ ★ ★ ★ ☆ 4/5

IACompréhension De RécitsPlans

Sciences formelles & physiques Mathématiques

FOL with Equality

FOL avec l'égalité

Artificial Intelligence (chaîne)

4 février 2016 30 min

★ ★ ★ ★ ☆ 4/5

Logique Du Premier OrdreÉgalitéRésolution

Sciences formelles & physiques IA — Modèles & Recherche

DL: Extensions

DL : Extensions

Artificial Intelligence

4 février 2016 32 min

★ ★ ★ ★ ☆ 4/5

Logique De DescriptionExpressivitéSubsomption

Sciences formelles & physiques IA — Modèles & Recherche

DL: ALC

Artificial Intelligence

4 février 2016 30 min

★ ★ ★ ★ ☆ 4/5

Logique De DescriptionALCTableau

Sciences formelles & physiques IA — Actualité & Applications

Controlling Search

Contrôle de la recherche

Artificial Intelligence

4 février 2016 32 min

★ ★ ★ ★ ☆ 4/5

PrologProgrammation LogiqueCut

Sciences formelles & physiques IA — Actualité & Applications

Complexity of Resolution Refutation

Complexité de la réfutation par résolution

Artificial Intelligence (chaîne)

4 février 2016 40 min

★ ★ ★ ★ ☆ 4/5

RésolutionComplexitéLogique Du Premier Ordre