TY - GEN
T1 - A dialectical approach to enable decision making in online trading
AU - Bai, Wei
AU - Tadjouddine, Emmanuel
AU - Payne, Terry
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - Software agents, acting on behalf of humans, have been identified as an important solution for future electronic markets. Such agents can make their own decisions given prior preferences and the market environment. These preferences can be described using web ontology languages (OWL), while the market can be represented in a machine-understandable way by utilizing the technique of Semantic Web Services (SWS). Besides, SWS enables agents to automatically discover, select, compose and invoke services. To extend the dependability and interactivity of SWS, we have utilized dialogue games and the proof-carrying code to enable buyers interact with sellers, so that interest properties for an online auction market can be automatically certified. Our decision making framework combines formal proofs with informal evidence collected by web services in a dialogue game between a seller and a buyer. We have implemented our approach and experimental results have demonstrated the feasibility as well as the validity of this framework as an enabler for a buyer agent to enter or not an online auction.
AB - Software agents, acting on behalf of humans, have been identified as an important solution for future electronic markets. Such agents can make their own decisions given prior preferences and the market environment. These preferences can be described using web ontology languages (OWL), while the market can be represented in a machine-understandable way by utilizing the technique of Semantic Web Services (SWS). Besides, SWS enables agents to automatically discover, select, compose and invoke services. To extend the dependability and interactivity of SWS, we have utilized dialogue games and the proof-carrying code to enable buyers interact with sellers, so that interest properties for an online auction market can be automatically certified. Our decision making framework combines formal proofs with informal evidence collected by web services in a dialogue game between a seller and a buyer. We have implemented our approach and experimental results have demonstrated the feasibility as well as the validity of this framework as an enabler for a buyer agent to enter or not an online auction.
KW - Decision making
KW - Dialogue games
KW - Online auction
KW - Semantic web services
UR - http://www.scopus.com/inward/record.url?scp=84964047134&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-33509-4_17
DO - 10.1007/978-3-319-33509-4_17
M3 - Conference Proceeding
AN - SCOPUS:84964047134
SN - 9783319335087
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 203
EP - 218
BT - Multi-Agent Systems and Agreement Technologies - 13th European Conference, EUMAS 2015 and 3rd International Conference, AT 2015, Revised Selected Papers
A2 - Vouros, George
A2 - Rovatsos, Michael
A2 - Julian, Vicente
PB - Springer Verlag
T2 - 13th European Conference on Multi-Agent Systems, EUMAS 2015 and 3rd International Conference on Agreement Technologies, AT 2015
Y2 - 17 December 2015 through 18 December 2015
ER -