Recherche
Plus d'un million de livres référencés
Logique methodes pour l'intelligence artificielle volume 3

Logique methodes pour l'intelligence artificielle volume 3

Auteur : Gochet

Editeur : Hermes Sciences Publicat.

Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la théorie de la correspondance. Explication de l'algorithme de Sahlqvist-van Benthem. Discussion des méthodes de preuve exécutables par ordinateur.

81,00 €
Vendeur : Amazon
Parution :
ISBN : 978-2-7462-0131-6
Donnez votre avis