Suppose we have two possible actions X,Y and A prefers to to to and B prefers to to to . What will be the outcome if both of them use main4() with their respective orderings and the same proves() function?
Probably , which is not quite optimal. This doesn’t solve the bargaining problem, which is exactly what your example is.
Most likely , but possibly or if one of the agents manages to “trick” the other.
Suppose we have two possible actions X,Y and A prefers to to to and B prefers to to to . What will be the outcome if both of them use main4() with their respective orderings and the same proves() function?
Probably , which is not quite optimal. This doesn’t solve the bargaining problem, which is exactly what your example is.
Most likely , but possibly or if one of the agents manages to “trick” the other.