Handbook of theoretical computer science (vol. B)
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Electronic Contract Framework for Contractual Agents
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Modeling Directed Obligations and Permissions in Trade Contracts
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Relativized Deontic Modalities for Contractual Obligations in Formal Business Communication
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Formalizing and achieving multiparty agreements via commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Modelling flexible social commitments and their enforcement
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Identifying conditional norms in multi-agent societies
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Monitoring directed obligations with flexible deadlines: a rule-based approach
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
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.