Can I read Outils Logiques Pour L'intelligence Artificielle on EtoBox?

Outils Logiques Pour L'intelligence Artificielle by Delahaye J.-P. is a nonfiction available to read on EtoBox.

What is Outils Logiques Pour L'intelligence Artificielle about?

Les méthodes et techniques de l'Intelligence Artificielle font intervenir denombreux concepts mathématiques et logiques, et il est parfois difficile à celuiqui doit les utiliser de trouver des exposés qui soient suffisamment complets(sans l'être trop) lui permettant de s'initier rapidement et correctement.Le but de cet ouvrage est justement de présenter aux non spécialistes, certains des concepts mathématiques et logiques importants en informatique etdont le rôle est essentiel en Intelligence Artificielle.Les thèmes principaux abordés sont : la calculabilité et la récursivité ; lessystèmes formels ; le calcul propositionnel ; le calcul des prédicats du premierordre ; la manipulation des formules logiques ; les méthodes de démonstrationautomatique (unification, résolution, stratégies) ; le langage Prolog.Chaque chapitre est accompagné d'exercices et de références bibliographiques.Issu d'un cours de maîtrise, ce livre, par sa forme et le souci didactique quil'anime, s'adresse aussi bien aux étudiants qu'aux informaticiens qui se sententconcernés par l'Intelligence Artificielle.

Who reads Outils Logiques Pour L'intelligence Artificielle?

Author

Delahaye J.-P.

Publisher

Eyrolles

Published

1987

Language

FR

ISBN

9782212084122

Category

nonfiction

Subjects

Computer Science, Artificial Intelligence (Ai), Stem