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