A Semantic Web Based Architecture for e-Contracts in Defeasible Logic

Governatori, Guido; Hoang, Duy Pham

doi:10.1007/11580072_12

Cited by 13 publications

(12 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this paper we will concentrate only on the normative specifications of a contract. Accordingly, we will ignore Sections 1, 2, and 3 of the contract, and similarly for clause 4.1 which states what the basic prices are and clause 6.2 that states what a payment is (see [5], [6], for a representation of these clauses in the spirit of an extension of FCL). The normalisation process give us the following rules…”

Section: Representing the Contract In Fclmentioning

confidence: 99%

Compliance checking between business processes and business contracts

Governatori

Milošević

Sadiq

2006

2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06)

Self Cite

187

133

View full text Add to dashboard Cite

It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This paper provides a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The central part of the paper are logic based formalism for describing both the semantics of contract and the semantics of compliance checking procedures.

show abstract

Section: Representing the Contract In Fclmentioning

confidence: 99%

Compliance checking between business processes and business contracts

Governatori

Milošević

Sadiq

2006

2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06)

Self Cite

187

133

View full text Add to dashboard Cite

show abstract

“…Other authors propose to rules to reason about established contracts: in [14], for example, Defeasible Deontic Logic of Violation is used to monitor the execution of a previously agreed contract. We have addressed this issue in a companion paper [9], where integrity constraints have been exploited and conciliated with the deontic concepts.…”

Section: Discussionmentioning

confidence: 99%

Web Service Contracting: Specification and Reasoning with SCIFF

Alberti

Chesani

Gavanelli

et al.

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service location, called, by some authors, contracting. We address contracting both at the operational level and at the semantic level. We present a framework encompassing communication and reasoning, in which web services exchange and evaluate goals and policies. Policies represent behavioural interfaces. The reasoning procedure at the core of the framework is based on the abductive logic programming SCIFF proof-procedure. We describe the framework, show by examples how to formalise policies in the declarative language of SCIFF, and give the framework a model-theoretic and a sound proof-theoretic semantics.

show abstract

“…In this section we discuss approaches that deal with defeasible and non-monotonic reasoning with e-contracts [112,204,113,111,22,104,105,191,189]. In what follows we present the main points of those proposals.…”

Section: Non-monotonic Reasoningmentioning

confidence: 99%

“…In [104,105] normative clauses that contain deontic notions and intend to regulate the whole transaction. The underlying logic that is adopted is Nute's Defeasible Logic [187].…”

Section: Non-monotonic Reasoningmentioning

confidence: 99%

See 1 more Smart Citation

Symbolic representations and common - sense reasoning in open multi - agent systems

Giannikis¹,

Γιαννίκης²

View full text Add to dashboard Cite

This thesis concerns with intelligent autonomous software agents that populate open computational environments, in which they interact for various purposes, e.g. competitively in the case of auctions or resource allocation problems, collaboratively in the case of distributed problem solving or parallel processing, joint planning, etc. We use the term open to characterize a computational environment in Hewitt's sense, that is to describe an environment that is dynamic, continuous, unobservable (or, at best, partially observable) and non-deterministic.Agents in such environments possess, unavoidably, information that is incomplete, imprecise, maybe even incorrect, due to the very fact that the environment is open and, at the very least, agents join and leave it as they please. The information exchanged between agents may be delayed, or distorted by noise during its communication, and in any case, as the environment evolves, it is bound to change.The interactions among agents in any multi-agent system are typically governed by norms. These may refer to restrictions on communication means among agents, or to particular coordination mechanisms, liveness and safety properties of the system etc. In some application areas, such as ecommerce, additional norms may regulate the agents' behaviours, resulting from agreements into which the agents enter willingly, and possibly from the protocol that governs the e-market. Norms prescribe what each agent is obliged, permitted, prohibited, empowered and so on, to do during its life in the particular environment. Autonomous agents decide for themselves which norms to subject itself to and whether to comply with the norms of their environment. This decision-making is all the more challenging when an agent has to perform it in circumstances where its available knowledge is incomplete/imprecise/incorrect. This thesis addresses the need and requirement for common-sense reasoning agents in open computational environments. We discuss and illustrate our proposals with reference to an e-commerce example. First, based on the example scenario, we identify the requirements for the representation of the norms that govern the environment and the specifications for the environment itself. Nevertheless, our proposals are generally applicable to any case where multiple agents interact and their interaction is governed by some contract as a coordination or collaboration mechanism.Primarily, this thesis examines and motivates the need of agents to fill in information gaps by resorting to assumptions. Agents need to be able to identify and use assumptions dynamically, in any open computational environment, as well as in the particular application context of an e-commerce example. We present a novel approach to dynamic assumption identification and hypothetical nonmonotonic reasoning inspired by the syntax and semantics of Default Logic, without however resorting to proof, which is notably computationally hard. We discuss in detail what distinguishes our approach from other work on dynamic assumption...

show abstract

A Semantic Web Based Architecture for e-Contracts in Defeasible Logic

Cited by 13 publications

References 20 publications

Compliance checking between business processes and business contracts

Compliance checking between business processes and business contracts

Web Service Contracting: Specification and Reasoning with SCIFF

Symbolic representations and common - sense reasoning in open multi - agent systems

Contact Info

Product

Resources

About