3. Choose the transition system described by the following ASP program. Note that p denotes a fluent symbol, and a denotes an action symbol. (Hint: the 2nd rule is different from that in the slides) 1 point 1 2 3 4 5 6 booleant;f). p(1, T-1) :-alT), T-... 1{p(8.a): boolean 1. - T-1.., not 1(pe, T): boolean(BI). {a{TI) :--...-1. {p/B, T411) :-p A, T), T-..-1. auf auf p=f a=t put a=t o a=t a=t p=f a=f p=t a=f o auf auf auf p=f pat a=t a=t o auf auf a=t p=f put