Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




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

URL of the conference:


URL for downloading the paper:


Event Address*:

Vienna, Austria

Language:

English

Event Date*
(no longer used):

?

Organization:


Event Start Date:

20 September 2019

Event End Date:

20 September 2019

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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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