LOGIQUE - TOME 3
MÉTHODES POUR L'INTELLIGENCE ARTIFICIELLE
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.
Description
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.
Renseignements sur l'ouvrage
Ouvrages similaires
-
CYBERSÉCURITÉ DES ACTEURS ÉCONOMIQUESRisques, réponses stratégiques et juridiques - RESSOURCES NUMÉRIQUES POUR L'ENSEIGNEMENT SUPÉRIEUR : LE CAS DE LLe cas de l'Université en ligne
- RÉUTILISATION DE L'EXPÉRIENCEModèles et applications