Michael Gummelt
11/10/2023, 7:37 PMMike Austin
11/10/2023, 9:08 PMMichael Gummelt
11/10/2023, 9:11 PMBrian Hempel
11/10/2023, 9:51 PMwhere multiple examples are provided and the system tries to generalizeThis approach fails. Just have the user write the branch condition explicitly.
Michael Gummelt
11/10/2023, 9:54 PMBrian Hempel
11/10/2023, 9:55 PMMichael Gummelt
11/10/2023, 9:55 PMBrian Hempel
11/10/2023, 9:59 PMWe can prompt the user when they hit that failure, and ask them what they want to do.Maybe Eager did this? It sounds okay. But what you don’t want to do is implicitly try to infer the branch condition. I’ve seen many PBD systems and the amount of work to demonstrate to try to get the branch condition is very much greater than the amount of work to just say the branch condition.
Michael Gummelt
11/10/2023, 10:01 PMBrian Hempel
11/10/2023, 10:08 PMMichael Gummelt
11/10/2023, 10:10 PMBrian Hempel
11/10/2023, 10:13 PMMichael Gummelt
11/10/2023, 10:15 PMBrian Hempel
11/10/2023, 10:18 PMHave you seen any that operate on structured or relational data?Surprisingly, not off the top of my head (nor in my quick search). Closest I can find is Gneiss, which is great in its own right. https://www.cs.cmu.edu/~shihpinc/gneiss.html
Mike Austin
11/11/2023, 2:30 AMMichael Gummelt
11/11/2023, 2:31 AMMike Austin
11/11/2023, 5:16 AMJack Rusher
11/11/2023, 7:36 AM