Що таке ВИСНОВУВАННЯ Англійською - Англійська переклад

• inference

Приклади вживання Висновування Українська мовою та їх переклад на Англійською

Правило висновування.
Rules of inference.

Правило висновування- правило, що виправдовує логічний крок від гіпотези до висновку.
A rule of inference is a rule justifying a logical step from hypothesis to conclusion.

Може здаватися зайвим мати два поняття висновування у цьому випадку, ⊢ та →.
It may seem redundant to have two notions of inference in this case,⊢ and→.

В контексті висновування функція втрат набуватиме форми оцінювального правила[en].
In an inference context the loss function would take the form of a scoring rule.

Предикатна логіка першого порядку використовує правила висновування для обходження з логічними кванторами.
First-order predicate logic uses rules of inference to deal with logical quantifiers.

Правило висновування- правило, що виправдовує логічний крок від гіпотези до висновку.
Transformation rules}}A rule of inference is a rule justifying a logical step from hypothesis to conclusion.

У формальній логіці(та багатьох пов'язаних галузях), правила висновування зазвичай подають у наступній стандартній формі.
In formal logic(and many related areas), rules of inference are usually given in the following standard form.

Без правила висновування(як modus ponens у даному випадку) немає дедукції або висновування.
Without an inference rule(like modus ponens in this case), there is no deduction or inference..

У формальній логіці(та багатьох пов'язаних галузях), правила висновування зазвичай подають у наступній стандартній формі.
In the setting of formal logic(and many related areas), rules of inference are usually given in the following standard form.

Тоді висновування просто розглядається як особливий випадок ухвалення рішення в умовах невизначеності, в якому дією результату є повідомлення значення.
Inference is then simply regarded as a special case of decision-making under uncertainty in which the resulting action is to report a value.

У гільбертовій системі[en] передумови та висновки правил висновування є просто формулами якоїсь мови, зазвичай із застосуванням метазмінних.
In a Hilbert system, the premises and conclusion of the inference rules are simply formulae of some language, usually employing metavariables.

Фішер виступає проти зворотної ймовірності[en] як основи для статистичних висновувань, і натомість пропонує висновування на основі функцій правдоподібності.
Fisher argues against inverse probability as a basis for statistical inferences, and instead proposes inferences based on likelihood functions.

В простих випадках, таких як щойно зазначені лінійні динамічні системи, точне висновування є легкорозв'язним(у цьому випадку з використанням фільтру Калмана);
In simple cases, such as the linear dynamical system just mentioned, exact inference is tractable(in this case, using the Kalmanfilter);

Року під час праці в Стенфордському університеті над великими застосунками в біоінформатиці Грег Купер довів, що точне висновування в баєсових мережах є NP-складним.
In 1990, while working at Stanford University on large bioinformatic applications, Cooper proved that exact inference in Bayesian networks is NP-hard.

Наприклад, правило висновування, що називається modus ponens, отримує дві передумови, одну у формі«Якщо p тоді q», а другу у формі«p», і повертає висновок«q».
For example, the rule of inference called modus ponens takes two premises, one in the form"If p then q" and another in the form"p", and returns the conclusion"q".

Використання коефіцієнту Баєса або класичної перевірки гіпотез трапляється радше в контексті висновування, ніж ухвалення рішень в умовах невизначеності.
The use of Bayes factors or classical hypothesis testing takes place in the context of inference rather than decision-making under uncertainty.

Таке висновування є аналітично непіддатливим для багатьох демографічних моделей, але автори представили шляхи симуляції зрощених дерев згідно передбачуваних моделей.
Such inference is analytically intractable for many demographic models, but the authors presented ways of simulating coalescent trees under the putative models.

Існує дві важливі відмінності в частотницькому та баєсовому підходах до висновування, що не включено до наведеного вище розгляду інтерпретації ймовірності.
There are two major differences in the frequentist and Bayesian approaches to inference that are not included in the above consideration of the interpretation of probability.

Загальну модель АРКС було описано 1951 року в дисертації Пітера Уіттла[en], який використовував математичний аналіз(ряд Лорана та аналіз Фур'є) та статистичне висновування.
The general ARMA model was described in the 1951 thesis of Peter Whittle, who used mathematical analysis(Laurent series and Fourier analysis) and statistical inference.

Було вчинено спробу повторно інтерпретувати ранні праці з фідуційної аргументації Фішера як окремий випадок теорії висновування із застосуванням верхніх та нижніх імовірностей.
An attempt was made to reinterpret the early work of Fisher's fiducial argument as a special case of an inference theory using Upper and lower probabilities.

Але дія правила висновування є винятково синтаксичною, і не потребує зберігання ніякої семантичної властивості: будь-яка функція з множин формул до формул вважається правилом висновування.
But a rule of inference's action is purely syntactic, and does not need to preserve any semantic property: any function from sets of formulae to formulae counts as a rule of inference.

(3) взяти зважене середнє перших двох моделей з ваговими коефіцієнтами 1 та 0. 368 відповідно, і потім здійснювати статистичне висновування на основі зваженої мультимоделі.[4].
(3) take a weighted average of the first two models, with weights proportional to 1 and 0.368, respectively, and then do statistical inference based on the weighted multimodel.[6].

Задля графічної компактності та для підкреслення різниці між аксіомами та правилами висновування цей розділ використовує послідовний запис(⊢) замість вертикального представлення правил.
For graphical compactness of the presentation and to emphasize the distinction between axioms and rules of inference, this section uses the sequent notation(⊢) instead of a vertical presentation of rules.

Так само, результати рандомізованих експериментів рекомендуються провідними статистичними органами як такі, що можуть уможливлювати висновування з більшою надійністю, ніж спостережні дослідження тих самих явищ.
Similarly, results from randomized experiments are recommended by leading statistical authorities as allowing inferences with greater reliability than do observational studies of the same phenomena.

Цей алгоритм поєднує алгоритм перцептрону для навчання лінійних класифікаторів з алгоритмом висновування(класично при застосуванні на послідовнісних даних- алгоритм Вітербі), і його може бути абстрактно описано наступним чином.
This algorithm combines the perceptron algorithm for learning linear classifiers with an inference algorithm(classically the Viterbi algorithm when used on sequence data) and can be described abstractly as follows.

Частотне висновування було пов'язано з частотною інтерпретацією ймовірності, а саме, що будь-який даний експеримент може вважатись одним з нескінченної послідовності можливих повторень такого ж самого експерименту, кожне з яких видаватиме статистично незалежні результати.
Frequentist inference has been associated with the frequentist interpretation of probability, specifically that any given experiment can be considered as one of an infinite sequence of possible repetitions of the same experiment, each capable of producing statistically independent results.

ВЛВ-резолюція також є не детерміністською в тому згаданому раніше сенсі, що правило вибору визначається не правилом висновування, а окремою процедурою ухвалення рішення, що може бути чутливою до динаміки процесу виконання програми.
SLD resolution is also non-deterministic in the sense, mentioned earlier, that the selection rule is not determined by the inference rule, but is determined by a separate decision procedure, which can be sensitive to the dynamics of the program execution process.