Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
prime implicates
Vertaling van "prime implicates" in Frans
impliqués premiers
Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure.
En se basant sur la représentation canonique des impliqués premiers, nous caractérisons d'abord les variables conflictuelles permettant de définir une mesure d'incohérence plus fine.
We specialise this model defined in first-order logic to attribute-value languages and show that it cornes down, in this case, to the calculation of prime implicates.
Ce modèle défini en logique des prédicats se spécialise dans le cas propositionnel en un calcul des premiers impliqués.
Proofs of the termination, correctness and completeness of this algorithm are provided, which ensures that the clauses the method computes are indeed implicates and that all the prime implicates that can be constructed from the initial set are indeed returned.
Cela confirmera qu'il calcule effectivement des impliqués de la formule de départ et qu'il retourne tous les impliqués premiers qui peuvent être construits à partir de l'ensemble d'hypothèses de départ.
Abstract: This thesis introduces a generic method to compute the prime implicates of a logical formula, i.e., the most general clausal consequences of a given logical formula, in any given decidable theory.
Résumé : Le travail présenté dans cette thèse introduit une méthode générique pour calculer les impliqués premiers d'une formule logique donnée dans une théorie décidable.
Abstract: The work presented in this memoir deals with the generation of prime implicates in ground equational logic, i.e., of the most general consequences of formulae containing equations and disequations between ground terms.It is divided in three parts.
Résumé : Ce mémoire présente le résultat de mon travail de thèse sur la génération d'impliqués premiers en logique équationnelle fermée, i.e., la génération des conséquences les plus générales de formules logiques contenants des équations et des disequations entre termes sans variables.
Synoniemen voor prime implicates in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 5. Verstreken tijd: 141 ms.
