A logical model of transfer of obligations in trade contracts

Abstract

In this paper we present an outline of a formal framework for representing Deontic Deep Structure Models for business procedures and contracts. These models can be used in redesign of such procedures. In particular, to transform paper-based procedures into electronic procedures for electronic commerce. The framework is based on a combination of deontic logic and action logic. To illustrate its usefulness we illustrate how transferable obligations, i.e. obligations that can be transferred from one agent to another, can be analysed in this framework. In particular, we analyse the difference between transfer of agency and transfer of liability of an obligation.