[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
computer-go: life and death
Some of you might be interested in my thesis titled "Adversarial
Reasoning: A Logical Approach for Computer Go". It's available for
download from my homepage: http://cs.nyu.edu/phd_students/klinger (under
Research Interests).
It's mostly about work that I did with David Mechner on a knowledge-based
life and death problem solver. It uses a logical theory of life and
death (expressed in a modal logic) coupled with pattern knowledge about
"reasonable" moves to solve uncircumscribed, beginner life and death
problems (from Kano I and II). There's also some discussion of the logic
itself and a formalization of some basic go concepts and rules.
Tim Klinger