repairing decision making programs under uncertainty
play

Repairing Decision-Making Programs Under Uncertainty Samuel Drews - PowerPoint PPT Presentation

Feb 08, 2024 •167 likes •656 views

Repairing Decision-Making Programs Under Uncertainty Samuel Drews Aws Albarghouthi Loris DAntoni University of Wisconsin-Madison Example Fairness Condition decision- making program Example Fairness Condition sensitive feature (e.g.

  1. Repairing Decision-Making Programs Under Uncertainty Samuel Drews Aws Albarghouthi Loris D’Antoni University of Wisconsin-Madison

  3. Example Fairness Condition decision- making program

  4. Example Fairness Condition sensitive feature (e.g. minority)

  5. Example Fairness Condition probabilistic precondition

  6. FairSquare [OOPSLA 17] Unfairness proof Fairness proof

  7. FairSquare [OOPSLA 17] Unfairness proof Fairness proof

  8. Probabilistic program repair: definition 8 Input The postcondition does not hold

  9. Probabilistic program repair: definition 9 Input Output Program in repair model The postcondition does not hold The postcondition holds , Difference between and is minimal

  14. Challenge: What should the output of be on each input?

  17. 17 DIGITS: DIstribution-Guided InducTive Synthesis Sampling Samples Synthesizer from Candidate Candidate Repair accepted/rejected Probabilistic Verifier

  18. 18 DIGITS: DIstribution-Guided InducTive Synthesis Sample n inputs from precondition inp 1 inp 2 … inp n …

  19. 19 DIGITS: DIstribution-Guided InducTive Synthesis Sample n inputs from precondition inp 1 inp 2 … inp n … T T T … T T T T … F T T F … T T T F … F T F T T … .. .. .. … …

  20. 20 DIGITS: DIstribution-Guided InducTive Synthesis For each labeling, synthesize one Sample n inputs program consistent with it and from precondition check postcondition inp 1 inp 2 … inp n … T T T … T T T T … F T T F … T T T F … F T F T T … .. .. .. … …

  21. 21 DIGITS: DIstribution-Guided InducTive Synthesis For each labeling, synthesize one Sample n inputs program consistent with it and from precondition check postcondition inp 1 inp 2 … inp n … T T T … T T T T … F T T F … T T T F … F T F T T … .. .. .. … … …

  22. 22 DIGITS: DIstribution-Guided InducTive Synthesis For each labeling, synthesize one Sample n inputs program consistent with it and from precondition check postcondition inp 1 inp 2 … inp n … T T T … T T T T … F T T F … T T T F … F T F T T … .. .. .. … … …

  23. 23 DIGITS: DIstribution-Guided InducTive Synthesis For each labeling, synthesize one Sample n inputs program consistent with it and from precondition check postcondition inp 1 inp 2 … inp n … T T T … T Output that T T T … F has minimal T T F … T T T F … F T F T T … .. .. .. … … …

  27. 27 Does DIGITS work? 18 repair problems: decision trees, support vector machines 10 minute best-effort period All repaired!

  28. 28 Does DIGITS work?

  29. 29 Does DIGITS converge? Yes * * terms and conditions apply: repair model has finite VC-dimension postcondition has some extra continuity property (see paper)

  30. 30 VC dimension of a set of programs image: V. Kecman, 2001

  31. 31 VC dimension of a set of programs image: V. Kecman, 2001

  32. 32 Does DIGITS work? Assume: • there exists an optimal solution • repair model has finite VC-dimension

  33. 33 Does DIGITS work? Assume: • there exists an optimal solution • repair model has finite VC-dimension For every , if we run DIGITS on samples, then with probability we find a solution with .

  39. Trie Structure Sample one point at a time

  40. Trie Structure Sample one point at a time

  41. Trie Structure Sample one point at a time

  42. Trie Structure Sample one point at a time

  43. Trie Structure Sample one point at a time

  44. Trie Structure Sample one point at a time

  45. Trie Structure Sample one point at a time

  46. Trie Structure Sample one point at a time Prune the trie and generalize

  47. Trie Savings

  48. DIGITS Sampling Samples Synthesizer from Candidate Candidate Repair accepted/rejected Probabilistic Verifier

Recommend

Decision Making Under Uncertainty Making Decisions Under Uncertainty AI C LASS 10 (C H .

Decision Making Under Uncertainty Making Decisions Under Uncertainty AI C LASS 10 (C H .

Todays Class Decision Making Under Uncertainty Making Decisions Under Uncertainty AI C LASS 10 (C H . 15.1-15.2.1, 16.1-16.3) Tracking Uncertainty over Time Decision Making under Uncertainty sensors Decision Theory ?

229 views • 8 slides
Decision Making Privacy-Motivated . . . under Uncertainty: Uncertainty Leads to . . .

Decision Making Privacy-Motivated . . . under Uncertainty: Uncertainty Leads to . . .

Quantitative . . . The Notion of Utility Traditional Approach: . . . Need for Distributed . . . Decision Making Privacy-Motivated . . . under Uncertainty: Uncertainty Leads to . . . Uncertainty in . . . Algorithmic Approach Uncertainty in

668 views • 62 slides
Decision Making Under Uncertainty 14.123 Microeconomic Theory III Muhamet Yildiz Decision

Decision Making Under Uncertainty 14.123 Microeconomic Theory III Muhamet Yildiz Decision

2/11/2014 Decision Making Under Uncertainty 14.123 Microeconomic Theory III Muhamet Yildiz Decision Making Under Risk Summary C = Finite set of consequences X = P = lotteries (prob. distributions on C ) Expected Utility

197 views • 8 slides
Decision Making Under Decision Making . . . General Set Uncertainty: Proof of This Result

Decision Making Under Decision Making . . . General Set Uncertainty: Proof of This Result

Need for Decision . . . From Interval to Set . . . Additivity: the Main . . . Decision Making . . . Decision Making Under Decision Making . . . General Set Uncertainty: Proof of This Result Remaining Problem Additivity Approach Main Result

519 views • 22 slides
Decision Models Provide a framework for decision making under uncertainty Help structure

Decision Models Provide a framework for decision making under uncertainty Help structure

Conducting and Implementing CEAs Karen Kuntz, ScD Recommendations of the Second Panel on Cost-Effectiveness in Health and Medicine Decision Models Provide a framework for decision making under uncertainty Help structure the

848 views • 39 slides
Decision Making Under First Application to . . . Uncertainty with 2nd Application to . . .

Decision Making Under First Application to . . . Uncertainty with 2nd Application to . . .

Decision Theory: A . . . Which Is the Optimal . . . Teaching . . . How to Speed Up . . . Decision Making Under First Application to . . . Uncertainty with 2nd Application to . . . Explaining . . . Applications to Geosciences Application to

1.1k views • 51 slides
Decision Making under Uncertainty AI Class 10 (Ch. 15.1-15.2.1, 16.1-16.3) sensors ?

Decision Making under Uncertainty AI Class 10 (Ch. 15.1-15.2.1, 16.1-16.3) sensors ?

Decision Making under Uncertainty AI Class 10 (Ch. 15.1-15.2.1, 16.1-16.3) sensors ? environment agent actuators Material from Marie desJardin, Lise Getoor, Jean-Claude Cynthia Matuszek CMSC 671 Latombe, Daphne Koller, and Paula

738 views • 19 slides
Decision Making Under Need to Go Beyond . . . Interval Uncertainty: Analysis of the Problem

Decision Making Under Need to Go Beyond . . . Interval Uncertainty: Analysis of the Problem

Decision Making . . . Hurwiczs Idea Scale Invariance Additivity Decision Making Under Need to Go Beyond . . . Interval Uncertainty: Analysis of the Problem Scale Invariance and . . . Beyond Hurwicz Main Result Relation to Non- . . .

677 views • 25 slides
Radical Uncertainty Decision-making for an unknowable future John Kay A measurable

Radical Uncertainty Decision-making for an unknowable future John Kay A measurable

Radical Uncertainty Decision-making for an unknowable future John Kay A measurable uncertainty, or risk proper, as we shall use the term, is so far different from an unmeasurable one that it is not in effect an uncertainty at

240 views • 10 slides
Decision Making from Data: Causes and Uncertainty William Marsh, william@eecs.qmul.ac.uk

Decision Making from Data: Causes and Uncertainty William Marsh, william@eecs.qmul.ac.uk

Decision Making from Data: Causes and Uncertainty William Marsh, william@eecs.qmul.ac.uk Risk Assessment and Decision Analysis Research Group Acknowledgements RSSB George Bearfield, Anna Holloway

1.08k views • 55 slides
Decision-making under uncertainty: Robust approaches for adapting to climate change using

Decision-making under uncertainty: Robust approaches for adapting to climate change using

Decision-making under uncertainty: Robust approaches for adapting to climate change using afforestation as an example. Anita Wreford Anita Wreford and Ruth Dittrich Scion SRUC NZARES Conference Nelson 24-26 August Outline 1. Uncertainty in

405 views • 17 slides
Supported decision-making, legal risk and commercial uncertainty Speakers: Julia Duffy, Deputy

Supported decision-making, legal risk and commercial uncertainty Speakers: Julia Duffy, Deputy

Paper presented at Australian Guardianship and Administration Council (AGAC) 2016 National Conference, Sydney 17 to 18 October Reflecting Will and Preference in Decision Making Supported decision-making, legal risk and commercial

286 views • 13 slides
Decision Making Under Uncertainty HW 3 out Group work for non-programming parts! AI C LASS

Decision Making Under Uncertainty HW 3 out Group work for non-programming parts! AI C LASS

Bookkeeping Decision Making Under Uncertainty HW 3 out Group work for non-programming parts! AI C LASS 10 (C H . 15.1-15.2.1, 16.1-16.3) Heavy on CSPs and probability Forms groups today or in Piazza sensors Note corrected

529 views • 8 slides
Decision making under uncertainty Course overview Christos Dimitrakakis October 29, 2013 . .

Decision making under uncertainty Course overview Christos Dimitrakakis October 29, 2013 . .

Decision making under uncertainty Course overview Christos Dimitrakakis October 29, 2013 . . . . . . Christos Dimitrakakis () Decision making under uncertainty October 29, 2013 1 / 8 The problem of decision making under uncertainty

578 views • 18 slides
Managing Uncertainty in the Context of Risk Acceptance Decision-Making at NASA: Thinking Beyond

Managing Uncertainty in the Context of Risk Acceptance Decision-Making at NASA: Thinking Beyond

Managing Uncertainty in the Context of Risk Acceptance Decision-Making at NASA: Thinking Beyond The Model Presented at the Rigorous Test and Evaluation for Defense, Aerospace, and National Security" Workshop Crystal City, VA April

727 views • 15 slides
Likert-Scale Fuzzy Uncertainty from a Traditional Decision Making Viewpoint: Incorporating both

Likert-Scale Fuzzy Uncertainty from a Traditional Decision Making Viewpoint: Incorporating both

Likert-Scale Fuzzy Uncertainty from a Traditional Decision Making Viewpoint: Incorporating both Subjective Probabilities and Utility Information Joe Lorkowski and Vladik Kreinovich Department of Computer Science University of Texas at El Paso

556 views • 38 slides
Decision Problems Decision Making under Uncertainty, Part III Christos Dimitrakakis Chalmers

Decision Problems Decision Making under Uncertainty, Part III Christos Dimitrakakis Chalmers

Decision Problems Decision Making under Uncertainty, Part III Christos Dimitrakakis Chalmers 1/11/2013 Christos Dimitrakakis (Chalmers) Decision Problems 1/11/2013 1 / 35 1 Introduction 2 Rewards that depend on the outcome of an experiment

1.01k views • 63 slides
DECISION MAKING readysetpresent.com Decision Making Program Objectives ( 1 of 2 ) To examine

DECISION MAKING readysetpresent.com Decision Making Program Objectives ( 1 of 2 ) To examine

DECISION MAKING readysetpresent.com Decision Making Program Objectives ( 1 of 2 ) To examine different decision making models. To maximize creativity and logic in decision making. To acquire decision making tips and techniques that

2.35k views • 175 slides
Using Data to Promote Equitable Implementation: Decision-Making, Data, and Uncertainty in Complex

Using Data to Promote Equitable Implementation: Decision-Making, Data, and Uncertainty in Complex

Using Data to Promote Equitable Implementation: Decision-Making, Data, and Uncertainty in Complex Systems Rohit Ramaswamy & Kirsten Kainz Summer Institute on Implementation Science June 2019 UNC-CH School of Social Work Overview of our

301 views • 19 slides
Tackling uncertainty in green pricing decision- making M. Geerts, M. Dooms & M. Langenus

Tackling uncertainty in green pricing decision- making M. Geerts, M. Dooms & M. Langenus

Tackling uncertainty in green pricing decision- making M. Geerts, M. Dooms & M. Langenus Date: 25th of August 2016 M. Langenus 1 1. Context of the research Seaports are large networked infrastructures, which have considerable spatial

268 views • 16 slides
MI MI and Shared MI MI and Shared and Shared Decision Making and Shared Decision Making

MI MI and Shared MI MI and Shared and Shared Decision Making and Shared Decision Making

The project PRECIOUS has received funding from the European Union s Seventh Framework Programme under Grant Agreement n 611366" MI MI and Shared MI MI and Shared and Shared Decision Making and Shared Decision Making Decision Making

412 views • 20 slides
Technology Investment Decision-Making under Uncertainty in Mobile Payment Systems Robert J.

Technology Investment Decision-Making under Uncertainty in Mobile Payment Systems Robert J.

Technology Investment Decision-Making under Uncertainty in Mobile Payment Systems Robert J. Kauffman, Jun Liu and Dan Ma School of Information Systems Singapore Management University Introduction 2012, the year in payments Mobile

479 views • 13 slides
Decision Making under Uncertainty Part 1: Introduction to probability Christos Dimitrakakis

Decision Making under Uncertainty Part 1: Introduction to probability Christos Dimitrakakis

Decision Making under Uncertainty Part 1: Introduction to probability Christos Dimitrakakis April 4, 2014 1 Probability Two notions of probability While probability is a simple mathematical construction, philosophically it has had at least

699 views • 14 slides
Decision Making 1 Decision Making Skills Establishing a positive decision-making environment.

Decision Making 1 Decision Making Skills Establishing a positive decision-making environment.

Decision Making 1 Decision Making Skills Establishing a positive decision-making environment. Generating potential solutions. Evaluating the solutions. Deciding. How did you score? Checking the decision. Communicating and

938 views • 50 slides

More recommend