computer-go: life and death

[Tim Klinger <klinger@xxxxxxxxxxxxxxxxx>]

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