한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과71건

표시정렬

인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

DeepProbLog은 신경술어의 확률과 확률논리 규칙을 결합해 최종 질의에서 끝까지 학습합니다.

DeepProbLog: Neural Probabilistic Logic Programming

증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

설명과 예측은 서로 다른 질문입니다. 슈무엘리의 방법론 연구를 통해 모형의 목적, 사용할 수 있는 정보, 평가 방법을 함께 살펴봅니다.

To Explain or to Predict?

논증과 대화해외 학술 연구 · 연구 해설 · 일반

Goldstein·Crowell·Kuhn은 논증을 직접 만드는 수행과 제시된 논증을 평가하는 판단을 같은 도구로 보지 말아야 한다고 보여 줬다.

What Constitutes Skilled Argumentation and How Does it Develop?

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

Romera-Paredes 등은 언어모델의 프로그램 제안과 자동 평가·진화를 결합해 cap set 구성과 온라인 bin packing 휴리스틱을 탐색했습니다.

Mathematical Discoveries from Program Search with Large Language Models

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.

Propositions as Types

41–45 / 71편