Agenti jako dokazovači vět. Agentově orientované programování. Concurrent MetateM.
Reaktivní architektura, důvody, výhody, nevýhody.
Přečtěte si Wooldridge. Na další přednášce budeme diskutovat o látce, kterou jste nastudovali.
Domácí úloha
Cvičení 8 z výše zmíněného textu.