검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- '''베이즈 추론'''(Bayesian inference)은 [[통계적 추론]]의 한 방법으로, 추론 대상의 [[사전 확률]]과 추가적인 정보를 통해 해당 대상의 [[사후 확률]]을 추론하는 방법이다. 베이즈 추론은 [[베이즈 확률론]] 베이즈 추론에서는 추론 대상 <math>\theta</math>에 대하여, <math>\theta</math>에 대한 [[사전 확률]] <math>p(\the ...2 KB (79 단어) - 2022년 2월 5일 (토) 13:04
- '''추론 규칙'''(推論規則, {{llang|en|rule of inference}}) 또는 '''추론 형식'''이란, [[논리학]]에서 [[논리식]]으로부터 다른 논리식을 이끄는 규칙을 말한다. ...이다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 [[메타 언어]]로 기술된다. 추론 규칙은 동어 반복, 즉 [[항진식]]으로부터 이끄는 것이 타당하다. ...3 KB (146 단어) - 2024년 11월 30일 (토) 14:07
- '''빈도주의적 추론'''은 [[도수 확률]]에 기반한 [[통계적 추론]]의 한 유형으로, "확률"을 "빈도"와 동일한 용어로 취급하고 데이터에서 발견된 결과의 빈도 또는 비율을 강조하여 표본 데이터에서 결 [[분류:통계적 추론]] ...1 KB (54 단어) - 2024년 5월 7일 (화) 02:52
문서 내용 일치
- '''베이즈 추론'''(Bayesian inference)은 [[통계적 추론]]의 한 방법으로, 추론 대상의 [[사전 확률]]과 추가적인 정보를 통해 해당 대상의 [[사후 확률]]을 추론하는 방법이다. 베이즈 추론은 [[베이즈 확률론]] 베이즈 추론에서는 추론 대상 <math>\theta</math>에 대하여, <math>\theta</math>에 대한 [[사전 확률]] <math>p(\the ...2 KB (79 단어) - 2022년 2월 5일 (토) 13:04
- '''추론 규칙'''(推論規則, {{llang|en|rule of inference}}) 또는 '''추론 형식'''이란, [[논리학]]에서 [[논리식]]으로부터 다른 논리식을 이끄는 규칙을 말한다. ...이다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 [[메타 언어]]로 기술된다. 추론 규칙은 동어 반복, 즉 [[항진식]]으로부터 이끄는 것이 타당하다. ...3 KB (146 단어) - 2024년 11월 30일 (토) 14:07
- '''빈도주의적 추론'''은 [[도수 확률]]에 기반한 [[통계적 추론]]의 한 유형으로, "확률"을 "빈도"와 동일한 용어로 취급하고 데이터에서 발견된 결과의 빈도 또는 비율을 강조하여 표본 데이터에서 결 [[분류:통계적 추론]] ...1 KB (54 단어) - 2024년 5월 7일 (화) 02:52
- ...g|en|disjunction introduction}})은 주어진 명제로부터 이를 한 성분으로 하는 [[선언 명제]]를 유도하는 [[추론 규칙]]이다. '''선언 도입'''은 다음과 같은 두 개의 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...1 KB (77 단어) - 2022년 7월 28일 (목) 02:30
- ...uction}})은 두 명제가 서로 [[함의 (논리학)|함의]]한다는 것으로부터 두 명제의 [[동치 (논리학)|동치]]를 유도하는 [[추론 규칙]]이다. '''쌍조건문 도입'''은 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (75 단어) - 2022년 7월 29일 (금) 17:46
- ...elimination}})는 두 명제의 [[동치 (논리학)|동치]]로부터 두 명제의 서로 [[함의 (논리학)|함의]]를 유도하는 [[추론 규칙]]이다. '''쌍조건문 소거'''는 다음과 같은 두 개의 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (88 단어) - 2022년 7월 29일 (금) 17:45
- ...그 두 성분을 전제로 하고 주어진 같은 명제를 결론으로 하는 두 [[가언 명제]]로부터, 이 두 가언 명제의 공통 결론을 유도하는 [[추론 규칙]]이다. 즉, “''P''이거나 ''Q''이다. 만약 ''P''라면 ''R''이다. 만약 ''Q''라면 ''R''이다. 따라서 ' '''선언 소거'''는 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (85 단어) - 2022년 7월 29일 (금) 17:54
- ...''(連言導入, {{llang|en|conjunction introduction}})은 두 명제로부터 그 [[논리곱]]을 유도하는 [[추론 규칙]]이다. '''연언 도입'''은 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (100 단어) - 2024년 12월 19일 (목) 16:22
- ...'(連言消去, {{llang|en|conjunction elimination}})은 [[연언 명제]]로부터 그 두 성분을 유도하는 [[추론 규칙]]이다. '''연언 소거'''는 다음과 같은 두 개의 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (113 단어) - 2024년 12월 19일 (목) 22:45
- '''귀추법'''(歸推法, {{llang|en|abduction}})은 가정을 선택하는 [[추론]]의 한 방법으로써, 만약 사실이라면 관계있는 증거를 가장 잘 설명할 것 같은 [[가정]]을 선택하는 방법이다. 귀추법에 의한 논증은 ...이자 기호학자인 [[찰스 샌더스 퍼스]]가 귀추법이라고 명명했다. 또는 '''가추법'''(가설적 추론), 또는 '''최선의 설명으로의 추론'''(inference to the best explanation). ...5 KB (207 단어) - 2023년 11월 1일 (수) 12:23
- ...된다. [[언어학]]에서는 함축(implicature)은 문자 그대로의 해석으로는 드러나지 않고 [[화용론]](Pragmatics)적 추론 과정을 거쳐 드러나는 발화의 속 의미를 가리킨다. 발화가 [[협력의 원칙]](cooperative principle) 따위를 위반할 때 [[분류:추론]] ...2 KB (54 단어) - 2024년 5월 19일 (일) 09:07
- ...tollens|모두스 톨렌스}})은 [[가언 명제]]와 그 결론의 [[부정 (논리학)|부정]]으로부터 그 전제의 부정을 유도하는 [[추론 규칙]]이다. 즉, “만약 ''P''라면, ''Q''이다. 그런데 ''Q''가 아니다. 따라서 ''P''가 아니다.”와 같이 추론한다. '''후건 부정'''은 다음과 같은 [[추론 규칙]]이다.<ref name="Lover">{{서적 인용 ...2 KB (164 단어) - 2025년 3월 14일 (금) 02:10
- ...去, {{llang|en|implication elimination}})는 [[가언 명제]]와 그 전제로부터 그 결론을 유도해내는 [[추론 규칙]]이다. 즉, “만약 ''P''이면, ''Q''이다”와 “''P''이다”에서 “Q이다”를 추론한다.<ref>{{서적 인용 | 성= '''전건 긍정'''은 다음과 같은 [[추론 형식]]이다.<ref name="Lover">{{서적 인용 ...2 KB (103 단어) - 2022년 7월 28일 (목) 00:53
- {{Infobox mathematical statement|type=[[추론 규칙]]|field=[[명제 논리]]|statement=만약 전건이 후건과 후건의 부정을 동시에 함축하면, 그 전건은 모순이다.|sym '''부정 도입'''({{llang|en|negation introduction}})이란, [[명제 논리]] 분야에서의 [[추론 규칙]] (혹은 변환 규칙) 중 하나이다. ...3 KB (165 단어) - 2024년 12월 2일 (월) 02:03
- ...isbn = 9780471722168 }}</ref> [[순위|순위통계]]와 함께 순서통계량은 [[비모수 통계]]와 [[통계적 추론|추론]]에서 가장 중요한 도구들의 하나에 속한다. ...2 KB (75 단어) - 2024년 5월 8일 (수) 21:13
- ...''함의 도입'''(含意導入, {{llang|en|implication introduction}})은 [[가언 명제]]를 유도하는 [[추론 규칙]]이다. [[분류:추론 규칙]] ...2 KB (183 단어) - 2024년 12월 21일 (토) 04:09
- ...sh \Delta,\Lambda</math>를 추론해낼 수 있다는 규칙이다. 곧 이러한 상황에서는 논리식 <math>A</math>를 추론 과정에서 '잘라' 버릴 수 있다는 규칙이다. ...math>와 <math> \Pi, A \vdash B</math>로부터 <math>\Gamma, \Pi \vdash B</math>를 추론 가능하다는 시퀀트 증명에서, <math>B</math>를 정리(theorem)라 한다면 그 증명에 쓰인 보조정리(lemma) <math ...4 KB (123 단어) - 2022년 2월 12일 (토) 09:05
- 다음은 'A이면 B이다' 의 [[추론 형식|추론형식]]을 사용하기 위해 이중부정 [[논리기호]]를 도입하는 유도과정이다. ...1 KB (48 단어) - 2024년 7월 25일 (목) 03:17
- === 공리와 추론 규칙 === 명제 논리의 [[추론 규칙]]과 [[공리 기본꼴]]들은 (임의의 논리식을 나타내는 기호 <math>P</math>, <math>Q</math>, <math> ...10 KB (688 단어) - 2025년 3월 3일 (월) 06:04
- ...이 정리에 의하면 [[모집단]]이 [[정규 분포]]를 따르지 않아도 이 분포는 [[정규 분포]]를 따른다. 이 것을 이용해 [[통계적 추론]]을 하게 된다. [[표준 오차]]는 이 분포의 [[표준 편차]]이다. [[분류:통계적 추론]] ...3 KB (139 단어) - 2024년 5월 19일 (일) 07:53