AD v GIS Context <Back>
<Back>
-
BO=BE=(R,A, Con) with R consists of the following rule:
-
•¬Internet ← CableBroken
stating that event CableBroken makes the Internet unavailable.
-
•¬RealtimeDelivery ← ¬Internet
stating that it is impossible for GIS to deliver in realtime its collected weather data when the Internet is unavailable (suppose in the contract two parties explicitly agreed to use the Internet for data delivery).
-
•A = {Internet}, Con(Internet) = ¬Internet
intuitively says that the Internet is commonly assumed to be available, unless there is explicit evidence to the contrary.
-
KO = KE = BO = BE representing that both parties are not expected to know that the cable could be broken.
-
CK is divided into the temporal common knowledge CKt and the general domain common knowledge CKd
-
CKt =(Rt,At,Con) with At = ∅ and Rt = {E ⊏ CableBroken←} stating that event “CableBroken” occurred after the contract-making event E.
-
CKd = BO = BE.
-
Cost function is undefined, representing that neither parties could set up alternative links for delivering data.
From these module the following arguments about factors of the case can be made:
-
✓“CableBroken” happened after contract making as CKt ⊢sk E ⊏ CableBroken.
-
✓“CableBroken” is unexpected for both parties as there are no arguments supporting Fire from both BO and BE.
-
✓“CableBroken” made Internet unavailable as CKd ∪ {“CableBroken”} ⊢sk ¬Internet.
-
✓RealtimeDelivery is impossible to be performed without the Internet as:
CKd ∪ {¬ Internet} ⊢sk ¬ RealtimeDelivery.
Let IMPOS be a module representing the doctrine of impossibility, it is easy to see that conditions 1 and 2 of the doctrine hold since IMPOS ⊢sk Impossibility(contract).
Further, conditions 3 and 4 also hold since there are no arguments for RiskAllocatedTo(GIS, contract).
Thus MoDiSo will say that IMPOS ⊢sk Rescind(GIS, contract), i.e. GIS could rescind from performing the contract on the grounds of impossibility.