LSCitter: building social machines by augmenting existing social networks with interaction models

We present LSCitter, an implemented framework for supporting human interaction on social networks with formal models of interaction, designed as a generic tool for creating social machines on existing infrastructure. Interaction models can be used to choreograph distributed systems, providing points of coordination and communication between multiple interacting actors. While existing social networks specify how interactions happen---who messages go to and when, the effects of carrying out actions---these are typically implicit, opaque and non user-editable. Treating interaction models as first class objects allows the creation of electronic institutions, on which users can then choose the kinds of interaction they wish to engage in, with protocols which are explicit, visible and modifiable. However, there is typically a cost to users to engage with these institutions. In this paper we introduce the notion of "shadow institutions", where actions on existing social networks are mapped onto formal interaction protocols, allowing participants access to computational intelligence in a seamless, zero-cost manner to carry out computation and store information.

[1]  Elena Paslaru Bontas Simperl,et al.  Towards a classification framework for social machines , 2013, WWW.

[2]  Mark Klein,et al.  Programming the global brain , 2012, Commun. ACM.

[3]  Carl Myhill,et al.  Commercial Success by Looking for Desire Lines , 2004, APCHI.

[4]  David Stuart Robertson,et al.  A Lightweight Coordination Calculus for Agent Systems , 2004, DALT.

[5]  Tim Miller,et al.  Amongst First-Class Protocols , 2008, ESAW.

[6]  Tim Berners-Lee,et al.  Weaving The Web: The Original Design And Ultimate Destiny of the World Wide Web , 1999 .

[7]  Wenjie Li,et al.  Automatic Twitter Topic Summarization With Speech Acts , 2013, IEEE Transactions on Audio, Speech, and Language Processing.

[8]  Nigel Shadbolt,et al.  A decentralized architecture for consolidating personal information ecosystems: The WebBox , 2012 .

[9]  A. Bruns,et al.  The use of Twitter hashtags in the formation of ad hoc publics , 2011 .

[10]  David Harel Can Programming Be Liberated, Period? , 2008, Computer.

[11]  David Stuart Robertson,et al.  Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective , 2011, DALT.

[12]  Fausto Giunchiglia,et al.  Programming the social computer , 2013, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[13]  Andrew McGregor,et al.  AutoMan: a platform for integrating human-based and digital computation , 2012, OOPSLA '12.

[14]  Pablo Noriega,et al.  Communicating open systems , 2012, Artif. Intell..

[15]  Aaron Halfaker,et al.  Don't bite the newbies: how reverts affect the quantity and quality of Wikipedia work , 2011, Int. Sym. Wikis.

[16]  Tim Kraska,et al.  CrowdDB: answering queries with crowdsourcing , 2011, SIGMOD '11.

[17]  Andrea Omicini,et al.  Agens Faber: Toward a Theory of Artefacts for MAS , 2006, Electron. Notes Theor. Comput. Sci..

[18]  Alessandro Ricci,et al.  AmI Systems as Agent-Based Mirror Worlds: Bridging Humans and Agents through Stigmergy , 2012, Agents and Ambient Intelligence.

[19]  Tom M. Mitchell,et al.  Learning to Classify Email into “Speech Acts” , 2004, EMNLP.

[20]  Christopher Alexander The Oregon Experiment , 1975 .

[21]  David Harel,et al.  Can Programming Be Liberated , 2008 .

[22]  Alexis Battle,et al.  The jabberwocky programming environment for structured social computing , 2011, UIST.

[23]  David Murray-Rust,et al.  Towards a model of musical interaction and communication , 2011, Artif. Intell..