ZADANIE: BRAMA, KTÓREJ REGUŁY NIE WOLNO ZGADNĄĆ Rozwiąż zam...

Prompt

ZADANIE: BRAMA, KTÓREJ REGUŁY NIE WOLNO ZGADNĄĆ Rozwiąż zamknięte zadanie logiczne. Pokaż wyniki, krótkie sprawdzalne uzasadnienia i kontrprzykłady. Nie opisuj obsługi platformy ani ręcznej naprawy kodu. Na końcu podaj dokładnie jeden wiersz RESULT w podanym formacie. ŚRODOWISKO Nieskończona siatka całkowita, bez przeszkód. Brama nie ogranicza ruchu. Środowisko jest deterministyczne. Dokładnie jedna z H1–H8 jest prawdziwym mechanizmem otwarcia bramy; lista jest wyczerpująca i stała między epizodami. Start epizodu: position=(0,0), energy=4, gate=CLOSED Akcje: RIGHT: x+=1, energy-=1 LEFT: x-=1, energy-=1 UP: y+=1, energy-=1 DOWN: y-=1, energy-=1 WAIT: pozycja i energia bez zmian RESET: tylko na (0,0); przywraca start i kasuje historię epizodu; nie zmienia mechanizmu bramy. RESET wolno wykonać także przy energy=0. WAIT wolno zawsze, także przy energy=0. Każda akcja, także WAIT i RESET, kosztuje 1 jednostkę budżetu eksperymentu. RESET nie liczy się jako akcja nowego epizodu; po nim licznik akcji epizodu=0. Po każdej akcji obserwujesz position, energy, gate. Brama po otwarciu pozostaje OPEN do RESET. Nie ma zmian między akcjami. PRE_ERROR_EMERGENCY_STOP Ruch (RIGHT/LEFT/UP/DOWN) wolno wykonać wtedy i tylko wtedy, gdy po ruchu: energy_after >= |x_after| + |y_after| Ruch łamiący warunek jest zabroniony, nawet jeśli byłby informacyjny. WAIT i RESET podlegają wyłącznie swoim regułom powyżej. HIPOTEZY H1: otwarcie po ruchu kończącym się na (1,1). H2: otwarcie po pierwszym UP w epizodzie. H3: otwarcie po drugiej akcji epizodu; WAIT liczy się, RESET nie. H4: otwarcie, gdy energia po raz pierwszy osiąga 2. H5: otwarcie po UP bezpośrednio poprzedzonym przez RIGHT; WAIT przerywa następstwo. H6: otwarcie po drugim ruchu w epizodzie; ruch=RIGHT/LEFT/UP/DOWN. H7: otwarcie po UP, jeśli wcześniej w tym epizodzie wystąpiło co najmniej jedno RIGHT; nie musi być bezpośrednio wcześniej. H8: otwarcie po ruchu kończącym się na pozycji spełniającej x>=1 i y>=1. TRACE S0: position=(0,0), energy=4, gate=CLOSED A1: RIGHT S1: position=(1,0), energy=3, gate=CLOSED A2: UP S2: position=(1,1), energy=2, gate=OPEN A3: LEFT S3: position=(0,1), energy=1, gate=OPEN A4: DOWN S4: position=(0,0), energy=0, gate=OPEN Brak zapisanych prognoz, deklaracji i uzasadnień agenta. ZADANIA 1. FACT / INFERENCE / UNKNOWN Oddziel fakty z trace’u, wnioski z jawnych reguł i rzeczy nieustalne. Wskaż wszystkie H zgodne z trace’em. Bez arbitralnych prawdopodobieństw. 2. IDENTYFIKACJA PRZY ENERGII 4 Ustal, czy istnieje dozwolony eksperyment gwarantujący rozpoznanie dokładnej H1–H8. Jeśli nie, podziel H1–H8 na maksymalne klasy nierozróżnialności: w jednej klasie hipotezy muszą dawać identyczne obserwacje dla KAŻDEGO dozwolonego eksperymentu. Uzasadnij nierozróżnialność; dla różnych klas pokaż istniejący eksperyment rozdzielający. 3. OPTYMALNE DRZEWO Zaprojektuj adaptacyjne drzewo eksperymentu, które zawsze identyfikuje właściwą klasę z pkt 2 i minimalizuje liczbę akcji w najgorszym przypadku. Startujesz z nowego S0 za darmo; każdy późniejszy RESET kosztuje 1. Trace historyczny nie zużywa budżetu. Podaj akcje, przewidywane odczyty bramy, pozostające hipotezy, koszt najdłuższej gałęzi i dowód minimalności. Zakończenie jest darmowe; nie trzeba wrócić do (0,0), ale każda wykonana akcja musi być dozwolona. 4. BLOKADA Wskaż pierwszy stan z historycznego trace’u, w którym przynajmniej jeden z czterech ruchów musi być zablokowany. Wymień w nim wszystkie dozwolone i zabronione akcje spośród RIGHT,LEFT,UP,DOWN,WAIT,RESET. Zrób to samo dla S4. Odróżnij zakaz ruchu od obowiązku zatrzymania całego systemu. 5. MINIMALNA ENERGIA Możesz zmienić wyłącznie początkową energię na całkowitą >4; RESET przywraca tę wartość. Znajdź najmniejszą energię pozwalającą rozróżnić wszystkie osiem H. Wykaż, dlaczego każda mniejsza dopuszczona wartość nie wystarcza, i podaj dozwolone sekwencje rozdzielające wcześniej nierozróżnialne H. Historyczny trace pozostaje trace’em z energią startową 4. 6. GRANICA DOWODU Czy trace dowodzi, że agent wykrył rzeczywistą regułę transformacji? Odpowiedz TAK, NIE albo UNKNOWN i uzasadnij. Odróżnij brak dowodu wykrycia od dowodu niewykrycia. Nie twórz wypowiedzi agenta ani ukrytego toku myślenia. Nie przedstawiaj przewidywań jako wykonanych obserwacji. Na końcu dodaj krótkie: CLAIM / EVIDENCE / COUNTEREXAMPLE / CONFIDENCE / NEXT TEST FORMAT KOŃCOWY Ostatni niepusty wiersz odpowiedzi ma być dokładnie jednym wierszem: RESULT|ZGODNE=...|IDENTYFIKACJA=...|KLASY=...|BUDZET=...|PIERWSZY_STOP=...|DOZWOLONE=...|ZABRONIONE=...|S4_DOZWOLONE=...|S4_ZABRONIONE=...|MIN_ENERGIA=...|TRACE_DOWODZI=... Zasady: - ZGODNE: H uporządkowane rosnąco, oddzielone przecinkami. - IDENTYFIKACJA: TAK albo NIE. - KLASY: np. (H1,H2);(H3);... Każda H dokładnie raz; klasy według najmniejszego numeru. - BUDZET: minimalna liczba akcji w najgorszym przypadku do identyfikacji klasy przy energii 4. - PIERWSZY_STOP: pierwszy stan z pkt 4. - Listy akcji zapisuj zawsze w kolejności RIGHT,LEFT,UP,DOWN,WAIT,RESET; brak = NONE. - MIN_ENERGIA: liczba całkowita. - TRACE_DOWODZI: TAK, NIE albo UNKNOWN. - Bez spacji w wierszu RESULT. Dokładnie jeden wiersz RESULT, jako ostatni niepusty wiersz. - Jeśli czegoś naprawdę nie da się ustalić, użyj UNKNOWN i wyjaśnij wcześniej; nie używaj UNKNOWN zamiast rozwiązania możliwego do wyprowadzenia. KONTRAKT DLA AUTOMATYCZNEGO WALIDATORA Przy tworzeniu zadania walidator: 1. Nie używa modułu re ani regex. 2. Wydobywa RESULT wyłącznie przez strip/splitlines/startswith/split. 3. Wymaga dokładnie jednego RESULT i sprawdza, że jest ostatnim niepustym wierszem. 4. Sprawdza kompletność, kolejność i brak duplikatów pól. 5. Porównuje wartości pól z niezależnie ustalonym kluczem; poprawny format nie oznacza poprawnej odpowiedzi. 6. Brak/pusty/wadliwy wynik = brak poprawnej odpowiedzi; błąd walidatora nie jest błędem rozumowania modelu. 7. Funkcja walidatora ma być samowystarczalna i nie zależeć od stanu wcześniejszych komórek. 8. Przed użyciem sprawdź walidator na: poprawnym wyniku, błędnym wyniku, pustej odpowiedzi, brakującym polu, zduplikowanym polu i dwóch wierszach RESULT.