Guaranteeing Properties for E-commerce Systems
Agents in an electronic commerce system act on behalf of potentially competing individuals and organisations. It is proposed that such systems will be used in scenarios where legally binding contracts are made or money is exchanged by the agents on behalf of their owners. Agent owners may be relucta...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 272 |
|---|---|
| container_issue | |
| container_start_page | 253 |
| container_title | |
| container_volume | 2531 |
| creator | Guerin, Frank Pitt, Jeremy |
| description | Agents in an electronic commerce system act on behalf of potentially competing individuals and organisations. It is proposed that such systems will be used in scenarios where legally binding contracts are made or money is exchanged by the agents on behalf of their owners. Agent owners may be reluctant to delegate tasks involving uncertain and possibly detrimental outcomes to an agent without assurances about the system’s properties. It may be a requirement, for example, that an agent cannot profit from lying to its peers. This paper demonstrates how solutions from game theory together with computing theories can be used to publicly specify rules and prove desirable properties for agent systems. This has the potential to increase the range of applications in which agent owners may be willing to delegate to their embedded counterparts. |
| doi_str_mv | 10.1007/3-540-36378-5_16 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_15133337</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3071530_21_269</sourcerecordid><originalsourceid>FETCH-LOGICAL-p1836-279fdb711528e2d08f46e0841784687077083f57a9754e42d0d96c3e9ba38b753</originalsourceid><addsrcrecordid>eNo9kDtPAzEMx8NTVNCdsQtjin3Oc0RVeUhIIAFzlF59UGh7R3Id-PakpcKLJf8fsn5CXCKMEcBek9QKJBmyTuqA5kAMvXVUjrsbHooBGkRJpPzRvwZAlVXHYgAElfRW0akYeNKVB4vuTAxz_oSdC0GbgRjfbWKK6555sX4fPae249QvOI-aNo2msm5XK041j15-cs-rfCFOmrjMPNzvc_F2O32d3MvHp7uHyc2j7NCRkZX1zXxmEXXluJqDa5RhcAqtU8ZZsBYcNdpGb7ViVRxzb2piP4vkZlbTubj66-1iruOyKS_Wixy6tFjF9BNQI5WxxTf-8-Uird85hVnbfuWAELYQA4XCJOyAhS3EEqB9cWq_N5z7wNtEzes-xWX9EbueUw5UaGmCUGGojKdfwmJr8w</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3071530_21_269</pqid></control><display><type>book_chapter</type><title>Guaranteeing Properties for E-commerce Systems</title><source>Springer Books</source><creator>Guerin, Frank ; Pitt, Jeremy</creator><contributor>Shehory, Onn ; Parkes, David ; Padget, Julian ; Walsh, William E ; Sadeh, Norman ; Padget, Julian ; Sadeh, Norman ; Walsh, William E. ; Shehory, Onn ; Parkes, David</contributor><creatorcontrib>Guerin, Frank ; Pitt, Jeremy ; Shehory, Onn ; Parkes, David ; Padget, Julian ; Walsh, William E ; Sadeh, Norman ; Padget, Julian ; Sadeh, Norman ; Walsh, William E. ; Shehory, Onn ; Parkes, David</creatorcontrib><description>Agents in an electronic commerce system act on behalf of potentially competing individuals and organisations. It is proposed that such systems will be used in scenarios where legally binding contracts are made or money is exchanged by the agents on behalf of their owners. Agent owners may be reluctant to delegate tasks involving uncertain and possibly detrimental outcomes to an agent without assurances about the system’s properties. It may be a requirement, for example, that an agent cannot profit from lying to its peers. This paper demonstrates how solutions from game theory together with computing theories can be used to publicly specify rules and prove desirable properties for agent systems. This has the potential to increase the range of applications in which agent owners may be willing to delegate to their embedded counterparts.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540003274</identifier><identifier>ISBN: 3540003274</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540363781</identifier><identifier>EISBN: 3540363785</identifier><identifier>DOI: 10.1007/3-540-36378-5_16</identifier><identifier>OCLC: 935290718</identifier><identifier>LCCallNum: HF4999.2-6182</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Auction Mechanism ; Combinatorial Auction ; Denotational Semantic ; Exact sciences and technology ; Game theory ; Incentive Compatibility ; Multiagent System ; Operational research and scientific management ; Operational research. Management science ; Telecommunications ; Telecommunications and information theory ; Teleprocessing networks. Isdn</subject><ispartof>Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems, 2002, Vol.2531, p.253-272</ispartof><rights>Springer-Verlag Berlin Heidelberg 2002</rights><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3071530-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-36378-5_16$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-36378-5_16$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4036,4037,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=15133337$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Shehory, Onn</contributor><contributor>Parkes, David</contributor><contributor>Padget, Julian</contributor><contributor>Walsh, William E</contributor><contributor>Sadeh, Norman</contributor><contributor>Padget, Julian</contributor><contributor>Sadeh, Norman</contributor><contributor>Walsh, William E.</contributor><contributor>Shehory, Onn</contributor><contributor>Parkes, David</contributor><creatorcontrib>Guerin, Frank</creatorcontrib><creatorcontrib>Pitt, Jeremy</creatorcontrib><title>Guaranteeing Properties for E-commerce Systems</title><title>Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems</title><description>Agents in an electronic commerce system act on behalf of potentially competing individuals and organisations. It is proposed that such systems will be used in scenarios where legally binding contracts are made or money is exchanged by the agents on behalf of their owners. Agent owners may be reluctant to delegate tasks involving uncertain and possibly detrimental outcomes to an agent without assurances about the system’s properties. It may be a requirement, for example, that an agent cannot profit from lying to its peers. This paper demonstrates how solutions from game theory together with computing theories can be used to publicly specify rules and prove desirable properties for agent systems. This has the potential to increase the range of applications in which agent owners may be willing to delegate to their embedded counterparts.</description><subject>Applied sciences</subject><subject>Auction Mechanism</subject><subject>Combinatorial Auction</subject><subject>Denotational Semantic</subject><subject>Exact sciences and technology</subject><subject>Game theory</subject><subject>Incentive Compatibility</subject><subject>Multiagent System</subject><subject>Operational research and scientific management</subject><subject>Operational research. Management science</subject><subject>Telecommunications</subject><subject>Telecommunications and information theory</subject><subject>Teleprocessing networks. Isdn</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540003274</isbn><isbn>3540003274</isbn><isbn>9783540363781</isbn><isbn>3540363785</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2002</creationdate><recordtype>book_chapter</recordtype><recordid>eNo9kDtPAzEMx8NTVNCdsQtjin3Oc0RVeUhIIAFzlF59UGh7R3Id-PakpcKLJf8fsn5CXCKMEcBek9QKJBmyTuqA5kAMvXVUjrsbHooBGkRJpPzRvwZAlVXHYgAElfRW0akYeNKVB4vuTAxz_oSdC0GbgRjfbWKK6555sX4fPae249QvOI-aNo2msm5XK041j15-cs-rfCFOmrjMPNzvc_F2O32d3MvHp7uHyc2j7NCRkZX1zXxmEXXluJqDa5RhcAqtU8ZZsBYcNdpGb7ViVRxzb2piP4vkZlbTubj66-1iruOyKS_Wixy6tFjF9BNQI5WxxTf-8-Uird85hVnbfuWAELYQA4XCJOyAhS3EEqB9cWq_N5z7wNtEzes-xWX9EbueUw5UaGmCUGGojKdfwmJr8w</recordid><startdate>2002</startdate><enddate>2002</enddate><creator>Guerin, Frank</creator><creator>Pitt, Jeremy</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2002</creationdate><title>Guaranteeing Properties for E-commerce Systems</title><author>Guerin, Frank ; Pitt, Jeremy</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p1836-279fdb711528e2d08f46e0841784687077083f57a9754e42d0d96c3e9ba38b753</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Applied sciences</topic><topic>Auction Mechanism</topic><topic>Combinatorial Auction</topic><topic>Denotational Semantic</topic><topic>Exact sciences and technology</topic><topic>Game theory</topic><topic>Incentive Compatibility</topic><topic>Multiagent System</topic><topic>Operational research and scientific management</topic><topic>Operational research. Management science</topic><topic>Telecommunications</topic><topic>Telecommunications and information theory</topic><topic>Teleprocessing networks. Isdn</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Guerin, Frank</creatorcontrib><creatorcontrib>Pitt, Jeremy</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Guerin, Frank</au><au>Pitt, Jeremy</au><au>Shehory, Onn</au><au>Parkes, David</au><au>Padget, Julian</au><au>Walsh, William E</au><au>Sadeh, Norman</au><au>Padget, Julian</au><au>Sadeh, Norman</au><au>Walsh, William E.</au><au>Shehory, Onn</au><au>Parkes, David</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Guaranteeing Properties for E-commerce Systems</atitle><btitle>Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2002</date><risdate>2002</risdate><volume>2531</volume><spage>253</spage><epage>272</epage><pages>253-272</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540003274</isbn><isbn>3540003274</isbn><eisbn>9783540363781</eisbn><eisbn>3540363785</eisbn><abstract>Agents in an electronic commerce system act on behalf of potentially competing individuals and organisations. It is proposed that such systems will be used in scenarios where legally binding contracts are made or money is exchanged by the agents on behalf of their owners. Agent owners may be reluctant to delegate tasks involving uncertain and possibly detrimental outcomes to an agent without assurances about the system’s properties. It may be a requirement, for example, that an agent cannot profit from lying to its peers. This paper demonstrates how solutions from game theory together with computing theories can be used to publicly specify rules and prove desirable properties for agent systems. This has the potential to increase the range of applications in which agent owners may be willing to delegate to their embedded counterparts.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-36378-5_16</doi><oclcid>935290718</oclcid><tpages>20</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems, 2002, Vol.2531, p.253-272 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_15133337 |
| source | Springer Books |
| subjects | Applied sciences Auction Mechanism Combinatorial Auction Denotational Semantic Exact sciences and technology Game theory Incentive Compatibility Multiagent System Operational research and scientific management Operational research. Management science Telecommunications Telecommunications and information theory Teleprocessing networks. Isdn |
| title | Guaranteeing Properties for E-commerce Systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-30T02%3A02%3A03IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Guaranteeing%20Properties%20for%20E-commerce%20Systems&rft.btitle=Agent-Mediated%20Electronic%20Commerce%20IV.%20Designing%20Mechanisms%20and%20Systems&rft.au=Guerin,%20Frank&rft.date=2002&rft.volume=2531&rft.spage=253&rft.epage=272&rft.pages=253-272&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540003274&rft.isbn_list=3540003274&rft_id=info:doi/10.1007/3-540-36378-5_16&rft_dat=%3Cproquest_pasca%3EEBC3071530_21_269%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540363781&rft.eisbn_list=3540363785&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3071530_21_269&rft_id=info:pmid/&rfr_iscdi=true |