Home Page


My Pages at FUN

Publications

Misc AI Links

My Weather


Projects

FINESSE

MIKE


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.

Viewable With Any Browser