• DocumentCode
    3104015
  • Title

    Defeasible Reasoning with e-Contracts

  • Author

    Giannikis, Georgios K. ; Daskalopulu, Aspassia

  • Author_Institution
    Dept. of Comput. & Commun. Eng., Thessaly Univ., Volos
  • fYear
    2006
  • fDate
    18-22 Dec. 2006
  • Firstpage
    690
  • Lastpage
    694
  • Abstract
    We propose a mapping from a contract representation in event calculus to default logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative state of a business exchange in the presence of incomplete or inaccurate knowledge. More importantly, we may use this representation in default logic coupled with priorities, in order to manage normative conflicts dynamically.
  • Keywords
    contracts; electronic commerce; formal logic; nonmonotonic reasoning; business exchange; default logic; defeasible reasoning; e-contract; event calculus; Artificial intelligence; Business communication; Calculus; Consumer electronics; Contracts; Delay effects; Intelligent agent; Knowledge management; Logic; Monitoring;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Agent Technology, 2006. IAT '06. IEEE/WIC/ACM International Conference on
  • Conference_Location
    Hong Kong
  • Print_ISBN
    0-7695-2748-5
  • Type

    conf

  • DOI
    10.1109/IAT.2006.51
  • Filename
    4052995
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3104015