Abstract
Rigorous engineering of self-organising and self-adaptive systems is a challenging activity. Interactions with humans and unexpected entities, dependence on contextual information for self-organisation and adaptation represent just some of the factors complicating the coordination process among multiple entities of the system. Recently we proposed a coordination model based on logic inference named Logic Fragments Coordination Model. Logic Fragments are combinations of logic programs defining interactions among agents distributed over the nodes of the system. They are able to accommodate various types of logics, ranging from classical up to many-valued paraconsistent ones. The logical formalisation makes it possible to express coordination in a rigorous and predicle way, both at design-time and run-time. In this paper we define, under the form of an evaluation algorithm, the semantics of Logic Fragments; introducing logical predicates used to manage and reason on local and remote information. By associating specific semantics to the symbols inferred during the evaluation of logic programs it is possible to make logical inference effects unambiguous on the system; such an approach turns Logic Fragments into a coordination-oriented logic-based programming model. We conclude the paper discussing three examples showing the use of Logic Fragments to implement on-the-fly ad-hoc coordination mechanisms, as well as design-time and run-time verification of spatial properties.
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
References
Ashley-Rollman Meld, M.P., et al.: A declarative approach to programming ensembles. In: Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS 2007), October 2007
Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate,: Languages for spatial computing. CoRR, abs/1202.5509 (2012)
Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7–37. Reidel Publishing Company, Boston (1977)
Ciancia, V., Latella, D., Loreti, M., Massink, M.: Specifying and verifying properties of space. In: Diaz, J., Lanese, I., Sangiorgi, D. (eds.) TCS 2014. LNCS, vol. 8705, pp. 222–235. Springer, Heidelberg (2014). doi:10.1007/978-3-662-44602-7_18
Angelis, F.L., Marzo Serugendo, G.: Logic fragments: a coordination model based on logic inference. In: Holvoet, T., Viroli, M. (eds.) COORDINATION 2015. LNCS, vol. 9037, pp. 35–48. Springer, Heidelberg (2015). doi:10.1007/978-3-319-19282-6_3
De Angelis, F.L., Di Marzo Serugendo, G.: A logic language for run time assessment of spatial properties in self-organizing systems. In: 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp. 86–91 (2015)
De Angelis, F.L., Di Marzo Serugendo, G., Szałas, A.: Graded rule-based reasoning. Int. J. Approx. Reason. (2016). Submitted
De Roever, W.-P., et al.: Concurrency Verification: Introduction to Compositional and Non-compositional Methods. Cambridge University Press, Cambridge (2012)
Doets, K.: From Logic to Logic Programming. Foundations of Computing. MIT Press, Cambridge (1994)
Hogger, C.J.: Introduction to Logic Programming. A.P.I.C. Studies in Data Processing. Academic Press, Cambridge (1984)
Kowalski, R.: Algorithm = logic + control. Commun. ACM 22(7), 424–436 (1979)
Kowalski, R.: The relation between logic programming and logic specification. In Proceedings of a Discussion Meeting of the Royal Society of London on Mathematical Logic and Programming Languages, pp. 11–27 (1985)
Loo, B.T., et al.: Declarative networking Language, execution and optimization. In: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp. 97–108 (2006)
Małuszyński, J., Szałas, A.: Logical foundations and complexity of 4QL, a query language with unrestricted negation. J. Appl. Non-Class. Log. 21(2), 211–232 (2011)
Nenzi, L., Bortolussi, L.: Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic. In: ICST 2 (2015)
Pedreschi, D., Ruggieri, S.: Verification of logic programs. J. Log. Program. 39(1–3), 125–176 (1999)
Zambonelli, F., et al.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive, Mob. Comput. 17, 236–252 (2015). Special Issue “10 years of Pervasive Computing" In Honor of Chatschik Bisdikian
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
De Angelis, F.L., Di Marzo Serugendo, G. (2016). Logic Fragments: Coordinating Entities with Logic Programs. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_41
Download citation
DOI: https://doi.org/10.1007/978-3-319-47166-2_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47165-5
Online ISBN: 978-3-319-47166-2
eBook Packages: Computer ScienceComputer Science (R0)