Што може, а што не може да одговори асистентот
Оваа апликација чита преглед на вашиот распоред, а не самиот распоред, што одредува на кои прашања може да одговори, а кои мора да ги одбие.
Асистентот не ја чита вашата .fet датотека. Тој чита резиме од неа, долго неколку стотици зборови, плус наодите од проверката.
Тој еден факт одлучува за сè подолу. Прашање на кое резимето може да одговори, тој го одговара врз основа на аритметика што некој друг веќе ја направил. Прашање на кое резимето не може да одговори, тој има инструкции да го одбие наместо да погодува.
Прашања на кои одговара добро
- Кој има најголем товар. Кој професор има најмногу часови? Наставните часови по професор се во резимето, почнувајќи од најзафатените.
- Како се споредува вашата датотека. Дали големината на вашите паралелки, вашата недела или бројот на правила се невообичаени во споредба со стотици реални FET датотеки.
- Што откри проверката, со зборови. Зошто ова е невозможно? Тој ги објаснува наодите што веќе се на страницата.
- Кое FET правило ви е потребно. Како да спречам професор да работи во петок? Тој ги именува вистинските типови на ограничувања (constraints) во FET и го проверува секое правило што го предлага во однос на реалната листа пред да одговори.
- Каде би можела да се смести проблематична активност. Само кога страницата веќе го пресметала одговорот — видете подолу.
Прашања што има инструкции да ги одбие
⛔ Каде може да се помести која било активност, воопшто. Страницата пресметува слободни термини со аритметика, за активностите што имаат проблем. Асистентот смее само да ги цитира тие. Прашајте за нешто друго и тој ќе каже дека нема одговор и ќе ве упати на Најди слободен термин.
Тоа одбивање е намерно и е најважното. Модел кој е замолен да најде слободен термин низ цела недела произведува самоуверен погрешен одговор, а погрешен слободен термин е полош од никаков одговор: ќе постапите според него пред да откриете дека е грешен.
⛔ Сè што бара целосен распоред. Тој не го чува вашиот распоред термин по термин, па не може да ви каже што се случува во вторник во 10 часот.
Зошто е направен вака
Моделот не е аритметика. Наодите над него се докази; асистентот е читач на докази.
Затоа, дизајнот му дава што е можно помалку простор за измислување: му се даваат бројки што некој друг ги пресметал, му се кажува кои прашања немаат одговор во она што му е дадено, и секое FET правило што го именува се проверува во однос на реалната листа.
⛔ Сепак може да згреши. Третирајте го одговорот како предлог и проверете го во однос на наодите, кои се аритметички и можат да се проверат рачно.
Помал модел добива пократко резиме
Модел што работи во вашиот прелистувач добива пократко резиме отколку голем модел. Беше измерено: поцелосното резиме го направи малиот модел полош, а не подобар — повеќе бројки пред мал модел се повеќе бројки за погрешно припишување.
Така, истото прашање може да добие подобар одговор од поголем модел, и тоа се очекува, а не е грешка.