Resource-Driven Substructural Defeasible Logic

  • Francesco OlivieriEmail author
  • Guido Governatori
  • Matteo Cristani
  • Nick van Beest
  • Silvano Colombo-Tosatto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11224)


Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.


  1. 1.
    Engberg, U., Winskel, G.: Completeness results for linear logic on Petri nets. Ann. Pure Appl. Log. 86(2), 101–135 (1997)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Gaboardi, M., Marion, J.Y., Della Rocca, S.R.: Soft linear logic and polynomial complexity classes. Electron. Not. Theoret. Comput. Sci. 205(C), 67–87 (2008)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Ghooshchi, N.G., van Beest, N., Governatori, G., Olivieri, F., Sattar, A.: Visualisation of compliant declarative business processes. In: EDOC 2017, pp. 89–94. IEEE Computer Society (2017)Google Scholar
  4. 4.
    Girard, J.Y.: Light linear logic. Inf. Comput. 143(2), 175–204 (1998)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rational behind the concept of goal. Theory Pract. Log. Program. 16(3), 296–324 (2016)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Governatori, G., Rotolo, A.: BIO logical agents: norms, beliefs, intentions in defeasible logic. J. Auton. Agents Multi Agent Syst. 17(1), 36–69 (2008)CrossRefGoogle Scholar
  7. 7.
    Kanovich, M., Ito, T.: Temporal linear logic specifications for concurrent processes. In: LICS 1997, pp. 48–57. IEEE Computer Society (1997)Google Scholar
  8. 8.
    Küngas, P., Matskin, M.: Linear logic, partial deduction and cooperative problem solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS, vol. 2990, pp. 263–279. Springer, Heidelberg (2004). Scholar
  9. 9.
    Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3. Oxford University Press (1987)Google Scholar
  10. 10.
    Olivieri, F., Cristani, M., Governatori, G.: Compliant business processes with exclusive choices from agent specification. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS, vol. 9387, pp. 603–612. Springer, Cham (2015). Scholar
  11. 11.
    Olivieri, F., Governatori, G., Cristani, M., van Beest, N., Colombo-Tosatto, S.: Resource-driven substructural defeasible logic. CoRR abs/1809.03656 (2018).
  12. 12.
    Olivieri, F., Governatori, G., Scannapieco, S., Cristani, M.: Compliant business process design by declarative specifications. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS, vol. 8291, pp. 213–228. Springer, Heidelberg (2013). Scholar
  13. 13.
    Pham, D.Q., Harland, J.: Temporal linear logic as a basis for flexible agent interactions. In: AAMAS 2007, pp. 28:1–28:8. ACM (2007)Google Scholar
  14. 14.
    Pham, D.Q., Harland, J., Winikoff, M.: Modeling agents’ choices in temporal linear logic. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS, vol. 4897, pp. 140–157. Springer, Heidelberg (2008). Scholar
  15. 15.
    Rao, J., Küngas, P., Matskin, M.: Composition of semantic web services using linear logic theorem proving. Inf. Syst. 31(4–5), 340–360 (2006)CrossRefGoogle Scholar
  16. 16.
    Tanabe, M.: Timed Petri nets and temporal linear logic. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 156–174. Springer, Heidelberg (1997). Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Francesco Olivieri
    • 1
    Email author
  • Guido Governatori
    • 1
  • Matteo Cristani
    • 2
  • Nick van Beest
    • 1
  • Silvano Colombo-Tosatto
    • 1
  1. 1.Data61, CSIRODutton ParkAustralia
  2. 2.University of VeronaVeronaItaly

Personalised recommendations