Logique pour l'informatique et pour l'intelligence artificielle

Ricardo Caferra

Parution le 23/12/2010

Ajouter à une liste

Expédié sous 5 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

Résumé

La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions.

Caractéristiques techniques

	PAPIER	NUMERIQUE
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Ricardo Caferra
Parution	23/12/2010	23/12/2010
Nb. de pages	-	424
Format	15 x 22	-
Couverture	Broché	-
Poids	630g	-
Contenu	-	PDF
EAN13	9782746226005	9782746241114
ISBN13	978-2-7462-2600-5	-