Logique : Methodes pour l'intelligence artificielle (Repost)

L'ouvrage se veut introductif et ne suppose du lecteur que la connaissance préalable de la logique des propositions et de la logique des prédicats, connaissance disponible dans le premier volume ou dans tout autre traité de logique.

La connaissance analytique réalise la capacité de l’être humain a comprendre le fonctionnement réel des choses par analyse, déduction et démonstration.