Skip to main content

A Simulation for Supply Chains Contract Execution

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 2024)

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

  • 161 Accesses

Abstract

Supply chains exhibit complex dynamics and intricate dependencies among their components, whose understanding is crucial for addressing the challenges highlighted by recent global disruptions. This paper presents a novel multi-agent system designed to simulate supply chains, linking reasoning about dynamic domains and multi-agent systems to reasoning about the high-level primitives of the NIST CPS Framework. Our approach synthesizes existing research on supply chain formalization and integrates these insights with multi-agent techniques, employing a declarative approach to model interactions and dependencies. The simulation framework models a set of autonomous agents within a partially observable environment, and whose interactions are dictated by contracts. The system dynamically reconciles agents’ actions, assessing their feasibility and consequences. Based on the state of the domain, the simulation framework also draws conclusions about the high-level notions of requirements and concerns of the NIST CPS Framework, which provide a uniform and domain-agnostic vocabulary for the understanding of such complex systems as supply chains.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    In general, \(\psi \) and \(\varphi \) can be fluent formulas. For the purpose of this paper, it suffices that conjunctions are considered.

  2. 2.

    The predicate \(\mathtt {conflict(L,L')}\) can be defined for domains with static causal laws. In our case study, we need to deal with numeric fluents and thus will need some rules preventing a fluent be assigned two different values at the same time by different actions.

  3. 3.

    http://ccl.northwestern.edu/netlogo/.

  4. 4.

    jason-lang.github.io/.

  5. 5.

    The Belief-Desire-Intention architecture includes reasoning about beliefs (updating beliefs given an observed event), goals (deciding on what to achieve given the desires), and plans (how to achieve the goal) [4].

References

  1. Alicke, K., Iyer, B.: Next Generation Supply Chain: Supply Chain 2020. McKinsey & Company (2013)

    Google Scholar 

  2. Costantini, S., De Gasperis, G., Pitoni, V., Salutari, A.: DALI: a multi agent system framework for the web, cognitive robotic and complex event processing. In: CILC, Naples, Italy, 26–28 September 2017 (2017)

    Google Scholar 

  3. Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 1–13. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45757-7_1

    Chapter  MATH  Google Scholar 

  4. de Silva, L., Meneguzzi, F., Logan, B.: BDI agent architectures: a survey. In: Bessiere, C. (ed.) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 4914–4921. ijcai.org (2020)

    Google Scholar 

  5. Dominguez, R., Cannella, S.: Insights on multi-agent systems applications for supply chain management. Sustainability 12(5), 2020 (1935)

    MATH  Google Scholar 

  6. Griffor, E., Greer, C., Wollman, D.A., Burns, M.J.: Framework for cyber-physical systems: volume 1, overview (2017)

    Google Scholar 

  7. Flynn, D., Nadeau, C., Shantz, J., Balduccini, M., Son, T.C., Griffor, E.: Formalizing and reasoning about supply chain contracts between agents. In: Hanus, M., Inclezan, D. (eds.) PADL 2023. LNCS, vol. 13880, pp. 144–160. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-24841-2_10

    Chapter  Google Scholar 

  8. Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 3(6) (1998)

    Google Scholar 

  9. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)

    Article  MATH  Google Scholar 

  10. Hald, K.S., Spring, M.: Actor-network theory: a novel approach to supply chain management theory development. J. Supply Chain Manag. 59(2), 87–105 (2023)

    Article  MATH  Google Scholar 

  11. Lee, K., Kim, W., Kim, M.: Supply chain management using multi-agent system. In: Klusch, M., Ossowski, S., Kashyap, V., Unland, R. (eds.) CIA 2004. LNCS (LNAI), vol. 3191, pp. 215–225. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30104-2_16

    Chapter  MATH  Google Scholar 

  12. Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138, 39–54 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  13. Lu, L.X., Swaminathan, J.M.: Supply Chain Management, pp. 709–713. Elsevier (2015)

    Google Scholar 

  14. Moyaux, T., Chaib-draa, B., D’Amours, S.: Supply chain management and multiagent systems: an overview. In: Chaib-draa, B., Müller, J.P. (eds.) Multiagent based Supply Chain Management. SCI, vol. 28, pp. 1–27. Springer, Heidelberg (2006). https://doi.org/10.1007/978-3-540-33876-5_1

    Chapter  MATH  Google Scholar 

  15. Nguyen, T.H., Bundas, M., Son, T.C., Balduccini, M., Garwood, K.C., Griffor, E.R.: Specifying and reasoning about CPS through the lens of the NIST CPS framework. TPLP 23(5), 1029–1069 (2022)

    MathSciNet  MATH  Google Scholar 

  16. Reselman, B.: The pros and cons of the pub-sub architecture pattern. Red Hat (2021)

    Google Scholar 

  17. Son, T.C., Pontelli, E., Balduccini, M., Schaub, T.: Answer set planning: a survey. TPLP 23(1), 226–298 (2022)

    MathSciNet  MATH  Google Scholar 

  18. Wagner, S.M., Coley, L.S., Lindemann, E.: Effects of suppliers’ reputation on the future of buyer-supplier relationships: the mediating roles of outcome fairness and trust. J. Supply Chain Manag. 47(2), 29–48 (2011)

    Article  MATH  Google Scholar 

  19. Yuan, M.: Getting to know MQTT. IBM (2021)

    Google Scholar 

Download references

Acknowledgement

Portions of this publication and research effort are made possible through the help and support of NIST via cooperative agreement 70NANB21H167.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marcello Balduccini .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Tran, L., Son, T.C., Flynn, D., Balduccini, M. (2025). A Simulation for Supply Chains Contract Execution. In: Dodaro, C., Gupta, G., Martinez, M.V. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2024. Lecture Notes in Computer Science(), vol 15245. Springer, Cham. https://doi.org/10.1007/978-3-031-74209-5_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-74209-5_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-74208-8

  • Online ISBN: 978-3-031-74209-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics