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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We abuse notation and also refer to the graph of locations itself as \(\mathcal {S}\).
- 2.
- 3.
We adopt the Prolog convention that variables begin with capital letters, and all other terms begin with small letters.
- 4.
- 5.
- 6.
References
Bai, X., Klein, E., Robertson, D.: Choreographing web services with semantically enhanced scripting. In: Web Intelligence and Intelligent Agent Technology, pp. 583–587 (2012)
Chevalier, J.M., Buckles, D.J.: Participatory Action Research: Theory and Methods for Engaged Inquiry. Routledge, USA (2013)
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)
Correa da Silva, F.S.: Knowledge-based interaction protocols for intelligent interactive environments. Knowl. Inf. Syst. 30, 1–24 (2011)
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)
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)
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)
David, D.M.: Protocolos de interacao baseados em conhecimento: implementacao da plataforma JamSession (in Portuguese), MSc dissertation. University of Sao Paulo, Brazil (2012)
European Comission, E.U.: The role of clusters in smart specialisation strategies. European Union, Brussels (2013)
European Commission, E.U.: Guide to Research and Innovation Strategies for Smart Specialisation. European Union, Brussels (2012)
Feldman, M.P., Audretsch, D.B.: Innovation in cities: science-based diversity, specialization and localized competition. Eur. Econ. Rev. 43, 409–429 (1999)
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)
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)
Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7, 80–112 (1985)
Giunchiglia, F., Robertson, D.S.: The social computer - combining machine and human computation. University of Trento Technical report, DISI-10-036 (2010)
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)
Jackson, M.O.: Social and Economic Networks. Princeton University Press, USA (2008)
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)
Komninos, N.: The architecture of intelligent cities: integrating human, collective, and artificial intelligence to enhance knowledge and innovation. In: Intelligent Environments (2006)
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)
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)
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)
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)
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)
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)
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)
Sindhu, J., Perreau De Pinninck, A., Robertson, D., Sierra, C., Walton, C.: Interaction model language definition. Open Knowledge Project - Technical reports, UK (2006)
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)
Zheng, Y., Liu, Y., Yuan, J., Xie, X.: Urban computing with taxicabs. In: UbiComp (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)