511 artificialintelligence combinatória computerscience héritage incertitude induction(mathematics) induction(mathématiques) informatique intelligenceartificielle logic logicprogramming logique logiquedéfaut mathematics mathématiques probabilities probability probabilités programmationlogique prooftheory raisonnementnonmonotone reasoning(psychology) symbolicandmathematical symbolicandmathematicallogic thoughtandthinking théoriedelapreuve théoriepossibilité