Abstract
Large and open societies of agents require regulation, and therefore many tools have been developed that enable the definition and enforcement of rules on multiagent systems. Unfortunately, most of them have been designed to be used by computer scientists and are not suitable for people with no more than average computer skills. Since more and more tools are nowadays running as cloud services accessible to anyone (e.g. Massive Open Online Courses and social networks) we feel there is a need for a simple tool that allows ordinary people to create rules and protocols for these kinds of environments. In this paper we present ongoing work on the development of a new programming language for the definition of protocols for multiagent systems, which is so simple that anyone should be able to use it. Although its syntax is strict, it looks very similar to natural language so that protocols written in this language can be understood directly by anyone, without having to learn the language beforehand. Moreover, we have implemented an easy-to-use editor that helps users writing sentences that obey the syntax rules, as well as an interpreter that can parse such protocols and verify whether they are violated or not.
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.
- 2.
- 3.
- 4.
This procedure can be implemented in a much more efficient way than presented here, but we think this is not very relevant for this paper, so we prefer to present it in a way that is easier to understand for the reader.
References
Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2–4), 133–157 (2006)
Argente, E., Criado, N., Botti, V., Julian, V.: Norms for agent service controlling. In: EUMAS-08, pp. 1–15 (2008)
Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 221–238. Springer, Heidelberg (2005). http://dx.doi.org/10.1007/11493402_13
Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. In: Kyburg Jr., H.E., Loui, R.P., Carlson, G.N. (eds.) Knowledge Representation and Defeasible Reasoning. Studies in Cognitive Systems, vol. 5, pp. 167–190. Springer, Netherlands (1990). http://dx.doi.org/10.1007/978-94-009-0553-5_7
Bonatti, P.A., Olmedilla, D.: Driving and monitoring provisional trust negotiation with metapolicies. In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6–8 June 2005, Stockholm, Sweden, pp. 14–23 (2005). http://dx.doi.org/10.1109/POLICY.2005.13
Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004)
Cardoso, H.L., Urbano, J., Rocha, A.P., Castro, A.J., Oliveira, E.: Ante: agreement negotiation in normative and trust-enabled environments. In: Ossowski, S. (ed.) Agreement Technologies. Law, Governance and Technology Series, vol. 8, pp. 549–564. Springer, Netherlands (2013). http://dx.doi.org/10.1007/978-94-007-5583-3_32
Coi, J.L.D., Kärger, P., Olmedilla, D., Zerr, S.: Using natural language policies for privacy control in social platforms (2009). http://CEUR-WS.org/Vol-447/paper4.pdf
Cranefield, S.: A rule language for modelling and monitoring social expectations in multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 246–258. Springer, Heidelberg (2006)
Cranefield, S., Winikoff, M.: Verifying social expectations by model checking truncated paths. J. Logic Comput. 21(6), 1217–1256 (2011). http://logcom.oxfordjournals.org/content/21/6/1217.abstract
Dastani, M., Tinnemeier, N.A., Meyer, J.J.C.: A programming language for normative multi-agent systems (2009)
De Coi, J.: Notes for a possible ACE \(\rightarrow \) Protune mapping. Technical report, Forschungszentrum L3S, Appelstr. 9a, 30167 Hannover, July 2008
Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 40–110. Springer, Heidelberg (2009). http://dx.doi.org/10.1007/978-3-642-03754-2_2
Esteva, M., de la Cruz, D., Sierra, C.: Islander: en electronic institutions editor. In: Bologna, Italy, vol. 3, pp. 1045–1052. ACM Press, 15–19 July 2002
Esteva, M., Rodríguez-Aguilar, J.A., Arcos, J.L., Sierra, C., Noriega, P., Rosell, B., de la Cruz, D.: Electronic institutions development environment. In: AAMAS (Demos), pp. 1657–1658 (2008). http://www.iiia.csic.es/files/pdfs/eide.pdf
Fornara, N., Cardoso, H.L., Noriega, P., Oliveira, E., Tampitsikas, C., Schumacher, M.I.: Modelling agent institutions. In: Ossowski, S. (ed.) Agreement Technologies, Chap. 18, vol. 8, pp. 277–307. Springer-Verlag GmdH, Netherlands (2013)
Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto controlled English for knowledge representation. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 104–124. Springer, Heidelberg (2008). http://dx.doi.org/10.1007/978-3-540-85658-0_3
García-Camino, A.: Ignoring, forcing and expecting simultaneous events in electronic institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 15–26. Springer, Heidelberg (2008). http://dl.acm.org/citation.cfm?id=1791649.1791652
Genesereth, M., Love, N., Pell, B.: General game playing: overview of the aaai competition. AI Mag. 26(2), 62–72 (2005)
Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Procedings of the 10th International Conference on Artificial Intelligence and Law, pp. 25–34. ACM Press (2005)
van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1), 1–19 (2007). http://dx.doi.org/10.1007/s11229-006-9072-6
Hübner, J.F., Sichman, J.S., Boissier, O.: \(S-Moise^+\): a middleware for developing organised multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 64–78. Springer, Heidelberg (2006). http://dx.doi.org/10.1007/11775331_5
de Jonge, D., Rosell, B., Sierra, C.: Human interactions in electronic institutions. In: Chesñevar, C.I., Onaindia, E., Ossowski, S., Vouros, G. (eds.) AT 2013. LNCS, vol. 8068, pp. 75–89. Springer, Heidelberg (2013)
Kollingbaum, M.J.: Norm-governed practical reasoning agents. Ph.D. thesis, University of Aberdeen (2005)
Kröger, F.: Temporal Logic of Programs. Springer-Verlag New York, Inc., New York (1987)
Lewis, D.: Semantic analyses for dyadic deontic logic. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday, pp. 1–14. Reidel, Dordrecht (1974)
López y López, F., Luck, M.: A model of normative multi-agent systems and dynamic relationships. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 259–280. Springer, Heidelberg (2004)
Makinson, D., Van Der Torre, L.: Input/output logics. J. Philos. Logic 29(4), 383–408 (2000)
Meyer, J.J.C.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Logic 29(1), 109–136 (1987). http://dx.doi.org/10.1305/ndjfl/1093637776
Nelson, G.: Natural language, semantic analysis and interactive fiction (2014). http://inform7.com/learn/documents/WhitePaper.pdf
Nute, D.: Defeasible Deontic Logic. Springer, The Netherlands (1997)
Sergot, M.J., Craven, R.: The Deontic Component of Action Language nC+. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222–237. Springer, Heidelberg (2006). http://dx.doi.org/10.1007/11786849_19
Shi, L.L., Chadwick, D.W.: A controlled natural language interface for authoring access control policies. In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, 21–24 March 2011, pp. 1524–1530 (2011). http://doi.acm.org/10.1145/1982185.1982510
Tampitsikas, C., Bromuri, S., Schumacher, M.I.: MANET: a model for first-class electronic institutions. In: Cranefield, S., van Riemsdijk, M.B., Vázquez-Salceda, J., Noriega, P. (eds.) COIN 2011. LNCS, vol. 7254, pp. 75–92. Springer, Heidelberg (2012). http://link.springer.com/chapter/10.1007/978-3-642-35545-5_5
Uszok, A., Bradshaw, J.M., Lott, J., Breedy, M., Bunch, L., Feltovich, P., Johnson, M., Jung, H.: New developments in ontology-based policy management: increasing the practicality and comprehensiveness of KAoS. In: IEEE International Workshop on Policies for Distributed Systems and Networks, pp. 145–152 (2008)
Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)
von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)
Acknowledgments
Supported by the Agreement Technologies CONSOLIDER project, contract CSD2007-0022 and INGENIO 2010 and CHIST-ERA project ACE and EU project 318770 PRAISE.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
de Jonge, D., Sierra, C. (2016). SIMPLE: A Language for the Specification of Protocols, Similar to Natural Language. In: Dignum, V., Noriega, P., Sensoy, M., Sichman, J. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems XI. COIN 2015. Lecture Notes in Computer Science(), vol 9628. Springer, Cham. https://doi.org/10.1007/978-3-319-42691-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-42691-4_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42690-7
Online ISBN: 978-3-319-42691-4
eBook Packages: Computer ScienceComputer Science (R0)