Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 3 votes.
Titre original :
Declarative Logic Programming: Theory, Systems, and Applications
Contenu du livre :
L'idée de ce livre est née d'un symposium qui s'est tenu à Stony Brook en septembre 2012 pour célébrer les contributions fondamentales de David S. Warren à l'informatique et au domaine de la programmation logique en particulier.
La programmation logique (PL) se situe au carrefour de la représentation des connaissances, de l'intelligence artificielle, de la logique mathématique, des bases de données et des langages de programmation. Elle est fascinante et intellectuellement stimulante en raison de l'interaction fondamentale entre la théorie, les systèmes et les applications qu'apporte la logique. Les programmes logiques sont plus déclaratifs dans le sens où ils s'efforcent d'être des spécifications logiques de "ce" qu'il faut faire plutôt que de "comment" le faire, et ils sont donc de haut niveau et plus faciles à comprendre et à maintenir. Cependant, sans qu'un algorithme réel leur soit fourni, les systèmes LP mettent en œuvre les spécifications logiques automatiquement.
Plusieurs livres couvrent les bases de la programmation linéaire, mais se concentrent principalement sur le langage Prolog, avec sa stratégie de contrôle incomplète et ses caractéristiques non logiques. En même temps, il y a généralement un manque de collections d'articles accessibles mais complètes couvrant les aspects clés de la LP déclarative. Ces aspects comprennent, entre autres, la sémantique des modèles bien fondés ou stables pour la négation, les contraintes, la LP orientée objet, les mises à jour, la LP probabiliste et les méthodes d'évaluation, y compris descendante ou ascendante, et la tabulation.
Pour les systèmes, la situation est encore moins satisfaisante, car il n'existe pas de littérature accessible qui puisse aider à former la nouvelle génération de développeurs, de praticiens et de chercheurs. Il existe quelques guides sur la machine abstraite de Warren (WAM), qui sous-tend la plupart des implémentations de Prolog, mais il y a très peu de choses sur ce qui est nécessaire pour construire un moteur d'inférence déclaratif LP à la pointe de la technologie. Comparez cela à la littérature sur les compilateurs, par exemple, où l'on peut d'abord étudier un livre sur les principes généraux et les algorithmes, puis se plonger dans les détails d'un compilateur spécifique. De telles ressources facilitent grandement la possibilité d'apporter rapidement des contributions significatives. Il y a également une pénurie d'articles sur les systèmes qui prennent en charge les langages véritablement déclaratifs, en particulier ceux qui sont liés à la logique du premier ordre, à la programmation mathématique et à la résolution de contraintes.
La LP aide à résoudre des problèmes difficiles dans un large éventail de domaines d'application, mais il manque une analyse approfondie de leur lien avec les abstractions du langage LP et les méthodes de mise en œuvre de la LP. De même, les études sur les domaines d'application difficiles de la LP, tels que la bio-informatique, le traitement du langage naturel, la vérification et la planification, sont rares.
L'objectif de ce livre est de contribuer à combler le vide susmentionné dans la littérature sur les LP. Il offre un certain nombre de vues d'ensemble sur les aspects clés de la LP qui conviennent aux chercheurs et aux praticiens ainsi qu'aux étudiants de troisième cycle. Il comprend les chapitres suivants sur la théorie, les systèmes et les applications de la LP.
Autres informations sur le livre :
| ISBN : | 9781970001990 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
