Titre original :
Intensional First-Order Logic
Contenu du livre :
Ce livre présente les propriétés des extensions conservatrices de la logique du premier ordre (FOL) à la nouvelle logique du premier ordre intensionnel (IFOL).
Cette extension permet d'utiliser une sémantique intensionnelle pour les concepts, offrant ainsi de nouveaux systèmes informatiques plus intelligents. Dans la mesure où elle est conservatrice, elle préserve les applications logicielles et constitue une avancée fondamentale par rapport aux bases de données RDB actuelles, aux Big Data avec NewSQL, aux bases de données à contraintes, aux systèmes P2P et aux applications du Web sémantique.
En outre, la version multivaluée d'IFOL peut prendre en charge les applications d'intelligence artificielle basées sur des logiques multivaluées.
Autres informations sur le livre :
| ISBN : | 9783110994940 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
