KAIST/KSBS International Workshop “Logical Foundations of Strategic Reasoning”
The participants from our department: 9 graduate students and 2 professors
Sponsors & Host:
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)|
John Woods(University of British Columbia), Inconsistency – Management in Big Information – Systems: Tactical and Strategic Challenge to Logic”
|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”
Lorenzo Magnani (University of Pavia) “Playing with Anticipations as Abductions: Strategic Reasoning in an Eco-Cognitive Perspective”
|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: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.