LS2C – A Platform to Design, Implement and Execute Social Computations

Flavio S. Correa Da Silva, Dave Robertson, Wamberto Vasconcelos


Social computers have been characterised as goal oriented complex systems comprised of humans as well as computational devices. Such systems can be found in natura in a variety of scenarios, as well as designed to tackle specific issues of social and economic relevance. In the present article we introduce the Lightweight Situated Social Calculus (LS2C) as a language to design executable specifications of interaction protocols for social computations. Additionally, we describe a platform to process these specifications, giving them a computational realisation. We argue that LS2C can be used to design, implement and execute social computations.


  1. Bai, X., Klein, E., and Robertson, D. (2012). Choreographing web services with semantically enhanced scripting, pages 583-587. Web Intelligence and Intelligent Agent Technology.
  2. Christoff, Z. and Hansen, J. U. (2013). A two-tiered formalization of social influence. In Logic, Rationality, and Interaction, volume 8196 of Lecture Notes in Computer Science - Springer LNCS 8196, pages 68-81.
  3. Correa da Silva, F. S. (2011). Knowledge-based interaction protocols for intelligent interactive environments. Knowledge and Information Systems, 30:1-24.
  4. Correa da Silva, F. S., Fernandez Venero, M. L., David, D. M., Saleem, M., and Chung, P. W. H. (2012). Interaction protocols for cross-organisational workflows. Knowledge Based Systems, 37:1-16.
  5. Correa da Silva, F. S., Robertson, D., and Vasconcelos, W. (2013). Experimental interaction science. Artificial Intelligence and Simulation of Behaviour - Annual Convention 2013: Workshop on Social Coordination - Principles, Artifacts and Theories.
  6. David, D. M. (2012). Protocolos de interacao baseados em conhecimento : implementacao da plataforma JamSession (in Portuguese). MSc dissertation, University of Sao Paulo, Brazil, Brazil.
  7. EU, E. C. (2012). Guide to Research and Innovation Strategies for Smart Specialisation. European Union, Brussels.
  8. EU, E. C. (2013). The role of clusters in smart specialisation strategies. European Union, Brussels.
  9. Feldman, M. P. and Audretsch, D. B. (1999). Innovation in cities: science-based diversity, specialization and localized competition. European Economic Review, 43:409-429.
  10. Fernandez Venero, M. L. and Correa da Silva, F. S. (2013a). Modelling and simulating interaction protocols using Nested Petri Nets. Workshop on Formal Methods in the Development of Software.
  11. Fernandez Venero, M. L. and Correa da Silva, F. S. (2013b). On the use of SPIN for studying the behavior of nested Petri nets. 16th Brazilian Symposium on Formal Methods.
  12. Gelernter, D. (1985). Generative communication in linda. ACM Transactions on Programming Languages and Systems, 7:80-112.
  13. Giunchiglia, F. and Robertson, D. S. (2010). The social computer - combining machine and human computation. University of Trento Technical Report, DISI-10- 036.
  14. Hansen, J. U. (2014). Reasoning about opinion dynamics in social networks. In Proceedings of the eleventh conference on logic and the foundations of game and decision theory (LOFT 11).
  15. Jackson, M. O. (2008). Social and Economic Networks. Princeton University Press, USA.
  16. Jiang, S., Fiore, G. A., Yang, Y., Ferreira Jr, J., E., F., and Gonzalez, M. C. (2013). A review of urban computing for mobile phone traces: current methods, challenges and opportunities. In Urban Computing 2013.
  17. Komninos, N. (2006). The architecture of intelligent cities: integrating human, collective, and artificial intelligence to enhance knowledge and innovation. In Intelligent Environments 2006.
  18. Lazzarini, S. G., Haddad, F. R., and Cook, M. (2001). Integrating supply chain and network analyses: the study of netchains. Journal of Chain and Network Science, 1(1):7-22.
  19. Mesquita, L. M. and Lazzarini, S. G. (2007). Horizontal and vertical relationships in developing economies: implications for smes access to global markets. Academy of Management Journal, 51(2):359-380.
  20. Murray-Rust, D. and Robertson, D. (2014). LSCitter: building social machines by augmenting existing social networks with interaction models. International World Wide Web Conference Committee.
  21. Pedrozo, E. A. and Pereira, B. A. D. (2006). Empreendedorismo coletivo e possivel? uma analise do processo de constituicao de relacionamentos cooperativos em rede. Revista de Administracao (in Portuguese), 12(4).
  22. Robertson, D. (2004). Multi-agent coordination as distributed logic programming, pages 416-430. Proceedings 20th International Conference on Logic Programming - Springer LNCS 3132.
  23. Schaffers, H., Komninos, N., Pallot, M., Trousse, B., Nilsson, M., and Oliveira, A. (2011). Smart cities and the future internet: towards cooperation frameworks for open innovation, pages 431-446. Future Internet Assembly - Springer LNCS 6656.
  24. Seligman, J., Liu, F., and Girard, P. (2011). Logic in the Community, pages 178-188. Logic and Its Applications - Springer LNCS 6521.
  25. Sindhu, J., Perreau De Pinninck, A., Robertson, D., Sierra, C., and Walton, C. (2006). Interaction model language definition. Open Knowledge Project - technical reports, UK.
  26. Zhen, L. and Seligman, J. (2011). A logical model of the dynamics of peer pressure. Electronic Notes in Theoretical Computer Science, 278:275-288. Proceedings of the 7th Workshop on Methods for Modalities (M4M2011) and the 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS2011).
  27. Zheng, Y., Liu, Y., Yuan, J., and Xie, X. (2011). Urban computing with taxicabs. In UbiComp 2011.

Paper Citation

in Harvard Style

Correa Da Silva F., Robertson D. and Vasconcelos W. (2015). LS2C – A Platform to Design, Implement and Execute Social Computations . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 196-203. DOI: 10.5220/0005237101960203

in Bibtex Style

author={Flavio S. Correa Da Silva and Dave Robertson and Wamberto Vasconcelos},
title={LS2C – A Platform to Design, Implement and Execute Social Computations},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},

in EndNote Style

JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - LS2C – A Platform to Design, Implement and Execute Social Computations
SN - 978-989-758-074-1
AU - Correa Da Silva F.
AU - Robertson D.
AU - Vasconcelos W.
PY - 2015
SP - 196
EP - 203
DO - 10.5220/0005237101960203