MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Frank, Ian
Basin, David A.
Bundy, Alan		dblp
dblp
dblp
Editor(s):
Neuman, B.
Horn, W.		dblp
dblp
BibTeX cite key*:
FrankBasinBundy92a
Title, Booktitle
Title*:
Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
Booktitle*:
Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Vienna, Austria
Language:
English
Event Date*
(no longer used):
?
Organization:
Event Start Date:
15 May 2024
Event End Date:
15 May 2024
Publisher
Name*:
Wiley
URL:
Address*:
New York, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
72-76
Year*:
1992
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
We present FINESSE, a system that forms optimal plans for declarer play in the game of Bridge. FINESSE adapts 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. FINESSE not only demonstrated how the idea of proof-planning could be generalised, but also proved to be a very capable bridge system. 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. Caes were even discovered in which FINESSE revealed errors in the analyses presented by recognized authorities.
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:



BibTeX Entry:
@INPROCEEDINGS{FrankBasinBundy92a,
AUTHOR = {Frank, Ian and Basin, David A. and Bundy, Alan},
 EDITOR = {Neuman, B. and Horn, W.},
 TITLE = {Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge},
 BOOKTITLE = {Proceedings of the 10th European Conference on Artificial Intelligence ({ECAI}-92)},
 PUBLISHER = {Wiley},
 YEAR = {1992},
 PAGES = {72--76},
 ADDRESS = {Vienna, Austria},
}

Entry last modified by Christine Kiesel, 08/25/2014
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]		Created
01/14/1995 06:51:30 PM
Revisions
7.
6.
5.
4.
3.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm		Edit Dates
03.09.2001 16:36:44
30.08.2001 10:11:39
30.08.2001 10:11:32
12.01.97 10:58:59
21/01/95 21:21:44