KAIST/KSBS International Workshop “Logical Foundations of Strategic Reasoning”


The participants from our department: 9 graduate students and 2 professors


Sponsors & Host:

Main speakers:

Akinori Abe (Chiba University) , Lorenzo Magnani (University of Pavia), Ahti-Veikko Pietarinen (University of Helsinki), John Woods (University of British Columbia)

Topic areas: Science, Logic, and Mathematics


November 3 (Thursday)
9:30- 10:00  Registration
10:00-11:00 Key-note Lecture:

John Woods(University of British Columbia), Inconsistency – Management in Big Information – Systems: Tactical and Strategic Challenge to Logic”

11:00 -11:10 Coffee
11:10 -12:10 Invited Lecture

Soo-Hyun Jeong (Myongji University, Professional Baduk player 9 Dan) and Daniela Trinks (Myongji University), “The Relationship between Knowledge and Strategic Reasoning in the Game of Baduk”

12:10-13:30 Lunch
13:30-14:30 Invited Lecture

Lorenzo Magnani (University of Pavia) “Playing with Anticipations as Abductions: Strategic Reasoning in an Eco-Cognitive Perspective”

14:30-14:40 Coffee
14:40-15:20 Hye Yeon Cho (CEO of TheBaduk, Profestional Player, 9Dan), “AI’s Aesthetic Way of Approaching Humans” Logic in a Game of Baduk”
15:20 – 16:00 Miro Brada (EACH Data), “Logical Model of Personality and Cognition with Possible Applications”
16:00 – 16:10 Coffee
16:10 – 17:10 Invited Lecture

Ahti-Veikko Pietarinen (Tallinn University of Technology), “Conjectures and Abductive Reasoning in Games”

17:10 – 17:50 Dong Gun Kam (Ajou University) : “AlphaGo and AI”
November 4 (Friday):
10:00-11:00  Invited Lecture

Akinori Abe (Chiba University) : “Abductive Cognition Affordance, Curation, and Chance”

11:00 -11:10 Coffee
11:10 – 11:50 Junyong Oh (Hanyang University), “The Game of Go[Baduk], and The Art of War[Sun Tzu]
11:50 – 13:30 Lunch
13:30 – 14:30 Woosuk Park (KAIST), “ Enthymematic Interactions in Baduk”
14:30 – 15:20 Jeongmin Lee (University of Seoul), “In What Sense Is Deep Learning Learning?”
15:20 – 16:00 Jaeup Kim (UNIST), “ Rules of Baduk: Foundations, Choices and Problems”
16:00 – 16:10  Coffee
16:10 – 17:30 Panel Discussion

John Woods, Lorenzo Magnani, Ahti-Veikko Pietarinen, Akiori Abe, Dong Gun Kam, Soo Hyun Jeong, Jeaup Kim

The graduate students and two professors from the department of Baduk Studies participated in an international workshop in KAIST  Daejeon on 2016 November 3-4. The topic of the conference was “Logical foundation of strategic reasoning”.

Almost 30 scholars from 12 countries attended the conference, presenting ideas and their expertise, such as Baduk Studies, philosophy, computer science, and so on. Seven presentations were related to Baduk. I would like to thank KAIST, the Korean Society for Baduk Studies and Professor Woosuk Park for organizing the event and Myongji University giving me the opportunity to participate. The two-day conference was a wonderful opportunity to meet renown experts in various fields, including Baduk, from all over the world. It is hard to meet so many scholars at once.

The presentations were very inspirational. John Woods from the British Columbia University was particularly intriguing. His message gave me a new way of look at things because there’s always logical inconsistency in all systems.

In sum, it was an excellent conference for me, and I learned a lot from it. Also, it was great to travel with my classmates to Daejeon. It is a wonderful city to visit with great food. The visit also helped me understand more about Korea and the Korean culture.

Le Linh