An Adaptation of Proof-Planning Techniques to Declarer Play
in the Game of Bridge
Ian Frank
MSc Thesis, Department of Artificial Intelligence, University of
Edinburgh, 1991.
Abstract:
The technique of proof plans has been developed by the
Mathematical Reasoning Group at Edinburgh University to find proofs for
mathematical theorems. This thesis describes a planning system that
adapts these proof-planning techniques to the
problem of controlling the search involved in forming
plans for single-suit declarer play in the game of Bridge.
We also describe a further analysis which is conducted by the system
in order to decide the optimum way in which these plans should be
executed. This analysis, which is based on the
principle of `best defence' by the opposition, produces a sound
basis for making an informed disjunctive choice between available tactics
when more than one line of play is applicable to a game state.
The representation upon which these choices of tactics are made
is fully capable of supporting the generation of
convincing textually-based explanations for the system's actions.
|