Translation of "inference rules" to Portuguese language:

Dictionary English-Portuguese

Inference - translation :

Keywords : Inferência Insinuação Dedução Interferência Conclusões Regras Regras Normas Regra Quebrar

Examples (External sources, not reviewed)

An example of this is the use of the rules of inference found within symbolic logic.	Na lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.
Incorrect inference An incorrect inference is known as a fallacy.	Inferência incorreta Uma inferência incorreta é conhecida como uma falácia.
The validity of an inference depends on the form of the inference.	A validade de uma inferência depende da forma da inferência.
The deductive apparatus may consist of a set of transformation rules which may be interpreted as valid rules of inference or a set of axioms, or have both.	O sistema dedutivo pode consistir num conjunto de regras de transformação que possam ser interpretados como regras válidas de inferência ou um conjunto de axiomas, ou tem ambos.
if a proposition can be obtained from true reachable propositions by means of inference rules, it is a true reachable proposition.	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.
In many definitions of logic, logical inference and inference with purely formal content are the same.	Em muitas definições de lógica, inferência lógica e inferência com conteúdo puramente formal são a mesma coisa.
Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system.	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.
So let's think about the inference.	Então vamos pensar sobre a inferência.
Formal Logic or The Calculus of Inference .	Formal Logic or The Calculus of Inference .
And the key idea to Bayesian inference is you have two sources of information from which to make your inference.	E a ideia central da inferência bayesiana é que há duas fontes de informação das quais é feita nossa inferência.
In propositional logic, these symbols can be manipulated according to a set of axioms and rules of inference, often given in the form of truth tables.	Em lógica proposicional, esses símbolos podem ser manipulados de acordo com um conjunto de axiomas e regras de inferência, muitas vezes dadas na forma de tabelas verdade.
And what it means is we really are Bayesian inference machines.	E o que isso significa é que nós somos máquinas de inferência bayesiana.
Formal logic is the study of inference with purely formal content.	Lógica formal é o estudo da inferência com conteúdo puramente formal.
Inductive inference This is the recursion theoretic branch of learning theory.	Referência indutiva Esse é o ramo na teórico recursivo da teoria da aprendizagem.
An inference system's job is to extend a knowledge base automatically.	O trabalho de um sistema de inferência é a de estender uma base de conhecimento automaticamente.
(wrong)When a valid argument is used to derive a false conclusion from false premises, the inference is valid because it follows the form of a correct inference.	Quando um argumento válido é usado para derivar uma conclusão falsa de premissas falsas, a inferência é válida, pois segue a forma de uma inferência correta.
Role in mathematical logic Deductive systems and completeness A deductive system consists of a set formula_56 of logical axioms, a set formula_57 of non logical axioms, and a set formula_58 of rules of inference .	Papel na lógica matemática Sistema dedutivo e completudeUm sistema dedutivo consiste, de um grupo formula_56 de axiomas lógicos, um conjunto formula_57 de axiomas não lógicos, e um conjunto formula_58 de regras de inferência.
Automatic logical inference AI systems first provided automated logical inference and these were once extremely popular research topics, leading to industrial applications under the form of expert systems and later business rule engines.	Uma vez que estes já foram temas de investigação extremamente popular, levaram a aplicações industriais sob a forma de sistemas especialistas e depois business rule engines .
Facts about the problem domain are expressed as logic formulae, and programs are executed by applying inference rules over them until an answer to the problem is found, or the collection of formulae is proved inconsistent.	Na programação lógica, fatos sobre o domínio do problema são expressados como fórmulas lógicas, e os programas são executados ao se aplicar regras de inferência nas fórmulas até que uma resposta é encontrada, ou a coleção de fórmulas é provada inconsistente.
This is now thought to be an unsupported inference from interpretations of the Eclogues .	Hoje isso é visto como uma inferência sem suporte baseada em interpretações das Éclogas .
This set is called 'true reachable propositions' because in non constructive approaches to the foundations of mathematics, the set of true propositions may be larger than the set recursively constructed from the axioms and rules of inference.	Esse conjunto é chamado 'proposições verdadeiras alcançáveis' porque em aproximações não construtivas aos fundamentos da matemática, o conjunto das proposições verdadeiras é maior que o conjunto recursivamente construído a partir de axiomas e regras de inferência.
Solomonoff, R.J. (1964) A Formal Theory of Inductive Inference, Information and Control, v. 7, No.	Solomonoff, R.J. (1964) A Formal Theory of Inductive Inference, Information and Control, v. 7, No.
Abductive inference is pragmatic, looking only at outcomes, guessing at the rule, and identifying the cause.	A inferência abdutiva é pragmática, olha apenas para os resultados, tenta adivinhar a regra e identificar a causa.
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.	Lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica.
Inductive categorical inference Popper held that science could not be grounded on such an inferential basis.	Popper defendeu que a ciência não poderia ser baseada em tal inferência.
Deductive inference enables us to predict effects if we know the principles (the rule) and the cause.	A inferência dedutiva permite nos prever os efeitos, caso conheçamos os princípios (a regra) e as causas.
Historical development Early Greeks The logico deductive method whereby conclusions (new knowledge) follow from premises (old knowledge) through the application of sound arguments (syllogisms, rules of inference), was developed by the ancient Greeks, and has become the core principle of modern mathematics.	Desenvolvimento Histórico Visão Clássica O método lógico dedutivo clássico consistia em sistemas a partir dos quais premissas eram seguidas de conclusões através da aplicação de argumentos (silogismos, regras de inferência).
Science is the process used everyday to logically complete thoughts through inference of facts determined by calculated experiments.	A ciência é o processo usado todos os dias para completar os pensamentos logicamente através de inferência de fatos determinados por experimentos calculados.
One of the early innovations of expert systems shells was to integrate inference engines with a user interface.	Motor de inferência O motor de inferência é um elemento essencial para a existência de um sistema especialista.
Informal logic may be said to emphasize the study of argumentation, whereas formal logic emphasizes implication and inference.	Lógica informal pode chamar a atenção para o estudo da argumentação, que enfatiza implicação, lógica formal e de inferência.
Both autistic groups performed worse than controls at complex language tasks such as figurative language, comprehension and inference.	Ambos os grupos autistas desempenharam pior do que os controles nas tarefas complexas da linguagem como a linguagem figurativa, compreensão e inferência.
Unconscious inference Hermann von Helmholtz is often credited with the first study of visual perception in modern times.	Inferência inconsciente Hermann von Helmholtz é frequentemente citado como o fundador do estudo científico da percepção visual.
Inference is the act or process of deriving logical conclusions from premises known or assumed to be true.	Consiste, portanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras.
rules .	Um Consultor de Ética nomeado pela Comissão Executiva garante uma interpretação coerente destas regras .
Rules	Regras
CONSOLIDATION RULES Article 23 General consolidation rules 1 .	REGRAS DE CONSOLIDAÇÃO Artigo 23.o Regras gerais de consolidação 1 .
An inference can be valid even if the parts are false, and can be invalid even if some parts are true.	Uma inferência pode ser válida, mesmo se as partes são falsas, e pode ser falsa, mesmo se as partes são verdadeiras.
Bayesian inference computes the posterior probability according to Bayes' theorem formula_1where formula_2 denotes a conditional probability more specifically, it means given .	A inferência bayesiana calcula a probabilidade posterior de acordo com a regra de Bayes formula_1onde formula_2 significa dado .
RULES ON COMPETITION SECTION 1 RULES APPLYING TO UNDERTAKINGS	AS REGRAS DE CONCORRÊNCIA SECÇÃO 1 AS REGRAS APLICÁVEIS ÀS EMPRESAS
The evidence was seen as supporting the inference from the Fighting Dinosaurs fossil that Protoceratops was part of the diet of Velociraptor .	A evidência foi vista como apoio à inferência a partir do fóssil Luta de Dinossauros que o Protoceratops fazia parte da dieta do Velociraptor .
Another type of the unconscious inference hypothesis (based on probabilities) has recently been revived in so called Bayesian studies of visual perception.	A hipótese da inferência inconsciente foi recentemente retomada nos chamados Estudos Bayesianos de percepção visual.
Proponents of this approach consider that the visual system performs some form of Bayesian inference to derive a perception from sensory data.	Proponentes dessa abordagem consideram que o sistema visual executa alguma forma de inferência bayesiana para derivar uma percepção do estímulo sensorial.
Edit Rules	Editar
Edit Rules	Editar as Regras
Complementary rules	o

Exibir esta página em português