artificialintelligence héritage incertitude informatique intelligenceartificielle logic logicprogramming logique logiquedéfaut logiquesymboliqueetmathématique raisonnementnonmonotone symbolicandmathematical symbolicandmathematicallogic théoriepossibilité