« Programmation logique abductive » : différence entre les versions

Dernière version du 28 janvier 2024 à 12:33

Définition

Employée en raisonnement temporel, l'abduction est une explication ou une projection des effets vers les causes, contrairement à la déduction qui va des causes vers les effets.

Français

programmation logique abductive

programmation logique par abduction

Anglais

Abductive logic programming

Sources

source : Claude Coulombe, Datafranca.org

@@ Ligne 1 : / Ligne 1 : @@
+== Définition ==
+Employée en raisonnement temporel, l'abduction est une explication ou une projection des effets vers les causes, contrairement à la déduction qui va des
+causes vers les effets.
+== Français ==
+'''programmation logique abductive'''
+'''programmation logique par abduction'''
-== Domaine ==
+== Anglais ==
-[[Category:Vocabulary]]Vocabulary<br />
-[[Category:Coulombe]]Coulombe<br />
-== Définition ==
+'''Abductive logic programming'''
-Employée en raisonnement temporel, l'abduction est une explication ou une projection des effets vers les causes, contrairement à la déduction qui va des
-causes vers les effets.
-== Français ==
+==Sources==
-'''programmation logique abductive'''
-'''programmation logique par abduction'''
+[[Utilisateur:Claude COULOMBE | source : Claude Coulombe, Datafranca.org]]
-== Anglais ==
+[[Catégorie:Intelligence artificielle]]
-===Abductive logic programming===
-Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal logic programming by allowing some predicates to be incompletely defined, declared as abducible predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hypotheses) as solutions of problems to be solved. These problems can be either observations that need to be explained (as in classical abduction) or goals to be achieved (as in normal logic programming). It can be used to solve problems in diagnosis, planning, natural language and machine learning. It has also been used to interpret negation as failure as a form of abductive reasoning.
-<br/>
+[[Category:GRAND LEXIQUE FRANÇAIS]]
-<br/>
-<br/> source:  ???
-<br/>
-<br/>
-<br/>
-<br/>