DR-Contract: An Architecture for e-Contracts in Defeasible Logic
Speaker: Dr Guido Governatori, ITEE
When: 2007-03-07 14:00:00
Venue: 78-420
Host: Dr Heng Tao Shen
Abstract:We introduce the DR-CONTRACT architecture to represent and reason on
e-Contracts. The architecture extends the DR-device architecture by
a deontic defeasible logic of violation. We motivate the choice for
the logic and we show how to extend RuleML to capture the notions
relevant to describe e-contracts for a monitoring perspective in
Defeasible Logic.
Biography:(biography unavailable)
Type: DKE Seminar
Contact:Dr Heng Tao Shen, seminar host (shenht@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)