rule based system

Types of commitments Contract Organisation with Google Docs Conclusion

Building an E-Contract ManagementSystem Using Google Docs

Gabriela Visinari and Adrian Groza

Department of Computer ScienceTechnical University of Cluj-Napoca, Romania

[email protected]

CINTI, 22 November 2011, Budapest, Hungary

November 20, 2011


Outline1 Types of commitments

Contractual CommitmentsRequest CommitmentsGuarantee CommitmentsInforming Commitments

2 Contract Organisation with Google DocsContract RepresentationRunning System

3 Conclusion



Contractual Commitments

Social Commitments



Extending Social Commitments

DefinitionA commitment is a relation

Cnm(x , y ,qn : [tissue], [?]pm : [tmaturity ]) : [texpiration]

with optional literals within square brackets, representing thepromise p made by debtor x to creditor y in exchange of whichthe action q is requested, where the time of maturity tmaturityshows the time remaining until the promise pm is satisfied bythe debtor x if the request qn holds until time tissue and? {+,,+,, ?} is an optional tag used to expressinforming messages.



Unilateral Contract

I will give you the item g1 in 5 days.

C01(me, you,1,g1 : 5)

gratuitous promise(n=0, m=1): C01(x , y ,1,p1 : tmaturity ).I will give you the item g1 in 5 days after youll pay the price

C11(me, you,pay(you) : tpay ,g1 : tpay + 5)

I will give you the item g1 as long as the oil price is 135$

C11(me, you,price = 135 : tprice,g1 : tprice + 5)

Definition (Unilateral Contract)A Unilateral Contract (n=1, m=1) involves an exchange of theofferers promise p for the oferees act q, where the debtor xpromises the creditor y to bring about p until tmaturity if conditionq holds at time tissue: C11(x , y ,q : tissue,p : tmaturity ).



Bilateral Contracts

I will give you the item g1 no later than 5 days, if you promiseme in maximum 1 day that you will pay the price no later than 3days

C11.5(me, you,C01(you,me,1,pay : 3) : 1,g1 : 5)

I will give you the item g1 no later than 5 days, if the bankpromises me in maximum one day to pay the price no later than3 days

C11.5(me, you,C01(bank ,me,1,pay : 3) : 1,g1 : 5)

Definition (Bilateral Contract)In a Bilateral Contract both sides make promises, the debtor xpromises the creditor y to bring about p if the creditor ypromises x to bring about p1:C11.5(x , y ,C

01(y , x ,1,p1),p).



Conditional Bilateral Contracts

I will give you the item g1 no later than 5 days, if you promiseme to pay the price no later than 3 days under the conditionthat oil price reaches 135$; my offer expires in 10 days. isrepresented byC21.5(me, you,C

11(you,me,oilPrice = 135,pay : 3),g1 : 5) : 10.

DefinitionIn a Conditional Bilateral Contract (n=2, m=1.5) the debtor xpromises the creditor y to bring about p if agent y promises xto bring about p1 under condition q1.

C21.5(x , y ,C11(y , x ,q1,p1),p)


Request Commitments

Request Act

Please pay me the price of the product g1 in two days isrepresented as a request act C10(me, you,price : 2,1).

DefinitionIn a Request Act (n=1, m=0) the debtor x requests the creditory to bring about q until time tissue: C10(x , y ,q : tissue,1)

Observe that the debtor does not promise anything.The acceptance of the above request is made simply bycausing the sentence q or performing the requested action.If the requested act is a negative sentence, it represents ataboo or interdiction.


Request Commitments

Request a Promise

Please promise me that you will pay for the item in 3 days isrepresented as C10.5(me, you,C

01(you,me,1,pay : 3),1).

DefinitionA Request a Promise (n=1, m=0.5) is used by a debtor x torequest the creditor y to promise until texpiration that it will bringabout p1 until tmaturity

C10.5(x , y ,C01(y , x ,1,p1 : tmaturity ) : texpiration,1)

obtainable from C10 q C01 .

The acceptance of the request is done by creating the innercommitment C01(y , x ,1,p1 : tmaturity ) until the deadline texpiration.


Request Commitments

Request a Request

Please request the bank to pay you as

C20(me, you,C10(you,bank ,pay ,1),1)

DefinitionIn a Request a Request (n=2, m=0) the debtor x requests thecreditor y to request the sentence q1 from another agent za

until time te

C20(x , y ,C01(y , z,q1,1) : texpiration,1)

obtainable from C01 q C01 .aThe agent z may be the debtor x .


Request Commitments

Request a Unilateral Contract

Please buy me shares as soon as their price reaches 10$ isrepresented by C20.5(me, you,C

11(you,me,price = 10,buy),1).

DefinitionIn a Request a Unilateral Contract (n=2, m=0.5) the debtor xrequests the creditor y to commit to bring about p1 if thecondition q1 holds

C20.5(x , y ,C11(y , z,q1,p1) : texpiration,1)

obtainable from C01 q C11 .


Guarantee Commitments

Guarantee to Commit

In these commitments the debtor promises that a specificcommitment will exist in a given window of time.For I guarantee you that the bank will commit in maximum 7days to give you the credit we use the formulaC01(me, you,1,C

01(bank , you,1, credit) : 7).

DefinitionIn a Guarantee to Commit (n=0, m=2) the debtor x guaranteesthe creditor y that a special commitment will exist until texpiration

C02(x , y ,1,C01(z, y ,1,p1) : texpiration)

obtainable from C01 p C01 .

If z = y the creditor manifests its own intention to commit.



Conditional Guarantee to Commit

If you have all the papers, I promise you that the bank willcommit in maximum 7 days to give you the credit isrepresented asC12(me, you,papers,C

01(bank , you,1, credit) : 7)).

DefinitionIn a Conditional Guarantee to Commit (n=1, m=2) the debtor xguarantees the creditor y that a specific commitment will existuntil texpiration if condition q holds

C12(x , y ,q,C01(z, y ,1,p1) : texpiration)

obtainable from C11 p C01 .



Forward Unilateral Contract

I commit you to sell my house to you in one year at the price200000$ by

C0.52 (me, you,1,C11(me, you,200000,house) : 365))

DefinitionIn a Forward Unilateral Contract (n=0.5, m=2) the debtor xguarantees the creditor y that a specific unilateral contract willexist until texpiration.

C0.52 (x , y ,1,C11(z, y ,q1,p1) : texpiration)

According to contract law, the particular case in which z = x isa form of a forward contract, obtainable from C01 p C11 . Applyingthe composition operators q or p we can also model forwardbilateral contracts and forward conditional bilateral contracts.


Informing Commitments

Fact Notification

We see the informing act as a form of commitment in the sensethat the agent who propagates some information guarantees itsvalidity.My partner informs me that he has already sent the money,while the bank says that the payment has not been made yetC01(partner ,me,1,+

pK pay) and C

01(bank ,me,1,pK pay).

DefinitionIn a Fact Notification the debtor x informs creditor y if a specificsentence p is +X p, X p, +X p, or X p according to itsdefeasible theory D.

C01(x , y ,1, ?p)



Commitment Notification

I inform you that agent z has an active commitment fordelivering to me the item g1 within 3 daysC02(me, you,1,+

pOC

01(z,me,1,g1 : 3)),

which may help me in the negotiation process with you.

DefinitionIn a Commitment Existence Notification the debtor x informsthe creditor y about the existence of a specific commitmentaccording to its defeasible theory D.

C02(x , y ,1, ?C01(z,w ,1,p))



Conditional Notification

If you promise me to keep it secret I will tell you if z iscommitted to me or not to deliver g1 will beC22(me, you,C

01(you,me,1, secret), ?C

01(z,me,1,g1)), an

example of a confidentiality agreement. This situation mayarise during negotiations for a larger contract, when agentsmay need to divulge information about their operations to eachother, also known as non-disclosure agreement.

DefinitionIn a Conditional Notification the debtor x informs the creditor yabout the existence of a specific commitment if condition qholds until ti .

C02(x , y ,q : ti , ?C01(z,w ,1,p))





3 Conclusion



Contract Representation

Aggregating Commitments into Contracts


Contract Representation

ContractsMinimum Quantity Contract. The supplier s commits to deliverthe quantity needed by the buyer b at the price of 20$ per unit,if the buyer b guarantees that quantity consists in at least 100items, in the orders made on June and July.Periodical Contract with Options. The supplier s commits todeliver daily 30 items to the buyer b at the price P=15$. Thesupplier s commits to deliver an extra number of r items to thebuyer b for the price P=10$ if the buyer orders that quantitywithin 20 days.Requirment Contract. The buyer b commits to agent s not toorder items from the concurrent agent z, but only if the delay indelivering the items is greater than 2 days.

C35 (s,b,C03 (b, s,1,C

10 (b, s,n,1) : Jun C10 (b, s,m,1)

: Jul n + m > 100),C11 (s,b,20 (n + m),n + m))C11 (s,b,15 : 1,30 : 1) : 1)C35 (s,b,C

10 (b, s, r ,1) : 20,C

11 (s,b,10 r , r))


Running System

Use Case Model


Running System

System Architecture


Running System

Contract Creation


Running System

Slots Filling


Running System

Publishing Contracts


Running System

Open Offers


Running System

Signed Contracts


Running System

View Contract


Running System

Contract Execution


Running System

Dynamic Organisation of Contracts





3 Conclusion



Conclusion

Investigating the use of commitments for formalrepresentation of contracts.Developing a contract management system based onGoogle Docs and Jess.


Conclusion

Investigating the use of commitments for formalrepresentation of contracts.Developing a contract management system based onGoogle Docs and Jess.

Thank you!

Types of commitmentsContractual CommitmentsRequest CommitmentsGuarantee CommitmentsInforming Commitments

Contract Organisation with Google DocsContract RepresentationRunning System

Conclusion

rule based system

Documents

item g1

google docs conclusionbuilding

econtract managementsystem

thepromise p

debtor xpromises

time tissue

google docsgabriela

creditor ypromises x