O Que é REGRAS DE INFERÊNCIA em Inglês

• rules of inference

Exemplos de uso de Regras de inferência em Português e suas traduções para o Inglês

Há algumas regras de inferência que utilizam o quantificador universal.
There are several rules of inference which utilize the universal quantifier.

Um sistema de axioma é boa quando todos os seus axiomas são válidas e as suas regras de inferência são sólidos.
An axiom system is sound when all its axioms are valid and its inference rules are sound.

Essas regras de inferência são escritas com uma lista de sequentes acima e abaixo de uma linha.
These inference rules are written with a list of sequents above and below a line.

Iniciaremos o estudo do cpo, verificando que suas regras de inferência são uma extensão das regras do cs.
Beggining the study of cpo, checking their inference rules that are an extension of the rules of cs.

Regras de inferência são freqüentemente formuladas como regras esquematizadas pelo uso de variáveis universais.
Rules of inference are often formulated as schemata employing metavariables.

Fixaremos uma axiomatização do cálculo de predicados: axiomas lógicos e regras de inferência.
We fix some axiomatization(i.e. a syntax-based, machine-manageable proof system) of the predicate calculus: logical axioms and rules of inference.

Lógica Default tenta formalizar regras de inferência como esta sem mencionar explicitamente todas suas exceções.
Default logic aims at formalizing inference rules like this one without explicitly mentioning all their exceptions.

Além disso, observe que a contraposição é um método de inferência que pode exigir o uso de outras regras de inferência.
Also, notice that contraposition is a method of inference which may require the use of other rules of inference.

Além disso, as regras de inferência são formuladas de tal modo a evitar os paradoxo da teoria Dempster-Shafer.
In addition, the inference rules are formulated in such a way as to avoid the paradoxes of Dempster-Shafer theory.

No entanto, existem outros sistemas de primeira ordem nos quais novas regras de inferência são adicionadas e para o qual o teorema da dedução é falho.
However, there are first-order systems in which new inference rules are added for which the deduction theorem fails.

A aritmética de Heyting adota o axioma da aritmética de Peano(PA-sigla inglesa), mas usa a lógica intuicionista como suas regras de inferência.
Heyting arithmetic adopts the axioms of Peano arithmetic(PA), but uses intuitionistic logic as its rules of inference.

A lógica de Hoare fornece axiomas e regras de inferência para todas as construções de uma simples linguagem de programação imperativa.
Hoare logic provides axioms and inference rules for all the constructs of a simple imperative programming language.

Deste modo, um axioma é uma base elementar para um sistema de lógica formal que junto com as regras de inferência define um sistema dedutivo.
Thus, an"axiom" is an elementary basis for a formal logic system that together with the rules of inference define a deductive system.

Como a quantidade de regras de inferência presentes nos FIS 1, 2, 3 e 4 é de, respectivamente, 27, 81, 27 e 25, foi necessário o ajuste de 160 regras.
The quantities of inference rules presents at FIS 1, 2, 3 and 4 are, respectively, 27, 81, 27 and 25, total of 160 rules..

Se uma proposição pode ser obtida de proposições verdadeiras alcançáveis por meio de regras de inferência, ela é uma proposição verdadeira alcançável.
If a proposition can be obtained from true reachable propositions by means of inference rules, it is a true reachable proposition.

Verdade lógica e regras de inferência==O conceito de verdade lógica é muito próximo do conceito de uma regra de inferência lógica.
Logical truth and rules of inference==The concept of logical truth is closely connected to the concept of a rule of inference.

Harmonia Lógica, é um nome inventado por Sir Michael Dummett, é uma suposta restrição sobre as regras de inferência que podem ser usadas em um determinado sistema lógico.
Logical harmony, a name coined by Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.

Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento.
Rules of inference are syntactical transform rules which one can use to infer a conclusion from a premise to create an argument.

Um sistema dedutivo para uma lógica é um conjunto de regras de inferência e axiomas lógicos que determinam que sequências de fórmulas constituem demonstrações válidas.
A deductive system for a logic is a set of inference rules and logical axioms that determine which sequences of formulas constitute valid proofs.

Regras de Inferência Default Alternativas===As seguintes regras de inferência default alternativas são todas baseadas na mesma sintaxe do sistema original.
Alternative default inference rules===The following alternative inference rules for default logic are all based on the same syntax as the original system.

A maioria das variantes de Sistemas de Hilbert são constituídos de um balanceamento característico entre axiomas lógicos e regras de inferência.
Most variants of Hilbert systems take a characteristic tack in the way they balance a trade-off between logical axioms and rules of inference.

Depois da fuzificação, os valores fuzificados são aplicados a um conjunto de regras de inferência que estabelecem relações de causa e efeito entre as variáveis de entrada e de saída.
After the fuzification, fuzzy values are applied to a set of inference rules, establishing cause-effect relations between the input and output variables.

Sistemas de Hilbert podem ser caracterizados pelo grande número de axiomas lógicos e um pequeno conjunto de regras de inferência.
Hilbert systems can be characterised by the choice of a large number of schemes of logical axioms and a small set of rules of inference.

Desde que haja mais de dois valores de verdade, regras de inferência podem ser destinadas a preservar mais do que apenas o que corresponde(no sentido relevante) para a verdade.
Since there are more than two truth values, rules of inference may be intended to preserve more than just whichever corresponds(in the relevant sense) to truth.

O conjunto zeta Z{\displaystyle\mathrm{Z}} é um conjunto finito de regras de transformação que são conhecidas como regras de inferência do ponto de vista das aplicações lógicas.
The zeta set Z{\displaystyle\mathrm{Z}} is a finite set of transformation rules that are called inference rules when they acquire logical applications.

As regras de inferência que melhor representam os valores de entrada fuzificados serão então ativadas, determinando assim um conjunto de hipóteses sobre o comportamento do problema modelado.
The activation of inference rules will happen to that which best represent the input fuzzy values, thereby determining a set of hypothesis about the behavior of modeled problem.

Sistemas Dedutivos==Um sistema dedutivo para uma lógica é um conjunto de regras de inferência e axiomas lógicos que determinam que sequências de fórmulas constituem demonstrações válidas.
Deductive systems==A deductive system for a logic is a set of inference rules and logical axioms that determine which sequences of formulas constitute valid proofs.

Por exemplo, em uma lógica de três valores, por vezes, os dois maiores valores de verdade(quando eles são representados como por exemplo, números inteiros positivos) são designados e as regras de inferência preservam esses valores.
For example, in a three-valued logic, sometimes the two greatest truth-values(when they are represented as e.g. positive integers) are designated and the rules of inference preserve these values.

Um sistema de representação do conhecimento adequado e que permite processamento computacional(18) e ainda estabelece regras de inferência robustas para a prática médica é a ontologia(31-34), modelo no qual o Radlex foi desenvolvido.
Ontology is an appropriate knowledge representation system which allows for computer processing(18) and also establishes robust inference rules for the medical practice31-34.

Walsh spectrum:(2,0,0,2)Nãolinearidade: 0(a função é linear)==Regras de inferência==Como todos os conectivos em lógica de primeira ordem, a bicondicional tem regras de inferência que governam seu uso em provas formais.
Walsh spectrum:(2,0,0,2)Nonlinearity: 0(the function is linear)==Rules of inference==Like all connectives in first-order logic, the biconditional has rules of inference that govern its use in formal proofs.

Como usar "regras de inferência" em uma frase

A dificuldade com domínios vazios está em certas regras de inferência que permitem que quantificadores sejam externalizados sobre conectivos lógicos.

GERAÇÃO DO CONJUNTO DE REGRAS DE INFERÊNCIA do conhecimento de um especialista em regras do tipo se entrada (ERRO e DERRO) e uma variável de saída (SAIDA).

A validade do silogismo depende exclusivamente da forma que as premissas e conclusão estão dispostas regras de inferência - exercícios.

Regras de inferência: definem como deduzir proposições.

Linguagens para a construção de regras de inferência: RuleML, DAML-L, XRML, RFML, URML, AORML entre outras.

Este motor de inferência é, portanto, um conjunto de regras de inferência ou raciocínio.

Uma das regras de inferência clássica é chamada Modus Ponens, que, em latim, significa “modo de afirmar”.

Argumentos que não cumprem as regras de inferência válida.