We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Enabling Automatic Certification of Online Auctions

Abstract: We consider the problem of building up trust in a network of online auctions by software agents. This requires agents to have a deeper understanding of auction mechanisms and be able to verify desirable properties of a given mechanism. We have shown how these mechanisms can be formalised as semantic web services in OWL-S, a good enough expressive machine-readable formalism enabling software agents, to discover, invoke, and execute a web service. We have also used abstract interpretation to translate the auction's specifications from OWL-S, based on description logic, to COQ, based on typed lambda calculus, in order to enable automatic verification of desirable properties of the auction by the software agents. For this language translation, we have discussed the syntactic transformation as well as the semantics connections between both concrete and abstract domains. This work contributes to the implementation of the vision of agent-mediated e-commerce systems.
Comments: In Proceedings FESCA 2014, arXiv:1404.0436
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
Journal reference: EPTCS 147, 2014, pp. 123-132
DOI: 10.4204/EPTCS.147.9
Cite as: arXiv:1404.0854 [cs.LO]
  (or arXiv:1404.0854v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Thu, 3 Apr 2014 10:45:01 GMT (47kb,D)

Link back to: arXiv, form interface, contact.