Skip to main content
SpringerLink
Log in

LS\(^2\)C - A Platform for Norm Controlled Social Computers

  • Conference paper
  • First Online:
Agents and Artificial Intelligence (ICAART 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9494))

Included in the following conference series:

  • 550 Accesses

Abstract

Social computers have been characterised as goal oriented socio-technical 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 \({(LS^2C)}\) as a language to design norm controlled executable specifications of interaction protocols for social computers. Additionally, we describe a platform to process these specifications, giving them a computational realisation. We argue that \({LS{^2C}}\) can be used to design, implement and execute algorithms in social computers.

This work has been partially supported by FAPESP and CNPq. This article is a revised and extended version of the article \({LS{^2C}}\) – A Platform to Design, Implement and Execute Social Computations, presented at ICAART 2015 [7].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    We abuse notation and also refer to the graph of locations itself as \(\mathcal {S}\).

  2. 2.

    This example is borrowed and adapted from [5] and from [7]. Evidently, we are exhibiting only a very small fraction of a model for \({S^3}\) using this example. Our goal is simply to illustrate how rules that could be used to model a \({S^3}\) would look like.

  3. 3.

    We adopt the Prolog convention that variables begin with capital letters, and all other terms begin with small letters.

  4. 4.

    http://www.bonitasoft.com/.

  5. 5.

    http://elgg.org/.

  6. 6.

    http://www.exoplatform.com/.

References

  1. Bai, X., Klein, E., Robertson, D.: Choreographing web services with semantically enhanced scripting. In: Web Intelligence and Intelligent Agent Technology, pp. 583–587 (2012)

    Google Scholar 

  2. Chevalier, J.M., Buckles, D.J.: Participatory Action Research: Theory and Methods for Engaged Inquiry. Routledge, USA (2013)

    Google Scholar 

  3. Christoff, Z., Hansen, J.U.: A two-tiered formalization of social influence. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol. 8196, pp. 68–81. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  4. Correa da Silva, F.S.: Knowledge-based interaction protocols for intelligent interactive environments. Knowl. Inf. Syst. 30, 1–24 (2011)

    Google Scholar 

  5. da Silva, F.S.C., Venero, M.L.F., David, D.M., Saleem, M., Chung, P.W.H.: Interaction protocols for cross-organisational workflows. Knowledge Based Systems 37, 1–16 (2012)

    Article  Google Scholar 

  6. da Silva, F.S.C., Robertson, D., Vasconcelos, W.: Experimental interaction science. Artificial Intelligence and Simulation of Behaviour - Annual Convention 2013: Workshop on Social Coordination - Principles, Artifacts and Theories (2013)

    Google Scholar 

  7. da Silva, F.S.C., Robertson, D.S., Vasconcelos, W.W.: Ls2c - a platform to design, implement and execute social computations. In: International Conference on Agents and Artificial Intelligence 2015, (2015)

    Google Scholar 

  8. David, D.M.: Protocolos de interacao baseados em conhecimento: implementacao da plataforma JamSession (in Portuguese), MSc dissertation. University of Sao Paulo, Brazil (2012)

    Google Scholar 

  9. European Comission, E.U.: The role of clusters in smart specialisation strategies. European Union, Brussels (2013)

    Google Scholar 

  10. European Commission, E.U.: Guide to Research and Innovation Strategies for Smart Specialisation. European Union, Brussels (2012)

    Google Scholar 

  11. Feldman, M.P., Audretsch, D.B.: Innovation in cities: science-based diversity, specialization and localized competition. Eur. Econ. Rev. 43, 409–429 (1999)

    Article  Google Scholar 

  12. Venero, M.L.F., da Silva, F.S.C.: Modelling and simulating interaction protocols using nested petri nets. In: Workshop on Formal Methods in the Development of Software (2013)

    Google Scholar 

  13. Venero, M.L.F., da Silva, F.S.C.: On the use of SPIN for studying the behavior of nested petri nets. In: 16th Brazilian Symposium on Formal Methods (2013)

    Google Scholar 

  14. Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7, 80–112 (1985)

    Article  MATH  Google Scholar 

  15. Giunchiglia, F., Robertson, D.S.: The social computer - combining machine and human computation. University of Trento Technical report, DISI-10-036 (2010)

    Google Scholar 

  16. Hansen, J.U.: 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) (2014)

    Google Scholar 

  17. Jackson, M.O.: Social and Economic Networks. Princeton University Press, USA (2008)

    MATH  Google Scholar 

  18. Jiang, S., Fiore, G.A., Yang, Y., Ferreira Jr, J., Frazzoli, E., Gonzalez, M.C.: A review of urban computing for mobile phone traces: current methods, challenges and opportunities. In: Urban Computing (2013)

    Google Scholar 

  19. Komninos, N.: The architecture of intelligent cities: integrating human, collective, and artificial intelligence to enhance knowledge and innovation. In: Intelligent Environments (2006)

    Google Scholar 

  20. Lazzarini, S.G., Haddad, F.R., Cook, M.: Integrating supply chain and network analyses: the study of netchains. J. Chain Netw. Sci. 1(1), 7–22 (2001)

    Article  Google Scholar 

  21. Mesquita, L.M., Lazzarini, S.G.: Horizontal and vertical relationships in developing economies: implications for smes access to global markets. Acad. Manag. J. 51(2), 359–380 (2007)

    Article  Google Scholar 

  22. Murray-Rust, D., Robertson, D.: LSCitter: building social machines by augmenting existing social networks with interaction models. In: International World Wide Web Conference Committee (2014)

    Google Scholar 

  23. Pedrozo, E.A., Pereira, B.A.D.: Empreendedorismo coletivo e possivel? uma analise do processo de constituicao de relacionamentos cooperativos em rede. Revista de Administracao (in Portuguese), 12(4) (2006)

    Google Scholar 

  24. Robertson, D.: Multi-agent coordination as distributed logic programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 416–430. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  25. Schaffers, H., Komninos, N., Pallot, M., Trousse, B., Nilsson, M., Oliveira, A.: Smart cities and the future internet: towards cooperation frameworks for open innovation. In: Domingue, J., et al. (eds.) Future Internet Assembly, pp. 431–446. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  26. Seligman, J., Liu, F., Girard, P.: Logic in the community. In: Banerjee, M., Seth, A. (eds.) Logic and Its Applications. LNCS, vol. 6521, pp. 178–188. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  27. Sindhu, J., Perreau De Pinninck, A., Robertson, D., Sierra, C., Walton, C.: Interaction model language definition. Open Knowledge Project - Technical reports, UK (2006)

    Google Scholar 

  28. Zhen, L., Seligman, J.: A logical model of the dynamics of peer pressure. In: Proceedings of the 7th Workshop on Methods for Modalities (M4M2011) and the 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS2011), Electronic Notes in Theoretical Computer Science, vol. 278, pp. 275–288 (2011)

    Google Scholar 

  29. Zheng, Y., Liu, Y., Yuan, J., Xie, X.: Urban computing with taxicabs. In: UbiComp (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Sao Paulo, São Paulo, Brazil

    Flavio S. Correa da Silva

  2. School of Informatics, University of Edinburgh, Edinburgh, UK

    David S. Robertson

  3. Department of Computing Science, University of Aberdeen, Aberdeen, UK

    Wamberto W. Vasconcelos

Authors
  1. Flavio S. Correa da Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David S. Robertson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wamberto W. Vasconcelos
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Flavio S. Correa da Silva .

Editor information

Editors and Affiliations

  1. LERIA - UFR Sciences , Angers, France

    Béatrice Duval

  2. Leiden University , Leiden, Zuid-Holland, The Netherlands

    Jaap van den Herik

  3. LERIA - UFR Sciences , Angers, France

    Stephane Loiseau

  4. Polytechnic Institute of Setúbal , Setúbal, Portugal

    Joaquim Filipe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

da Silva, F.S.C., Robertson, D.S., Vasconcelos, W.W. (2015). LS\(^2\)C - A Platform for Norm Controlled Social Computers. In: Duval, B., van den Herik, J., Loiseau, S., Filipe, J. (eds) Agents and Artificial Intelligence. ICAART 2015. Lecture Notes in Computer Science(), vol 9494. Springer, Cham. https://doi.org/10.1007/978-3-319-27947-3_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27947-3_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27946-6

  • Online ISBN: 978-3-319-27947-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation