Logique non monotone
- Logique non monotone
-
Une logique non-monotone est une logique formelle dont la relation de conséquence n'est pas monotone. De nombreuses logiques formelles sont monotone, ce qui signifie qu'ajouter un fait à un ensemble de règles n'enlève pas de déductions de cet ensemble. Intuitivement, cela signifie qu'ajouter une nouvelle connaissance à un système ne fera qu'augmenter les déductions faites à partir de ce système. Les logiques monotones ne peuvent faire de la révision de connaissance.
Exemple
Un exemple typique de révision de connaissance est :
vole(X) :- oiseau(X), not pinguin(X).
oiseau(titi).
Nous pouvons déduire de ce programme l'atome vole(titi). Si nous rajoutons à notre programme pinguin(titi), nous ne pouvons plus déduire vole(titi).
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Logique non monotone de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Logique Défaisable — La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes elles spécifient qu un fait… … Wikipédia en Français
Logique defaisable — Logique défaisable La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes elles… … Wikipédia en Français
Logique défaisable — La logique défaisable est une logique non monotone proposée par Donald Nute pour formaliser le raisonnement défaisable. En logique défaisable, il y a trois différents types de règles : Les règles strictes elles spécifient qu un fait… … Wikipédia en Français
logique et monotonie — L’inference deductive conventionnelle est une illustration de la monotonie. On peut l’illustrer par le syllogisme qui conclue que Socrate est mortel a partir des faits suivants : Socrate est un homme et Tous les hommes sont mortels . Si on… … Glossaire de linguistique computationnelle
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
Programmation non linéaire — Optimisation (mathématiques) En mathématiques, l optimisation est l’étude des problèmes qui sont de la forme : Étant donné : une fonction d’un ensemble A dans l ensemble des nombre réels Rechercher : un élément x0 de A tel que pour … Wikipédia en Français
Moteur D'inférence — Un moteur d inférence (du verbe inférer = déduire) est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d inférence permet aux systèmes experts de conduire des raisonnements logiques et de dériver des … Wikipédia en Français
Moteur d'inference — Moteur d inférence Un moteur d inférence (du verbe inférer = déduire) est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d inférence permet aux systèmes experts de conduire des raisonnements… … Wikipédia en Français
Moteur d'inférence — Un moteur d inférence (du verbe « inférer » qui signifie « déduire ») est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs. Un moteur d inférence permet aux systèmes experts de conduire des… … Wikipédia en Français
ENFANCE - Opérations et structures intellectuelles — Il y a deux façons au moins de présenter le développement intellectuel de l’enfant. La première consisterait à établir d’âge en âge la chronologie des réussites du sujet affronté à des tâches réputées intellectuelles (résolution de problèmes,… … Encyclopédie Universelle
