R-Calculus: A Logic of Belief Revision
Ce livre présente de nouveaux modèles basés sur le R-calcul et les théories de révision des croyances pour traiter des données volumineuses et changeantes.
Il étend le R-calcul de la logique du premier ordre à la logique propositionnelle, aux logiques de description, à la logique modale et à la programmation logique, et de la sémantique du changement minimal au changement minimal par sous-ensemble, au changement minimal par pseudo-sous-formule et au changement minimal par déduction (les deux derniers changements minimaux sont nouvellement définis). Il prouve des théorèmes de solidité et de complétude en ce qui concerne les changements minimaux dans ces logiques.
Pour rendre le R-calcul calculable, un R-calcul approximatif est donné qui utilise la méthode de priorité des blessures finies dans la théorie de la récursion. En outre, deux applications du R-calcul sont données à la théorie des défauts et aux réseaux d'héritage sémantique. Ce livre offre un riche mélange de théorie et de pratique.
Il convient aux étudiants, aux chercheurs et aux praticiens dans le domaine de la logique. Il est également très utile pour tous ceux qui s'intéressent aux données, à la numérisation, à l'exactitude et à la cohérence de l'information, à la logique modale, à la logique non monotone, à la logique décidable et indécidable, à la programmation logique, à la logique de la description, à la logique par défaut et aux réseaux d'héritage sémantique.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)