Logic Theorist (le théoricien logique ou de la logique)


Révision datée du 13 septembre 2019 à 22:30 par Pitpitt (discussion | contributions) (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle‏‎ »)

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

Logic Theorist

one of the earliest AI programs, by Newell and Simon, which proved theorems in set theory from Principia Mathematica.


Source : UTexas Artificial Intelligence Vocabulary



Contributeurs: Imane Meziani, wiki, Sihem Kouache