Translation of "logical inference" to Portuguese language:
Dictionary English-Portuguese
Examples (External sources, not reviewed)
| 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. |
| 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 . |
| 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. |
| 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. |
| 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. |
| 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. |
| One of Frege's stated purposes was to isolate genuinely logical principles of inference, so that in the proper representation of mathematical proof, one would at no point appeal to intuition . | Um dos propósitos declarados de Frege era isolar os princípios genuinamente lógicos de inferência, de modo que na representação adequada da prova matemática, seria sem nenhum apelo a intuição . |
| So let's think about the inference. | Então vamos pensar sobre a inferência. |
| Logical formulas are discrete structures, as are proofs, which form finite trees or, more generally, directed acyclic graph structures (with each inference step combining one or more premise branches to give a single conclusion). | As fórmulas lógicas são estruturas discretas, bem como provas, que formam árvores finitos, ou, mais em geral, dirigido gráfico acíclicos estruturas (a cada passo de inferência combina se um ou mais ramos premissas para dar uma única conclusão). |
| Logical errors | Erros lógicos |
| Logical An algorithm may be viewed as controlled logical deduction. | Lógico um algoritmo pode ser visto como uma dedução lógica controlada. |
| 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. |
| Logical Volume Management | Gestão de volumes lógicos |
| It's not logical. | Não é lógico. |
| It's not logical. | Isso não é lógico. |
| Everything is logical. | Tudo é lógico. |
| Saveguarding against logical errors | Salvaguarda contra erros lógicos |
| That would be logical. | Isso seria lógico. |
| Philosophy and Logical Syntax . | Philosophy and Logical Syntax . |
| Now, that's a logical error. | Agora, isto é um erro de lógica. |
| Super logical, you would think. | Super lógico, vocês poderiam pensar. |
| Article 2 Logical protection 1 . | Artigo 2.o Protecção lógica 1 . |
| It's the next logical step. | É o próximo passo lógico. |
| 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. |
| Well, first of all, logical progression. | Bem, antes de mais nada, progressão lógica. |
| You want a nice logical progression. | Você precisa de uma boa progressão lógica. |
| That would seem the logical conclusion. | Esta seria a conclusão lógica. |
| Not all real things are logical. | Nem todas as coisas reais são lógicas. |
| There must be a logical explanation. | Deve haver uma explicação lógica. |
| He was so logical and boring. | Ele tem uma cabeça lógica e é chato. |
| A Logical Journey From Gödel to Philosophy . | A Logical Journey From Gödel to Philosophy . |
| But it is still a logical subject. | Mas isso ainda é um sujeito lógico. |
| This article uses forms of logical notation. | Esse artigo utiliza formas da notação da Lógica. |
| 'The world' is objective, logical, universal, factual, scientific. | O mundo é objetivo, lógico, universal, factual, científico. |
| Turkish is a very regular and logical language. | O Turco é uma língua muito regular e lógica. |
| 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 . |
| Logical arguments Logical atheism holds that the various conceptions of gods, such as the personal god of Christianity, are ascribed logically inconsistent qualities. | Argumentos metafísicos Um autor escreve Argumentos lógicos O ateísmo lógico sustenta que às diversas concepções de deuses, como o deus pessoal do cristianismo, são atribuídas qualidades logicamente inconsistentes. |
| 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. |
| If something doesn't make sense, it probably isn't logical. | Se algo não faz sentido, provavelmente não é lógico. |
Related searches : By Inference - Inference About - Adverse Inference - Negative Inference - Human Inference - Phylogenetic Inference - Inference Statistics - Probabilistic Inference - Inference With - Fuzzy Inference - Inference For
