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


Révision datée du 13 septembre 2019 à 21: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

Récupérée de « https://datafranca.org/wiki/index.php?title=Logic_Theorist_(le_théoricien_logique_ou_de_la_logique)&oldid=19835 »

Contributeurs: Imane Meziani, wiki, Sihem Kouache