Planification de la preuve au niveau de l'assertion avec des stratégies compilées
- auteur: Dietrich, Dr. Dominik
- Disponibilité: En stock
- EAN: 9783863760199
€39,90
Ce livre présente de nouvelles techniques qui permettent la vérification et la génération automatiques de preuves abstraites de style humain. Le cœur de cette approche construit un calcul efficace qui fonctionne directement en appliquant des définitions, des théorèmes et des axiomes, ce qui réduit la taille de l'objet de preuve...
Ce livre présente de nouvelles techniques qui permettent la vérification et la génération automatiques de preuves abstraites de style humain. Le cœur de cette approche construit un calcul efficace qui fonctionne directement en appliquant des définitions, des théorèmes et des axiomes, ce qui réduit la taille de l'objet de preuve sous-jacent d'un facteur 10. Le calcul est étendu par le paradigme d'inférence profonde qui permet l'application de règles d'inférence à une profondeur arbitraire à l'intérieur des expressions logiques et fournit de nouvelles preuves qui sont exponentiellement plus courtes et non disponibles dans le calcul séquentiel sans coupure. De plus, un langage de stratégie pour les modèles de preuve déclaratifs abstraits sous-spécifiés est développé. Ensemble, les méthodes complémentaires fournissent un cadre pour automatiser les preuves déclaratives. Les avantages des techniques sont illustrés par des applications pratiques.
Détails
- Titre : Planification de la preuve au niveau de l'assertion avec des stratégies compilées
- Auteur : Dr. Dominik Dietrich
- Édition : 1ère édition
- Université : Université de la Sarre
- Publié : 1ère édition 08/10/2012
- Département : génie électrique et technologies de l'information
- Type de produit : Livre (relié)
- Type de produit : Mémoire
- Langue : anglais
- Reliure : Couverture souple (broché)
- Dimensions : 21,0 x 14,8 cm (DIN A5)
- Taille : XX / 341 pages
- État : neuf (emballé sous film plastique)
- Mots clés : niveau d'assertion, application rétroactive, CORE, preuve déclarative, tactique déclarative, module de déduction, application profonde, inférence profonde, paradigme d'inférence, preuve de niveau, planification de preuve, raffinement de preuve, scripts de preuve, stratégies de preuve, théorie de la preuve, tautologies
Auteur
Dominik Dietrich est né en 1980 à Sarrebruck, en Allemagne. Il a étudié l'informatique et les mathématiques à l'Université de la Sarre à Sarrebruck, où il a obtenu son doctorat en 2011 sous la direction de Jörg Siekmann. Ses recherches portent sur le raisonnement automatisé, les méthodes formelles et la gestion sémantique des données et des processus. Dominik travaille actuellement comme chercheur au sein du département Cyber Physical Systems du Centre allemand de recherche sur l'intelligence artificielle (DFKI) à Brême.
Téléchargements
DRM : filigrane numérique
Cet eBook contient un filigrane numérique et est donc personnalisé pour vous. Si l'eBook est transmis à des tiers de manière abusive, il est possible de remonter jusqu'à la source.
Format de fichier : PDF (Portable Document Format)
Avec une mise en page fixe, le PDF est particulièrement adapté aux livres spécialisés avec des colonnes, des tableaux et des figures. Un PDF peut être affiché sur presque tous les appareils, mais ne convient que dans une mesure limitée aux petits écrans (smartphone, liseuse).
Configuration requise :
PC/Mac : vous pouvez lire cet eBook avec un PC ou un Mac. Vous avez besoin d'un visualiseur PDF - par exemple Adobe Reader.
eReader : cet eBook peut être lu avec (presque) tous les lecteurs d'eBook. Cependant, il n'est pas compatible avec le Kindle d'Amazon.
Smartphone/Tablette : Que vous soyez Apple ou Android, vous pouvez lire cet eBook. Vous avez besoin d'un visualiseur PDF - par exemple Adobe Reader.
Acheter des livres numériques à l'étranger
Pour des raisons de droit fiscal, nous pouvons vendre des livres électroniques uniquement en Allemagne et en Suisse. Malheureusement, nous ne pouvons pas répondre aux commandes de livres électroniques d'autres pays.