Translation of "inductive inference" to Portuguese language:

Dictionary English-Portuguese

Inference - translation :

Keywords : Inferência Insinuação Dedução Interferência Conclusões

Examples (External sources, not reviewed)

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.
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.
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.
He first described his results at a Conference at Caltech in 1960, and in a report, February 1960, A Preliminary Report on a General Theory of Inductive Inference.	Ele descreveu pela primeira vez os seus resultados em uma conferência em Caltech em 1960, e em um relatório, em fevereiro de 1960, Relatório Preliminar sobre a Teoria Geral da Inferência Indutiva .
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 Continuum of Inductive Methods .	The Continuum of Inductive Methods .
Studies in inductive logic and probability, Vol.	Studies in inductive logic and probability, Vol.
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.
So let's think about the inference.	Então vamos pensar sobre a inferência.
522 526 Li, M., and Vitanyi, P. An Introduction to Kolmogorov Complexity and its Applications , Springer Verlag, New York, 1997 Solomonoff, R.J. (1960) A Preliminary Report on a General Theory of Inductive Inference , Technical Report ZTB 138, Zator Company, Cambridge, Mass.	522 526 Li, M., and Vitanyi, P. An Introduction to Kolmogorov Complexity and its Applications , Springer Verlag, New York, 1997 Solomonoff, R.J. (1960) A Preliminary Report on a General Theory of Inductive Inference , Technical Report ZTB 138, Zator Company, Cambridge, Mass.
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.
W. Stanley Jevons 1880 Elementary Lessons in Logic Deductive and Inductive.	W. Stanley Jevons 1880 Elemetnary Lessons in Logic Deductive and Inductive.
William Whewell, in his influential History of the Inductive Sciences of 1837, found Kepler to be the archetype of the inductive scientific genius in his Philosophy of the Inductive Sciences of 1840, Whewell held Kepler up as the embodiment of the most advanced forms of scientific method.	William Whewell no seu livro History of the Inductive Sciences (1837), notou Kepler como o arquétipo do gênio científico indutivo em Philosophy of the Inductive Sciences (1840), Whewell considerou Kepler como a personificação das mais avançadas formas de método científico.
Despite its name, mathematical induction is not a form of inductive reasoning.	Apesar do nome, a indução matemática é uma forma de raciocínio dedutivo e é totalmente rigorosa.
Electrical circuits in plasmas store inductive (magnetic) energy, and should the circuit be disrupted, for example, by a plasma instability, the inductive energy will be released as plasma heating and acceleration.	Os circuitos elétricos nos plasmas armazenam energia indutiva (magnética) e, no caso de rompimento do circuito, por exemplo por uma instabilidade do plasma, a energia indutiva é liberada como aquecimento e aceleração do plasma.
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.
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.
Logic is often divided into three parts inductive reasoning, abductive reasoning, and deductive reasoning.	A lógica é frequentemente dividida em três partes o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo.
) and, logos (the use of reasoning, either inductive or deductive, to construct an argument).	Elocutio (Elocução, correspondente grego da lexis), é a composição linguística do discurso, é a textualização.
In particular, the rise of emerging markets has challenged traditional Western deductive and inductive logic.	Em particular, a ascensão dos mercados emergentes tem desafiado a tradicional lógica dedutiva e indutiva ocidental.
By inductive reasoning, if we know the cause and effects, we can infer the principles.	Através do raciocínio indutivo, se conhecermos as causas e os efeitos, podemos inferir os princípios.
Inductive types A system of type theory requires some basic terms and types to operate on.	Note que teoria dos tipos, como descrita daqui para frente, se refere a disciplinas de tipagem estática.
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 .
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 .
About 200 years before, Francis Bacon and then, later, Isaac Newton, had proposed an inductive scientific method.	Aproximadamente 200 anos antes, Francis Bacon e, mais tarde, Isaac Newton, tinham proposto o método científico indutivo.
Mark Burgin argues that super recursive algorithms such as inductive Turing machines disprove the Church Turing thesis.	Mark Burgin argumenta que algoritmos super recursivos como máquinas de Turing indutivas refutam a tese de Church Turing.
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.
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.
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.
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.
This is the procedure of thought from the parts to the whole or else from the apparent to non apparent (inductive reasoning).	No renascimento muitas de suas ideias foram aceitas (por exemplo, Giordano Bruno), e tiveram um papel importante durante o iluminismo.
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.
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 .
Sir Francis Bacon was critical in the historical development of the scientific method his works established and popularized an inductive methodology for scientific inquiry.	Sir Francis Bacon, crítico do desenvolvimento histórico do método científico, escreveu obras que estabeleceram e popularizaram uma metodologia indutiva para a pesquisa científica.

Exibir esta página em português