Logique pour l'informatique et pour l'intelligence artificielle

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.