This work was presented at HAIDM 2015. The 2015 workshop on Human-Agent Interaction Design and Models was co-organised by SmartSociety.

Abstract: We use provenance graphs to solve a problem within incentive engineering: motivating humans to accept proposals generated by agents. Across several provenance graphs created within the HAC-ER disaster-management system, we ran retrospectively a bespoke algorithm for subgraph matching in order to extract narrative information from the provenance data. The output of the algorithm comprised a series of text messages which, had they been generated at the time of the disaster trial, would have been transmissable with the specific intention of encouraging participants not to reject certain tasks.

The algorithm found all expected subgraphs within the provenance graphs, on an any-time basis and in a time linearly proportional to the number of nodes. Our algorithm is extendable to other situations in which agents present tasks to humans.

Keywords: Incentive engineering, subgraph matching, task allocation, human-agent collectives, provenance graphs, disaster management.

Citation: Mark Ebden, Trung Dong Huynh, Luc Moreau and Stephen Roberts. Incentive Engineering through Subgraph Matching – with Application to Task Allocation.

Download: http://bit.ly/1S8eHNt

Abstract. Provenance is a record that describes the people, institutions, entities, and activities involved in producing, influencing, or delivering a piece of data or a thing. The W3C Provenance Working group has just published the PROV family of specifications, which include a data model for provenance on the Web. The working group introduces a notion of valid PROV document whose intent is to ensure that a PROV document represents a consistent history of objects and their interactions that is safe to use for the purpose of reasoning and other kinds of analysis. Valid PROV documents satisfy certain definitions, inferences, and constraints, specified in PROV-CONSTRAINTS. This paper discusses the design of ProvValidator, an online service for validating provenance documents according to PROV-CONSTRAINTS. It discusses the algorithmic design of the validator, the complexity of the algorithm, how we demonstrated compliance with the standard, and its REST API.

doi: http://eprints.soton.ac.uk/361113/

Citation: Moreau, Luc, Huynh, Trung Dong and Michaelides, Danius (2014) An Online Validator for Provenance: Algorithmic Design, Testing, and API. In, 17th International Conference on Fundamental Approaches to Software Engineering (FASE’14), Springer-Verlag.

Download: http://bit.ly/2itj1eI