논리학과 인공지능 바둑

박우석

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

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

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

논리학과바둑의만남:인공지능시대의새로운탐구

논리학과바둑사이의관계를탐구하려는시도는"서양의논리,동양의마음"에서제기된논리의한계를넘어서고자하는열망에서비롯되었다.바둑의신비를설명하지못하는논리가과연진정한논리일수있는지에대한반문에서시작된이연구는,알파고의등장을계기로논리학,인공지능,그리고바둑이서로얽히는복잡한관계를드러내고있다.이책은네가지중요한관계-논리학,인공지능,인공지능바둑,바둑-사이의상호작용을탐구하며,각관계가내적인지외적인지에대한질문을제기한다.핵심은단순히정의가불완전하거나명확하지않다는점을인정하면서도,이러한관계들이어떻게우리의인공지능시대에대한이해를넓힐수있을지를탐색하는것이다.
인공지능의역사에서논리학은중요한역할을해왔으며,존매카시와앨런튜링등의연구에서그중요성이강조되었다.그러나인공지능의다양한분야중에서논리학에가장의존하는분야는무엇인지,그리고논리학이어떻게인공지능에적용되는지에대한논의는깊이있는분석을요구한다.특히,인공지능과논리학의관계를다룬교과서는적고,관련연구서나논문을통해논리학과인공지능의밀접한관계를더욱심도있게파악할수있다.
또한,인공지능바둑의발전은논리학과밀접하게연결되어있다.컴퓨터바둑의역사에서중요한이정표인알파고는,정책망,가치망,몬테카를로트리검색(MCTS)등의혁신적인기법을통해바둑을두는방식에서인간의방식에가까운접근을시도했다.이책은알파고의기술적발전뿐만아니라,그안에숨어있는논리적원리를깊이있게탐구한다.
결국,논리학과인공지능,그리고바둑은상호작용하는복잡한관계망을형성하며,이러한관계들을탐구하는것은인공지능의미래와그에따른인간사고의변화를이해하는데중요한단서를제공할것이다.