EVIDENCE-CRITICAL

The failure of an evidence-critical system to produce accurate and interpretable information that can be disclosed could lead to the loss of significant sums of money or an individual's liberty. Well designed evidence-critical systems can cost-effectively resolve disputes quickly and with confidence, removing the impediments to disclosing the necessary information in disputes. See my post, "Evidence Critical Systems: Designing for Dispute Resolution", for more details. To receive updates from this research project (up to 12 emails per year), please send a blank email to cs-evidencecritical-join@ucl... If you want a computer to require that actions meet certain criteria, the actions and criteria must be precisely specified in a programming language. However, many real-world tasks require human interpretation to enforce policies, or rely on information not available to the computer at the time of the decision... Well designed evidence-critical systems can cost-effectively resolve..