Paper
Specification of contractual obligations in formal business communication

https://doi.org/10.1016/S0169-023X(97)00048-7Get rights and content

Abstract

Formal business communication is a process-oriented (vs. document-oriented) environment for digital interoorganizational business transactions. They improve efficiency and effectiveness of business communications and often provide strategic advantages. Thanks to the current advances in information and telecommunications technologies, the development of formal business communication systems plays one of the key roles in the establishment of digital commerce, or virtual organizational business transaction platform. This paper proposes a logic of relativized deontic modalities as a component of digital commerce systems. The logic of relativized deontic modalities provides syntactic and semantic treatment for such notions of duty in the context of formal business communications. Also addressed are the practical issue of conflicts of duties and their resolution based on defeasibility reasoning, and the dynamic aspect of contractual obligations including delegation of duties and assignment of rights. Finally, we suggest augmentation of the CASE/Open-EDI system with the proposed logic of contractual obligations.

References (33)

  • R. Reiter

    A logic for default reasoning

    Artificial Intelligence

    (1980)
  • Y.U. Ryu

    Conditional deontic logic augmented with defeasible reasoning

    Data & Knowledge Engineering

    (1995)
  • P. Baran

    The future computer utility

    The Public Interest

    (1967)
  • H.-N. Castañeda

    On the semantics of the ought-to-do

    Synthese

    (1970)
  • S.K. Dewitz et al.

    Legal procedures as formal conversations: Contracting on performative network

  • D. Føllesdal et al.

    Deontic logic: An introduction

  • B. Hansson

    An analysis of some deontic logics

    Noûs

    (1969)
  • H. Herrestad et al.

    Deontic logic relativised to bearers and counterparties

  • H. Herrestad et al.

    Obligations directed from bearers to counterparties

  • R. Hilpinen

    An analysis of relativised modalities

  • R. Hilpinen

    On the semantics of personal directives

  • W.N. Hohfeld

    Fundamental Legal Conceptions as Applied in Judicial Reasoning

    (1919)
  • J.F. Horty

    Deontic logic as founded in nonmonotonic logic

    Annals of Mathematics and Artificial Intelligence

    (1993)
  • S.O. Kimbrough

    On representation schemes for electronic promising

  • S.O. Kimbrough et al.

    On formal aspects of electronic (or digital) commerce: Examples of research issues and challenges

  • C.R. Kordig

    Relativized deontic modalities

  • Cited by (8)

    • Semantic interoperability with heterogeneous information systems on the internet through automatic tabular document exchange

      2017, Information Systems
      Citation Excerpt :

      Defeasible logic [53,54] has attracted significant attention in non-monotonic reasoning due to its well-defined proof theory and semantics [55]. Besides its applications in the e-marketplace, it has many applications in different areas such as semantic web [56,57], agent-driven systems [58,59], ambient intelligent [60,61], business process modeling [62,63], legal reasoning [64,65], etc. In our semantic inference approach, the logic applied for rule reasoning is the defeasible logic [52,66], which handles both strict and defeasible rules, particularly the priority (i.e., a preference relation in a document).

    • Process modelling, delegation and control in global software development

      2011, International Journal of Computer Applications in Technology
    • Collaborative approach for modeling and performing mobile software process components

      2005, Proceedings - 2005 International Symposium on Collaborative Technologies and Systems
    View all citing articles on Scopus
    View full text