Intelligence artificielle (IA)

Thema UYQ

1943 tuit · page 49/49
Event Calculus Revisited
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
Circumscription (contd)
Sciences formelles & physiques IA — Actualité & Applications
FR

Circumscription (contd)

Circonscription (suite)

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

Circumscription

Circonscription

Artificial Intelligence (chaîne)
30 min
★ ★ ★ ★ ☆ 4/5
CircumscriptionRaisonnement Par DéfautLogique
Beliefs
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
The Resolution Method for FOL
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
The Event Calculus: Reasoning About Change
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
Structure Matching - Example
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
Structure Matching
Sciences formelles & physiques IA — Actualité & Applications
FR

Structure Matching

Correspondance de structure

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

Search in Prolog

Recherche en Prolog

Artificial Intelligence
26 min
★ ★ ★ ★ ☆ 4/5
PrologRecherche en ProfondeurBackward Chaining
Plan Applier Mechanism
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
M7 Lec 2 - The Resolution Refutation method for First Order Logic
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
Logic Programming
Sciences formelles & physiques IA — Actualité & Applications
FR

Logic Programming

Programmation logique

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

Introduction

Artificial Intelligence (chaîne)
43 min
★ ★ ★ ★ ☆ 4/5
Logiques De DescriptionIntelligence ArtificielleReprésentation Des Connaissances
Goals, Plans and Actions
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
Controlling Search
Sciences formelles & physiques IA — Actualité & Applications
FR

Controlling Search

Contrôle de la recherche

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
PrologProgrammation LogiqueCut
Complexity of Resolution Refutation
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
CD Theory
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
Applying Scripts
Sciences formelles & physiques IA — Actualité & Applications
FR

Applying Scripts

Application de scripts

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
ScriptsSAMReprésentation Des Connaissances
Proof Systems
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
Unification
Sciences formelles & physiques IA — Actualité & Applications
FR

Unification

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
UnificationLogique Du Premier OrdreSubstitution
Terminological Facts
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
Skolemization
Sciences formelles & physiques IA — Actualité & Applications
FR

Skolemization

Skolémisation

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
Logique Du Premier OrdreSkolémisationQuantificateurs
Properties and Categories
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