AGS Body ze semestrálky
AGS Na zkousku je potreba se registrovat ve WISu. Asi to nebude resit, ale radeji to pisu, kdyby si nekdo nevsiml...
AGS Byl byste mi někdo schopnej vysvětlit, jak spolu můžou ty axiomy a kripkeho sémantika být ekvivalentní? U D axiomu to ještě chápu, ale třeba že by to platilo u reflexivního, to mi přijde jako pitomost... Vezměte si třeba ten ošklivej přiloženej obrázek. Pro ten platí, že []p -> p, ale přitom relace reflexivní není...
Mam tuto teorii... Napr pro tu reflexivitu. Co kdyz je to mysleno tak, ze to vyjadruje, co musi platit o relaci, aby ten axiom vzdy musel platit, tj neslo vytvorit takovou KS, kde by ta kripkeho semantika platila, ale zaroven by neplatil ten axiom? Napr pro reflexivitu: Pokud bude relace reflexivni, tak kazdy stav bude v relaci sam se sebou, takze pokud plati "nutne" p, tak to vlastne znamena, ze p plati ve vsech stavech, se kterymi je dany stav v relaci, coz je i ten stav samotny, takze v nem musi to p platit i bez kvantifikatoru "nutne" Co myslite?
AGS proj Jak to mate s odevzdavanim? Odevzdavaji vsichni v teamu, nebo jen vedouci? Zadani tohle nijak nespecifikuje.
pozerám že minulý rok som neodovzdal nič
Zobrazit všechny odpovědi (2)
To možná vysvětluje, proč to opakuješ :D
Daniel Danol Čejchan hahaha... velmi vtipné! nie neopakujem a odovzdával vedúci
AGS Funguje vám untell v send(Agent, untell, belief)? Robím niečo zle? Mojím zámerom je aby "Agent" prestal mať znalost "belief" v BB.
nezkoušel jsem, ale můžeš to obejít pomocí první pošle: send(Agent, achieve, smaz(Neco)). druhý reaguje: +!smaz(Neco) <- -mujBelief(Neco).
Zobrazit všechny odpovědi (1)
ano, robim to podobne, pouziam .abolish()
AGS U těch cvikách na JADE jsou body jenom za ten hlavní "projekt", nebo i za ty https://wis.fit.vutbr.cz/FIT/st/cwk.php?title=AGS:AGSCV2&csid=648456&id=12046 ze sekce "vyzkoušejte si sami"?
https://wis.fit.vutbr.cz/FIT/st/cwk.php?title=AGS%3AAGSCV2&csid=648456&id=12046
Jenom ten hlavni projekt, sekce s nazvem "Zadání samostatného cvičení za prémiové body". :)
Zobrazit všechny odpovědi (1)
Děkuju :)
AGS Jak je to se cvičeníma teď v pátek?
AGS nemám, ale dovolil bych si odhadnout, že nebudou vzhledem k tomu, že je státní svátek.
Zobrazit všechny odpovědi (1)
Jasně, spíš mi jde o to, jestli je náhradní termín, protože jedny jsou i ve středu
AGS Půlsemka - body
Vůbec nechápu, jak mi za taková zvěrstva mohl dát 17 bodů :D
Zobrazit všechny odpovědi (1)
Zajdi si na reklamace.
AGS Projekt zveřejněn ( https://wis.fit.vutbr.cz/FIT/st/cwk.php?title=AGS:Projetkt&csid=648456&id=12046 )
https://wis.fit.vutbr.cz/FIT/st/cwk.php?title=AGS%3AProjetkt&csid=648456&id=12046
AGS Zdravim :) Je tu jeste nekdo, kdo hleda tym? Zatim jsme dva a radi bychom jeste nekoho pribrali :)
Cau, jsme 3 a hledame dalsi 2 lidi. Nechcete se s nami spojit? :D
Zobrazit všechny odpovědi (3)
hm, to zni dobre, diky za nabidku :D (Y) konzultuju to s kolegou a ozvu se :)
tak pokud nabidka stale plati, radi se s vami spojime :))
no super, dam vedet zbytku :)
asi vyuziju tvuj prispevek: hledam tym, jsem sam
AGS Ahojte, neviete kde by som našiel prednášky z AGS?
každou středu v 9:00 v učebně G202 :D
Zobrazit všechny odpovědi (1)
pošleš mi link? :D
AGS Hledám tým na projekt
Taky hledam tým, přidal bych se.
Chybí nám ještě jeden člověk do 4
Mate este jedno volne miesto?
AGS Ahoj, je někdo ochotný vyměnit cvičení ve středu za pátek 14h? Moc by mi to pomohlo, díky.
AGS Hledám tým na projekt
AGS jak je to s projektem? Na stránkách předmětu se píše o individuálním projektu, ale zakládají se tu týmy.
AGS Hledám tým na projekt.
Přidám se, máš-li ještě místo.
Zobrazit všechny odpovědi (1)
Jsou ještě další 2 volná místa? S kolegou Jan Marek hledáme tým / členy.
AGS Hledám zodpovědné kolegy na projekt.
Rád bych se přidal, pokud je ještě místo :).
Mate misto jeste i pro me?
Ešte zháňate niekoho? :D
pokud mate misto, rad se pridam :))
Mame plno :)
Nebyl jsem na přednášce... Jak je to s projekty?
AGS argumentace "nejslabší formule určuje ohodnocení argumentu" Je ve výpočtu na slidu chyba? Proč má závěr "b" podporu {a,c,c->e, a && c->¬d,e && ¬d -> b} a prioritu pouze 1? Když závěr "b" získám s podporou {a, a->c, c->e, a && c -> ¬d, e && ¬d -> b}, bude mít prioritu 3. Stejně tak mohu vytvořit ještě další dva argumenty pro "e" a "¬d", které na slidu nejsou uvedeny, vizte moje řešení na papíru vyznačené oranžovou. Jak to chápete?
+1 je to chyba +1 postup správne
AGS argumentace Závěr ¬d zpochybňuje podporu {d} argumentu <{d},d>, vyznačeno mnou červěně. Chápete někdo, co znamená to modré zvýraznění? Ze slidů ani ze záznamu nechápu význam toho modrého.
AGS Interakční protokoly Netušíte prosím, proč první typ má výsledný request na výherce a druhý typ nemá?
Podľa mňa má ten diagram holandskej dražby zle. Nech sa snažím akokoľvek, neviem si to na ten diagram namapovať.
AGS Argumentácia - Vedel by niekto pls vyriešiť tento príklad? Nie je mi celkom jasne ako sa to ma riešiť. A = { a1, c1 , !b1, a->!c2, !b->d1, c->!a∧!b 3 } a) množina všetkých argumentov b) proces zisťovania prístupných argumentov + ich vypísať
AGS reklamace Je niekde info kedy/kde budu reklamačky?
AGS zdá se mi to, nebo na te pisemce nedával skoro žádné body, stejně tak jako v SNT...
AGS Sdílený dokument
https://docs.google.com/document/d/1LHC7r5B2DDMtggTQathVG2qj2vVIx3Ke6TJWah-OPck/edit?usp=sharing
AGS Projekt ještě jednou - Co všechno sebere krok? Myslel jsem že akce do(something)., ale ikdyž jsem je ošetřil přes moves_left tak stále dělám moc kroků, takže je zde asi ještě něco jiného.
Akce pick, drop, transfer potřebují PLNÝ počet kroků konkrétního agenta
no dobře, ale furt je to do(something)
Tak další možná chyba je v komunikaci mezi agenty.... Jeden agent řekne druhému ať něco udělát, ten to začne delat (nedodělá => má pořád moves_left) v tom dostane další zprávu od jiného agenta aby něco udělal, jelikož má moves_left, tak to začne provádět, dokončí a pak dokončí i tu první => Udělal 2 kroky když měl třeba jen jeden (řešení, přepsat do atomic, aby každá akce byla dokončena, než začne provádět další)
Zobrazit všechny odpovědi (1)
Vypadá to, že to mohlo být tím :) . Díky ti dobrá duše
Deadline se posunul o den? :-O Nebyl deadline včera o půlnoci?
Je tam 6.5, tak snad včera nebyl :)
deadline je podle mě celou dobu dnes :)
OK, díky za info. :D
Hej letos je to nějaky divný, třeba máme každej ve wisu něco jinýho :D u KRY jsem se chtěl prát do krve, že tam byl jinej deadline než všichni říkali.... ALTERNATIVE fact: prostě už nám jenom hrabe