Logiques non monotones & intelligence artificielle

Les logiques non monotones ont été conçues dans le but d'aider l'ingénieur de la connaissance à implanter et à formaliser de façon qualitative nos nombreux raisonnements qui paraissent judicieux sans être infaillibles dans l'absolu. Cet ouvrage s'adresse à des lecteurs ayant une bonne culture mathématique et informatique. Sa lecture ne requiert pas de connaissances préalables en intelligence artificielle et en logique mathématique.

1. Introduction2. Logiques non monotones3. Non-monotonie et minimisation4. Non-monotonie et stratification5. Théories de l'héritage6. Une technique unificatrice7. ConclusionBibliographieTable des notationsIndex des auteurs et des concepts