In this paper I provide an outline of a new kind of constitutive account of self-knowledge. It is argued that in order for the model properly to explain transparency, a further category of propositional attitudes—called “commitments”—has to be countenanced. It is also maintained that constitutive theories can’t remain neutral on the issue of the possession of psychological concepts, and a propo...

We introduce and formally define all-but-k mercurial commitments, a new kind cryptographic commitment that generalizes standard mercurial and non-mercurial (vector) commitments. We provide two concrete constructions for all-but-k mercurial commitments: the first is for committing to unordered lists (i.e., to multisets) and the second is for committing to ordered lists (i.e., to vectors). Both o...

Web Service is one of the most important information sharing technologies on the web and one of the example of service oriented processing. To guarantee accurate execution of web services operations, they must be accountable with regulations of the social networks in which they sign up. This operations implement using controls called “Commitment”. This paper studies commitments , then has an ov...

In this paper we develop a semantics of our approach based on commitments and arguments for conversational agents. We propose a logical model based on CTL* (Extended Computation Tree Logic) and on dynamic logic. Called Commitment and Argument Network (CAN), our formal framework based on this hybrid approach uses three basic elements: social commitments, actions that agents apply to these commit...

Despite their dynamic nature, social commitments have been rarely used for monitoring purposes, and few attention has been paid to the relationship between commitments and the temporal dimension and to the corresponding run-time verification. Building on previous work, we present a declarative axiomatization of time-aware social commitments, extending their basic life cycle with time-related tr...

With the rapid advancement of e-service technology, there is a need to manage business relationships among business entities such as service providers, service consumers, and internal departments. In this paper, we have proposed a novel approach to business relationship management using business commitments and associated business commitment hubs. Business commitments are commitments related to...

Web Service is one of the most significant current discussions in information sharing technologies and one of the examples of service oriented processing. To ensure accurate execution of web services operations, it must be adaptable with policies of the social networks in which it signs up. This adaptation implements using controls called “Commitment”. This paper describes commitments structure...

We propose Cupid, a language for specifying commitments that supports their information-centric aspects, and offers crucial benefits. One, Cupid is first-order, enabling a systematic treatment of commitment instances. Two, Cupid supports features needed for real-world scenarios such as deadlines, nested commitments, and complex event expressions for capturing the lifecycle of commitment instanc...

Selective opening attacks against commitment schemes occur when the commitment scheme is repeated in parallel (or concurrently) and an adversary can choose depending on the commit-phase transcript to see the values and openings to some subset of the committed bits. Commitments are secure under such attacks if one can prove that the remaining, unopened commitments stay secret. We prove the follo...

The problem addressed in this paper is the supply chain reactivity assessment through numerical experimentations regarding specifically two negotiated commitments within supply contract: the frozen horizon and flexibility rate. Analysis of impact of these commitments on each partner will be depicted in term of storage costs, reliability and reactivity indicators. The decision making inside each...