reasonable semantics oor Frans

reasonable semantics

Vertalings in die woordeboek Engels - Frans

sémantique raisonnable

voorbeelde

For this reason, semantics were employed for the analysis of documents that offered ontologies for the best possible document management with respect to content and interdependencies.
C'est la raison pour laquelle des ressources sémantiques ont été utilisées pour l'analyse de documents présentant des ontologies afin d'assurer la meilleure gestion possible des documents en termes de contenu et d'interdépendances.

A system for providing semantic reasoning includes an extended semantic model, a semantic knowledge database, and an inference engine.
La présente invention concerne un système capable d'offrir un raisonnement sémantique, ledit système comprenant un modèle sémantique étendu, une base de données de connaissances sémantique et un moteur d'inférence.

First, by reason of semantics, 1 since he is the first to make use of the term mythology.
Pour des raisons d'ordre sémantique1, d'abord, car il est le premier à faire usage du terme mythologie.

Systems and methods for semantic reasoning
Systèmes et procédés de raisonnement sémantique

For the same reasons, machine-readable semantic descriptions facilitate the discovery of pertinent Web services.
Pour les mêmes raisons, le fait d’avoir des descriptions sémantiques lisibles par des systèmes informatiques permet de rechercher des services Web appropriés.

This is exactly the same kind of semantic reasoning the Tribunal accused Tele-Direct of.
C'est exactement le même genre de raisonnement sémantique dont le Tribunal a accusé Télé-Direct.

About this time, researchers in artificial intelligence became interested in non-monotonic reasoning and its semantics.
À cette époque, les chercheurs en intelligence artificielle se sont intéressés à un raisonnement non monotone et à sa sémantique.

It therefore matters what may plausibly be accommodated under a given text, within its reasonably conceivable semantic vagueness, which ought to form the natural limit to any judicial expanse.
Il importe donc de savoir ce qu’un texte donné peut plausiblement contenir, dans le cadre de son imprécision sémantique raisonnablement concevable, comme limite naturelle à tout espace juridique.

The health management logic includes a common sense reasoning logic to semantically process NL input from the user according to rules to emulate common sense reasoning.
La logique de gestion de la santé comprend une logique de raisonnement fondée sur le bon sens qui traite sémantiquement, selon des règles, les entrées en langage naturel provenant de l'utilisateur afin de reproduire un raisonnement fondé sur le bon sens.

Logic is studied as formal deductive science (part of mathematics, including computer applications) and as a tool for investigating problems in the structure of reasoning (valid argument, semantics, hypothetical reasoning); and as that part of philosophy dealing with exact analysis of difficult concepts.
La logique est étudiée comme une science déductive formelle faisant partie des mathématiques et comprenant les applications informatiques. C'est un outil essentiel à la compréhension des problèmes posés par le processus de raisonnement (argument pertinent, sémantique, raisonnement hypothétique), et c'est également la partie de la philosophie qui s'intéresse à l'analyse rigoureuse des concepts complexes.

One way to prove the correctness of a program is by reasoning with a formal semantics.
Une manière de prouver l’exactitude d’un programme est un raisonnement basé sur une sémantique formelle.

Domain ontology quality has an impact upon the reasoning tasks which the semantic descriptors perform.
La qualité de l'ontologie de domaine a un impact sur les tâches de raisonnement effectuées par les descripteurs sémantiques.

As in other cases of legal interpretation, that principle can be used to interpret uncertain notions or categories, where there is doubt about their meaning within reasonably acceptable semantic limits of the written text — where there are several (equally plausible) options on the table.
Comme dans d’autres cas d’interprétation juridique, ce principe peut permettre d’interpréter des notions ou des catégories imprécises, lorsqu’il existe un doute sur leur signification, dans les limites sémantiques raisonnablement acceptables du texte écrit – lorsque plusieurs options (également plausibles) sont possibles.

Thirdly and lastly, the General Court’s reasoning is marred by some semantic ambiguity.
En troisième et dernier lieu, le raisonnement du Tribunal est affecté par une certaine ambiguïté sémantique.

Systems and methods for semantic inference and reasoning
Systèmes et procédés d'inférence et de raisonnement sémantiques

In the context of a knowledge base, reasoning tools use formal semantics to execute tasks such as coherency control, automatic classification, instance identification or fact deduction.
« Resource Description Framework » est un langage destiné au départ à la description formelle des métadonnées des ressources documentaires . Il a évolué pour devenir un langage générique pour la représentation de bases de connaissance interopérables sur le Web, et sert de base à des langages plus spécifiques comme OWL ou SKOS .

Problem Although in common law the phrase "to redeem the mortgage" can be translated by purger l'hypothèque, it is more appropriate, for semantic reasons, to use the term racheter l'hypothèque, which is more commonly used.
Problème Bien qu'en common law, on puisse toujours traduire l'expression to redeem the mortgage par « purger l'hypothèque », il serait sémantiquement plus approprié d'utiliser l'expression « racheter l'hypothèque », dont l'usage est plus généralisé.

The method may further include searching the citation-pairing metadata file for reasons-for- citing and cited-text-areas that are semantically similar to at least one issue to thereby group similar documents and reasons-for-citing by issue, and storing information regarding groups of semantically-similar reasons-for-citing and cited-text-areas in a plurality of issue library metadata entities.
Le procédé comprend de plus les étapes consistant : à rechercher dans le fichier de métadonnées d'appariement de citations des motifs de citation et des zones de texte cité qui sont sémantiquement similaires à au moins un sujet, afin de grouper par sujet les documents et les motifs de citation similaires, et à stocker des données relatives à des groupes de motifs de citation et de zones de texte cité sémantiquement similaires dans une pluralité d'entités de métadonnées de bibliothèque de sujets.

Tools that provide quality assurance to improve the efficiency of developing software using a Finite Input Output Semantic Model (FIOSM, or herein referred to as a Semantic Model (SM) or Semantic Model Program) and automated reasoning services compatible with a semantic model.
La présente invention concerne des outils de garantie de qualité pour améliorer l'efficacité de développement de logiciels à l'aide d'un modèle sémantique d'entrée/sortie finies (désigné modèle sémantique ou programme de modèle sémantique) et des services de raisonnement automatisés compatibles avec un modèle sémantique.

In order not to create confusion and for reasons of grammatical and semantic consistency, it is proposed that this sentence be moved immediately after the sentence which ends with the words 'cotton farmers'.
Afin de ne pas créer de confusion et pour des raisons grammaticales et sémantiques, il est proposé que cette phrase soit déplacée pour figurer immédiatement après la phrase qui se termine par les mots «producteurs de coton».

The general development of statistics tends, for semantically imperative reasons, in the construction of models and of corresponding decision procedures, to avoid strong non-verifiable assumptions by the consideration of all information at hand.
L'évolution générale des statistiques tend pour des raisons “sachlogisch” impérienses à éviter des hypothèses strictes, non vérifiables dans le cadre de l'établissement de modèles et de la construction de procédures de décision liées par l'inclusion de toutes les informations existantes.

Coarse semantic data set enhancement for a reasoning task
Amélioration d'ensemble de données sémantiques brutes pour une tâche de raisonnement

The method may include receiving, by a data enhancement module, a first set of semantic data associated with the reasoning task.
Le procédé peut comprendre la réception, par un module d'amélioration de données, d'un premier ensemble de données sémantiques associées à la tâche de raisonnement.

The evaluation service will initially be available for five types of technologies (ontology engineering tools, storage and reasoning systems, matching tools, semantic search tools, and semantic Web service tools) and for a number of evaluation criteria (such as interoperability and scalability).
Initialement, le service d'évaluation sera disponible pour cinq catégories de solutions (outils d'ingénierie ontologique, systèmes de stockage et de raisonnement, outils de mise en correspondance, outils de recherche sémantique et outils de service web sémantique) et plusieurs critères d'évaluation (comme l'interopérabilité et l'évolutivité).

A type of logic that defines formal semantics for knowledge bases and that supports reasoning .
Ensemble de ressources documentaires relatives à une base de connaissance.