Directed Deadline Obligations in Agent-Based Business Contracts
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitments through obligations. Deadline obligations have been modeled by considering that reaching the deadline without compliance brings up a violation. When modeling commitments in business contracts, directed obligations have been studied for identifying two agents: the obligation’s bearer and the counterparty, who may claim for legal action in case of non-compliance. We argue in favor of a directed deadline obligation approach, taking inspiration on international legislation over trade procedures. Our proposal to model contractual obligations is based on authorizations granted in specific states of an obligation lifecycle model, which we formalize using temporal logic and implement in a rule-based system. The performance of a contractual relationship is supported by a model of flexible deadlines, which allow for further cooperation between autonomous agents. As a result, the decision-making space of agents concerning contractual obligations is enlarged and becomes richer. We discuss the issues that agents should take into account in this extended setting.
KeywordsMultiagent System Linear Temporal Logic Deontic Logic United Nation Convention Contractual Relationship
Unable to display preview. Download preview PDF.
- 1.UNCITRAL: United nations convention on contracts for the international sale of goods, cisg (1980)Google Scholar
- 2.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)Google Scholar
- 3.Lopes Cardoso, H., Oliveira, E.: A context-based institutional normative environment. In: Hübner, J.F., Boissier, O. (eds.) AAMAS’08 Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN), Estoril, Portugal, pp. 119–133 (2008)Google Scholar
- 4.Ryu, Y.U.: Relativized deontic modalities for contractual obligations in formal business communication. In: 30th Hawaii International Conference on System Sciences (HICSS), Hawaii, USA, vol. 4, pp. 485–493 (1997)Google Scholar
- 5.Tan, Y.-H., Thoen, W.: Modeling directed obligations and permissions in trade contracts. In: Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, vol. 5. IEEE Computer Society, Los Alamitos (1998)Google Scholar
- 7.Emerson, E.A.: Temporal and modal logic. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol. B, pp. 995–1072. North-Holland Pub. Co./MIT Press (1990)Google Scholar
- 8.Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Proceedings of the 5th international conference on Artificial intelligence and law, College Park, Maryland, United States, pp. 210–218. ACM, New York (1995)Google Scholar
- 10.Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: Proc. 7th Intl. Joint Conf. on Autonomous Agents and Multiagent Systems, Estoril, Portugal, IFAAMAS, pp. 787–794 (2008)Google Scholar
- 13.Pasquier, P., Flores, R.A., Chaib-Draa, B.: Modelling flexible social commitments and their enforcement. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 139–151. Springer, Heidelberg (2005)Google Scholar
- 15.Sallé, M.: Electronic contract framework for contractual agents. In: Cohen, R., Spencer, B. (eds.) Advances in AI: 15th Conf. of the Canadian Soc. for Computational Studies of Intelligence, pp. 349–353. Springer, Heidelberg (2002)Google Scholar
- 17.Boella, G., van der Torre, L.: A game-theoretic approach to normative multi-agent systems. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems (NorMAS07). Dagstuhl Seminar Proceedings, vol. 07122 (2007)Google Scholar