통합검색

두 게임의 결과가 같아도, 상대에게 남기는 선택권은 다를까요?

두 게임이 최종 결과 p·q·r을 똑같이 내놓아도, 한 선수가 상대에게 허용하는 결과 집합은 다를 수 있습니다. 기본 능력의 정의로 두 나무를 끝까지 비교합니다.

Johan van Benthem · Nick Bezhanishvili · Sebastian Enqvist, A New Game Equivalence, its Logic and Algebra (2019)

“기계가 생각한다”를, 어떤 시험으로 바꿀 수 있을까요?

앨런 튜링의 「Computing Machinery and Intelligence」(1950)를 따라 모방 게임, 디지털 컴퓨터의 범위, 아홉 반론과 학습 기계 구상을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

A. M. Turing, Computing Machinery and Intelligence (1950)

중세 논리학자는 가정 하나를 끝까지 지킬 수 있었을까?

13~14세기 의무 논쟁의 positio 형식을 읽고, 한 가정과 규칙을 받아들였을 때 다음 문장을 받아들일 수 있는지 가능한 경우로 살핍니다.

공격받은 논증도 공격자를 막으면 받아들일 수 있을까?

Dung의 추상 논증틀에서 공격·방어·허용가능성·근거 확장을 구분하고, 주장 내용 대신 공격 관계만으로 수용 집합을 계산합니다.

On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games

셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?

스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.

Skolem’s Paradox