논리학과 인공지능 바둑 (큰글자책)

이 책은 논리학, 인공지능, 바둑의 관계를 탐구하며, 특히 알파고 혁명 이후 이들 간의 연결을 다룬다. 논리학의 역사와 인공지능의 발전을 연결하고, 컴퓨터 바둑의 발전 과정에서의 논리학적 접근과 그 의미를 설명한다. 이 과정에서 인공지능 바둑의 발전 단계와 논리학의 응용을 중심으로 탐구한다.

논리학으로 파헤쳐 보는 인공지능 바둑의 신비

01 바둑과 가추 추리
02 반사실적 추리와 복기
03 믿음 수정 이론과 바둑
04 바둑과 생략논법
05 전략의 논리
06 알파고의 착수 결정
07 인공지능 바둑의 마음 읽기
08 원초적 논리학 대 이상적 논리학
09 전제 탐색과 증명 탐색
10 인공지능 바둑에서 찾는 가추적 생략논법의 구상

박우석

현재 한국과학기술원 디지털 인문사회과학부 명예교수다. 연세대학교 철학과를 졸업하고 뉴욕주립대학교(버펄로) 대학원에서 철학 박사 학위를 받았다. 지난 사반세기 동안 한국과학기술원에서 교수 생활을 했다. 한국논리학회 회장, 한국분석철학회 회장, 한국바둑학회 회장을 지냈다. 스프링어(Springer) 출판사의 총서 SAPERE(Studies in Applied Philosophy, Epistemology and Rational Ethics)의 자문위원이고, 국제학술지 [Al-Mukhatabat: A Trilingual Journal for Logic, Epistemology and Analytical Philosophy]의 편집위원이다. 최근 저서로 『Philosophy’s Loss of Logic to Mathematics』(2018), 『Abduction in Context』(2016), 『알프레트 타르스키』(2024)가 있고, 국내외 유수 학술지에 다수의 논문을 발표했다. 최근 번역한 책으로는 『아리스토텔레스의 초기 논리학』(2023), 『아리스토텔레스주의 실재론적 수학철학: 양과 구조의 과학으로서의 수학』(2022)이 있다.

Publication Date	2025/03/17
Pages/Weight/Size	2102909mm
ISBN	9791173074325
Categories	IT 모바일 > 인공지능