Doctrine of  Mutual Mistake<1,2,3,4>

MAN v CZD

 

Coastal Zone Department

(CZD)

RiskAllocatedTo(CZD, contract)

CZD’s Belief Base cr ¬ DailyOilSpillMap

Seaport

Manager

Doctrine of Mutual Mistake<1,2,3,4>

Rescind(CZD,  contract)

MutualMistake(DailyOilSpillMap, contract)

¬ RiskAllocatedTo(CZD, contract)

ViolateBA(contract)

CZD’s Belief Base cr  DailyOilSpillMap

and

MAN’s Belief Base cr  DailyOilSpillMap

CK sk Hold(DayWithoutImage, E)

CK ∪ {DayWithoutImage}sk ¬DailyCompositeMap

CK ∪ {DayWithoutImage} sk 

¬ DailyOilSpillMap

CZD’s Belief Base ∪ {DailyOilSpillMap} sk  Price(1000)

and

MAN’s Belief Base ∪ {DailyOilSpillMap} sk  Price(1000)

MoDiSo system

MMIS sk   Rescind(CZD,  contract) ???