Expressing and verifying business contracts with abductive logic programming

International Journal of Electronic Commerce

Volumn 12, Issue 4, 2008, Pages 9-38

  Alberti, Marco ^a   Chesani, Federico ^b   Gavanelli, Marco ^a   Lamma, Evelina ^c   Mello, Paola ^d   Montali, Marco ^b   Torroni, Paolo ^e  

^a Department of Engineering ^*  (Italy)

^b Department of Electronics Informatics and Systems   (Italy)

^c UNIVERSITY OF FERRARA   (Italy)

^d Faculty of Engineering   (Italy)

^e UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Abductive logic programming; Business contracts; Declarative specifications; G SCIFF; Runtime verification; SCIFF; Static verification

Indexed keywords

EID: 48249126468     PISSN: 10864415     EISSN: None     Source Type: Journal    
DOI: 10.2753/JEC1086-4415120401     Document Type: Article

References (48)

1. Adi, A.; Stoutenburg, S.; and Tabet, S. (eds.), Rules and Rule Markup Languages for the Semantic Web: First International Conference. LNCS, vol. 3791. Berlin: Springer-Verlag, 2005.
2. Alberti, M.; Chesani, F.; Gavanelli, M.; Lamma, E.; and Mello, P. A verifiable logic-based agent architecture. In F. Esposito, Z.W. Rás, D. Malerba, and G. Semeraro (eds.), Foundations of Intelligent Systems: 16th International Symposium. LNAI, vol. 4203. Berlin: Springer-Verlag, 2006, pp. 188-197.
3. Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; and Torroni, P. The SCIFF abductive proof procedure. In S. Bandini and S. Manzoni (eds.), Proceedings of the 9th Congress of the Italian Association for Artificial Intelligence. LNAI, vol. 3673. Berlin: Springer-Verlag, 2005, pp. 135-147.
4. Alberti, M.; Chesani, F.; Gavanelli, M.; Lamma, E.; Mello, P.; and Montali, M. An abductive framework for a-priori verification of Web services. In A. Bossi and M. Maher (eds.), Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming. New York: ACM Press, 2006, pp. 39-50.
5. Alberti, M.; Chesani, F.; Gavanelli, M.; Lamma, E.; Mello, P.; and Torroni, P. Compliance verification of agent interaction. A logic-based tool. Applied Artificial Intelligence, 20, 2-4 (February/April 2006), 133-157.
6. Alberti, M.; Chesani, F.; Gavanelli, M.; Lamma, F.; Mello, P.; and Torroni, P. On the automatic verification of interaction protocols using g-SCIFF. Technical Report DEIS-LIA-04-004. LIA Series, no. 72. University of Bologna, 2005.
7. Alberti, M.; Chesani, F.; Gavanelli, M.; Lamma, E.; Mello, P.; and Torroni, P. Security protocols verification in abductive logic programming. A case study. In O. Dikenelli, M-P Gleizes, and A. Ricci (eds.), ESAW 2005 Post-Proceedings. LNAI, vol. 3963. Berlin: Springer-Verlag, 2006, pp. 106-124.
8. Alberti, M.; Chesani, F.; Gavanelli, M.; Lamma, E.; Mello, P.; and Torroni, P. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logic, 9, 4 (2008), forthcoming.
9. Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Sartor, G.; and Torroni, P. Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory, 12, 2-3 (October 2006), 205-225.
10. Alberti, M.; Chesani, F.; Daolio, D.; Gavanelli, M.; Lamma, E.; Mello, P.; and Torroni, P. Specification and verification of agent interaction protocols in a logic-based system. Scalable Computing: Practice and Experience, 8, 1 (2007), 1-13.
11. Alberti, M.; Chesani, F.; Gavanelli, M.; Lamma, E.; Mello, P.; Montali, M.; and Torroni, P. Policy-based reasoning for smart Web service interaction. In A. Polleres, S. Decker, G. Gupta, and J. de Bruijn (eds.), Proceedings of the 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services. CEUR Workshop Proceedings, vol. 196. Aachen: RWHT, 2006, pp. 87-102.
12. Anderson, A. A reduction of deontic logic to alethic modal logic. Mind, 67 (1958), 100-103.
13. Antoniou, G.; Maher, M.J.; and Billington, D. Defeasible logic versus logic programming without negation as failure. Journal of Logic Programming, 42, 1 (2000), 47-57.
14. Apt, K.R., and Bezem, M. Acyclic programs. New Generation Computing, 9, 3/4 (1991), 335-364.
15. Apt, K.R., and Bol, R.N. Logic programming and negation: A survey. Journal of Logic Programming, 19/20 (1994), 9-71.
16. Arisha, K.A.; Ozcan, F.; Ross, R.; Subrahmanian, V.S.; Eiter, T.; and Kraus, S. IMPACT: A platform for collaborating agents. IEEE Intelligent Systems, 14, 2 (March/April 1999), 64-72.
17. Artikis, A.; Sergot, M.J.; and Pitt, J. An executable specification of an argumentation protocol. In G. Sartor (ed.), Proceedings of the 9th International Conference on Artificial Intelligence and Law. New York: ACM, 2003, pp. 1-11.
18. Boella, G., and van der Torre, L.W.N. Attributing mental attitudes to normative systems. In J.S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo (eds.), Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems. New York: ACM Press, 2003, pp. 942-943.
19. Brewka, G.; Benferhat, S.; and Le Berre, D. Qualitative choice logic. Artificial Intelligence, 157, 1-2 (2004), 203-237.
20. Broersen, J.; Dignum, F.; Dignum, V.; and Meyer, J-J. Designing a deontic logic of deadlines. In A. Lomuscio and D. Nute (eds.), DEON. LNCS, vol. 3065. Berlin: Springer-Verlag, 2004, pp. 43-56.
21. Bürckert, H.J. A resolution principle for constrained logics. Artificial Intelligence, 66, 2 (1994), 235-271.
22. Business Process Modeling Notation Web site. www.bpmn.org.
23. Cabeza Gras, D., and Hermenegildo, M.V. Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library. Theory and Practice of Logic Programming, 1, 3 (2001), 251-282.
24. Clark, K.L. Negation as failure. In H. Gallaire and J. Minker (eds.), Logic and Data Bases. New York: Plenum Press, 1978, pp. 293-322.
25. Denecker M., and De Schreye, D. SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming, 34, 2 (1998), 111-167.
26. Dignum, V.; Meyer, J.J.; Dignum, F.; and Weigand, H. Formal specification of interaction in agent societies. In M.G. Hinchey, J.L. Rash, W.F. Truzkowski, C. Rouff, and D. Gordon-Spears (eds} Proceedings of the Second Goddard Workshop on Formal Approaches to Agent-Based Systems. LCNS, vol. 2699. Berlin: Springer, 2002, pp. 37-52.
27. Eiter, T.; Subrahmanian, V.S.; and Pick, G. Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108, 1-2 (March 1999), 179-255.
28. Farrell, A.D.H.; Sergot, M.J.; Sallé, M.; and Bartolini, C. Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems, 14, 2-3 (2005), 99-129.
29. Fung, T.H., and Kowalski, R.A. The IFF proof procedure for abductive logic programming. Journal of Logic Programming, 33, 2 (November 1997), 151-165.
30. Governatori, G. Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14, 2-3 (2005), 181-216.
31. Governatori, G., and Milosevic, Z. Dealing with contract violations: Formalism and domain specific language. In M.J. van Sinderen, M.W.A. Steen, M.M. Lankhorst, M. Alesky, and P.C.K. Hung (eds.), Proceedings of the Enterprise Distributed Object Computing Conference. Los Alamitos, CA: IEEE Computer Society, 2005, pp. 46-57.
32. Governatori, G., and Milosevic, Z. A formal analysis of a business contract language. International Journal of Cooperative Information Systems, 15, 4 (2006), 659-685.
33. Governatori, G.; Milosevic, Z.; and Sadiq, S. Compliance checking between business processes and business contracts. In P.C.K. Hung, Q. Li, and D. Sparrow (eds.), Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference. Los Alamitos, CA: IEEE Computer Society, 2006. pp. 221-232.
34. Governatori, G.; Rotolo, A.; and Sartor, G. Temporalised normative positions in defeasible logic. In G. Sartor and A. Gardner (eds.), Proceedings of the 10th International Conference on Artificial Intelligence and Law. New York: ACM Press, 2005, pp. 25-34.
35. Grosof, B.N.; Labrou, Y.; and Chan, H.Y. A declarative approach to business rules in contracts: Courteous logic programs in XML. In S. Feldman and M. Wellman (eds.), ACM Conference on Electronic Commerce. New York: ACM Press, 1999, pp. 68-77.
36. Herrestad, H. Norms and formalization. In A.R. Susskind (ed.), Proceedings of the 3rd International Conference on Artificial Intelligence and Law. New York: ACM Press, 1991, pp. 175-184.
37. Jaffar, J., and Maher, M.J. Constraint logic programming: A survey. Journal of Logic Programming, 19-20 (1994), 503-582.
38. Kunen, K. Negation in logic programming. Journal of Logic Programming, 4 (1987), 289-308.
39. Meyer, J.J. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29, 1 (1988), 109-136.
40. Milosevic, Z. Enterprise aspects of open distributed systems. Ph.D. dissertation, University of Queensland, Computer Science Department, October 1995.
41. Milosevic, Z.; Gibson, S.; Linington, P.F.; Cole, J.; and Kulkarni, S. On design and implementation of a contract monitoring facility. In B. Benatallah, C. Godart, and M.-C. Shan (eds.), Proceedings of the First International Workshop on Electronic Contracting. Los Alamitos, CA: IEEE Computer Society, 2004, pp. 62-70.
42. Prakken, H.; and Sergot, M. Contrary-to-duty obligations. Studia Logica, 57, 1 (1996), 91-115.
43. Sartor, G. Legal Reasoning: A Cognitive Approach to the Law. Berlin: Springer, 2005.
44. SCIFF abductive proof procedure, 2005. http://lia.deis.unibo.it/research/ sciff/.
45. SICStus prolog user manual, release 3.12.7, October 2006. www.sics.se/ isl/sicstus/.
46. Societies Of ComputeeS (SOCS): A computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. IST2001-32530, 2002-2005. http:// lia.deis.unibo.it/research/socs/.
47. van der Torre, L.W.N., and Tan, Y.-H. Diagnosis and decision making in normative reasoning. Artificial Intelligence and Law, 7, 1 (1999), 51-67.
48. Xanthakos, I. Semantic integration of information by abduction. Ph.D. dissertation, Imperial College London, 2003. www.doc.ic.ac.uk/~ix98 / PhD.zip).