An Adaptation of Proof-Planning to Declarer Play in Bridge

Ian Frank, David Basin, Alan Bundy

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We present Finesse, a system that forms plans for declarer play in the game of Bridge. Finesse generalises the technique of proof-planning, developed at Edinburgh University in the context of mathematical theorem-proving, to deal with the disjunctive choice encountered when planning under uncertainty, and the context-dependency of actions produced by the presence of an opposition. In its domain of planning for individual suits, it correctly identified the proper lines of play found in many examples from the Bridge literature, supporting its decisions with probabilistic and qualitative information. Cases were even discovered in which Finesse revealed errors in the analyses presented by recognised authorities.
Original languageEnglish
Title of host publication10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings.
PublisherJohn Wiley & Sons Inc.
Publication statusPublished - 1992
EventEuropean Conference on Artificial Intelligence (ECAI) - Vienna, Austria
Duration: 3 Aug 19927 Aug 1992


ConferenceEuropean Conference on Artificial Intelligence (ECAI)


Dive into the research topics of 'An Adaptation of Proof-Planning to Declarer Play in Bridge'. Together they form a unique fingerprint.

Cite this