Post on 15-Nov-2015
description
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
Adrian.Groza@cs.utcluj.ro
CINTI, 22 November 2011, Budapest, Hungary
November 20, 2011
Types of commitments Contract Organisation with Google Docs Conclusion
Outline1 Types of commitments
Contractual CommitmentsRequest CommitmentsGuarantee CommitmentsInforming Commitments
2 Contract Organisation with Google DocsContract RepresentationRunning System
3 Conclusion
CINTI, 22 November 2011, Budapest, Hungary
Types of commitments Contract Organisation with Google Docs Conclusion
Contractual Commitments
Social Commitments
Types of commitments Contract Organisation with Google Docs Conclusion
Contractual 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.
Types of commitments Contract Organisation with Google Docs Conclusion
Contractual Commitments
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 ).
Types of commitments Contract Organisation with Google Docs Conclusion
Contractual Commitments
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).
Types of commitments Contract Organisation with Google Docs Conclusion
Contractual Commitments
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)
Types of commitments Contract Organisation with Google Docs Conclusion
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.
Types of commitments Contract Organisation with Google Docs Conclusion
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.
Types of commitments Contract Organisation with Google Docs Conclusion
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 .
Types of commitments Contract Organisation with Google Docs Conclusion
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 .
Types of commitments Contract Organisation with Google Docs Conclusion
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.
Types of commitments Contract Organisation with Google Docs Conclusion
Guarantee Commitments
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 .
Types of commitments Contract Organisation with Google Docs Conclusion
Guarantee Commitments
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.
Types of commitments Contract Organisation with Google Docs Conclusion
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)
Types of commitments Contract Organisation with Google Docs Conclusion
Informing Commitments
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))
Types of commitments Contract Organisation with Google Docs Conclusion
Informing Commitments
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))
Types of commitments Contract Organisation with Google Docs Conclusion
Outline1 Types of commitments
Contractual CommitmentsRequest CommitmentsGuarantee CommitmentsInforming Commitments
2 Contract Organisation with Google DocsContract RepresentationRunning System
3 Conclusion
CINTI, 22 November 2011, Budapest, Hungary
Types of commitments Contract Organisation with Google Docs Conclusion
Contract Representation
Aggregating Commitments into Contracts
Types of commitments Contract Organisation with Google Docs Conclusion
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))
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Use Case Model
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
System Architecture
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Contract Creation
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Slots Filling
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Publishing Contracts
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Open Offers
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Signed Contracts
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
View Contract
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Contract Execution
Types of commitments Contract Organisation with Google Docs Conclusion
Running System
Dynamic Organisation of Contracts
Types of commitments Contract Organisation with Google Docs Conclusion
Outline1 Types of commitments
Contractual CommitmentsRequest CommitmentsGuarantee CommitmentsInforming Commitments
2 Contract Organisation with Google DocsContract RepresentationRunning System
3 Conclusion
CINTI, 22 November 2011, Budapest, Hungary
Types of commitments Contract Organisation with Google Docs Conclusion
Conclusion
Investigating the use of commitments for formalrepresentation of contracts.Developing a contract management system based onGoogle Docs and Jess.
Types of commitments Contract Organisation with Google Docs Conclusion
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