An adaptation of proof-planning to declarer play in bridge:
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 uncerta...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
575 |
| Schlagworte: | |
| Zusammenfassung: | 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 probablilistic and qualitative information Cases were even discovered in which FINESSE revealed errors in the analyses presented by recognized authorities. |
| Beschreibung: | 20 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010459308 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951031s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)31283391 | ||
| 035 | |a (DE-599)BVBBV010459308 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Frank, Ian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An adaptation of proof-planning to declarer play in bridge |c Ian Frank ; David Basin ; Alan Bundy |
| 264 | 1 | |a Edinburgh |c 1992 | |
| 300 | |a 20 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 575 | |
| 520 | 3 | |a 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 probablilistic and qualitative information | |
| 520 | 3 | |a Cases were even discovered in which FINESSE revealed errors in the analyses presented by recognized authorities. | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 7 | |a Mathematics |2 sigle | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Contract bridge | |
| 650 | 4 | |a Proof theory | |
| 700 | 1 | |a Basin, David A. |e Verfasser |4 aut | |
| 700 | 1 | |a Bundy, Alan |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 575 |w (DE-604)BV010450646 |9 575 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006968353 | ||
Datensatz im Suchindex
| _version_ | 1804124890304872448 |
|---|---|
| any_adam_object | |
| author | Frank, Ian Basin, David A. Bundy, Alan |
| author_facet | Frank, Ian Basin, David A. Bundy, Alan |
| author_role | aut aut aut |
| author_sort | Frank, Ian |
| author_variant | i f if d a b da dab a b ab |
| building | Verbundindex |
| bvnumber | BV010459308 |
| ctrlnum | (OCoLC)31283391 (DE-599)BVBBV010459308 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02109nam a2200385 cb4500</leader><controlfield tag="001">BV010459308</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951031s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31283391</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010459308</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Frank, Ian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An adaptation of proof-planning to declarer play in bridge</subfield><subfield code="c">Ian Frank ; David Basin ; Alan Bundy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">University <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">575</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">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 probablilistic and qualitative information</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Cases were even discovered in which FINESSE revealed errors in the analyses presented by recognized authorities.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics and artificial intelligence</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Contract bridge</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Basin, David A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bundy, Alan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">575</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">575</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006968353</subfield></datafield></record></collection> |
| id | DE-604.BV010459308 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:51Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006968353 |
| oclc_num | 31283391 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 20 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Frank, Ian Verfasser aut An adaptation of proof-planning to declarer play in bridge Ian Frank ; David Basin ; Alan Bundy Edinburgh 1992 20 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 575 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 probablilistic and qualitative information Cases were even discovered in which FINESSE revealed errors in the analyses presented by recognized authorities. Bionics and artificial intelligence sigle Computer software sigle Mathematics sigle Mathematik Contract bridge Proof theory Basin, David A. Verfasser aut Bundy, Alan Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 575 (DE-604)BV010450646 575 |
| spellingShingle | Frank, Ian Basin, David A. Bundy, Alan An adaptation of proof-planning to declarer play in bridge Bionics and artificial intelligence sigle Computer software sigle Mathematics sigle Mathematik Contract bridge Proof theory |
| title | An adaptation of proof-planning to declarer play in bridge |
| title_auth | An adaptation of proof-planning to declarer play in bridge |
| title_exact_search | An adaptation of proof-planning to declarer play in bridge |
| title_full | An adaptation of proof-planning to declarer play in bridge Ian Frank ; David Basin ; Alan Bundy |
| title_fullStr | An adaptation of proof-planning to declarer play in bridge Ian Frank ; David Basin ; Alan Bundy |
| title_full_unstemmed | An adaptation of proof-planning to declarer play in bridge Ian Frank ; David Basin ; Alan Bundy |
| title_short | An adaptation of proof-planning to declarer play in bridge |
| title_sort | an adaptation of proof planning to declarer play in bridge |
| topic | Bionics and artificial intelligence sigle Computer software sigle Mathematics sigle Mathematik Contract bridge Proof theory |
| topic_facet | Bionics and artificial intelligence Computer software Mathematics Mathematik Contract bridge Proof theory |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT frankian anadaptationofproofplanningtodeclarerplayinbridge AT basindavida anadaptationofproofplanningtodeclarerplayinbridge AT bundyalan anadaptationofproofplanningtodeclarerplayinbridge |