추론 규칙 oor Engels

추론 규칙

Vertalings in die woordeboek Koreaans - Engels

rule of inference

systematic logical process capable of deriving a conclusion from hypotheses

voorbeelde

전건 긍정의 형식은 아주 흔히 쓰는 추론 규칙의 일종으로 그 형태는 다음과 같다: 만일 P 이면, Q 이다.
An argument based on appeal to consequences generally has one of two forms: If P, then Q will occur.

논리학 및 증명이론에서, 자연 연역(自然演繹, natural deduction)이란 증명 연산의 일종으로, 논리적 추론이 "자연스러운" 추론 방법과 밀접히 연관된 추론 규칙으로 표현된다.
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning.

기존에는 모든 만일의 사태를 대비해 전문가가 규칙을 일일이 해독해야 했습니다. 그러나 이제는 컴퓨터에게 예시만 던져주고 스스로 규칙을 추론하게 합니다.
So instead of an expert deciphering, step by step, a rule for every contingency, what you do now is you give the computer examples and have it infer its own rules.

보통 게임을 하려면 모든 규칙을 적어주어야 하겠죠. 그러나 알파고의 경우는 다릅니다. 시스템이 백만 개도 넘는 기보를 공부해서 스스로 규칙을 추론했고 그렇게 세계 최고의 바둑 기사를 이겼죠.
Normally, in game playing, you would really write down all the rules, but in AlphaGo's case, the system looked over a million games and was able to infer its own rules and then beat the world's residing Go champion.

그리고 AIVA가 그러한 추론능력에 뛰어나게 되면 특정 음악의 스타일에 따라서 수학적인 규칙들, 수학적인 규칙들의 집합을 구성하어 자신 고유의 곡들을 만들어냅니다.
And once AIVA gets good at those predictions, it can actually build a set of mathematical rules for that style of music in order to create its own original compositions.

I 및 II propositional 미적분과 우려 장, tautologies 토론과 의사 결정 문제, 이중성, 일관성과 완성도, 그리고 공리계과 추론의 규칙의 독립.
Chapters I and II are concerned with the propositional calculus, discussing tautologies and the decision problem, duality, consistency and completeness, and independence of the axioms and rules of inference.

시맨틱 웹은 다음과 같은 기술들로 구성되어 있다. 명시적 메타데이터 (explicit metadata)는 메타데이터와 추론에 필요한 규칙 등을 XML(eXtensible Markup Language), RDF(Resource Description framework)와 같은 언어 기술을 통해 표현한다.
The Semantic Web takes the solution further. It involves publishing in languages specifically designed for data: Resource Description Framework (RDF), Web Ontology Language (OWL), and Extensible Markup Language (XML ).

... 게오르그 칸토어, 누구의 아이디어 Frege의, 그사 람은 무조건적 경멸에 쓰는 전에 Frege의 책을 이해조차하지 않았다면 가까운 있던 수학자에 의해 강력 한 적이있다. Grundlagen 이외의 기술 직장, 상징없이는 서면과 Frege가와 산술의 기본 개념을 설정하는 정확한 논리적 프레임 워크를 정의하고 자신의 목표의 실현을 향한 첫 번째 단계는 본 교정의 유일한 스케치와이었습니다 산술의 규칙을 추론할.
... was a devastatingly hostile one by Georg Cantor , the mathematician whose ideas were the closest to Frege's, who had not bothered to understand Frege's book before subjecting it to totally unmerited scorn. The Grundlagen was a non-technical work, written without symbolism and with only sketches of proofs, which Frege saw as a first step towards the realisation of his goal of defining a precise logical framework in which to set up the basic concepts of arithmetic and to deduce the rules of arithmetic.

오히려, 이것은 자동적인 결론 (논리적인 추론)을 이끌어내는 어떤 문장들을 사용하기 위한 용어와 규칙 사이에 공식적으로 정해진 관계들을 의미한다.
Rather, it refers to formally stated relationships between terms and rules for using such statements to draw automatic conclusions (logical inferences).