Zadania

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Ówiadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Zachowania służą celom agentów, realizowanym w ramach społeczności agentów. Często obserwując zachowania wnioskujemy o celach agentów. Przeczytaj [[Imitation as a First Step to Social Learning in Synthetic Characters: A Graph-based Approach -> http://alumni.media.mit.edu/~daphna/sca_final_electronic.pdf]]. Zaprogramuj środowisko analogiczne do zaprezentowanego w tej pracy. Agent może mieć różne strategie wyboru agentów do naśladowania, zapoznaj się z [[Human’s Meta-cognitive Capacities and Endogenization of Mimetic Rules in Multi-Agents Models -> http://www.uni-koblenz.de/~essa/ESSA2003/ChavalariasESSA03.pdf]] lub [[http://girardianlectionary.net/covr2004/Chavalariasabst.pdf | Metareflexive Mimetism: The prisoner free of the dilemma]]. Możesz zaprogramować środowisko do testowania różnych strategii.

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Zachowania służą celom agentów, realizowanym w ramach społeczności agentów. Często obserwując zachowania wnioskujemy o celach agentów. Przeczytaj [[Imitation as a First Step to Social Learning in Synthetic Characters: A Graph-based Approach -> http://alumni.media.mit.edu/~daphna/sca_final_electronic.pdf]]. Zaprogramuj środowisko analogiczne do zaprezentowanego w tej pracy. Agent może mieć różne strategie wyboru agentów do naśladowania, zapoznaj się z [[Human’s Meta-cognitive Capacities and Endogenization of Mimetic Rules in Multi-Agents Models -> http://www.uni-koblenz.de/~essa/ESSA2003/ChavalariasESSA03.pdf]] lub [[http://girardianlectionary.net/covr2004/Chavalariasabst.pdf | Metareflexive Mimetism: The prisoner free of the dilemma]]. Możesz zaprogramować środowisko do testowania różnych strategii.

* [[http://www.idsia.ch/~juergen/interest.html |  JĂźrgen Schmidhuber's Curious Agents]]

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Ówiadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

'''TODO:''' Errors are not handled currently. (No kind of errors handled.)

'''TODO:''' Provide a mechanism for syntax definitions induction.


Our algorithm starts with a modification of the Kilbury algorithm, to accomodate the fact, that we cannot index rules by nonterminals, as nonterminals are not atoms, and nonterminal subsumption is not trivial in Speagram.

To learn how chart parsing works, you can have a look at paragraph 2.2.2 of {[Main.BibtexBibliography,ExpressivityAndComplexityOfTheGrammaticalFramework]}.

Grammar rules are given by [[syntax definition]]s. With regard to chart parsing, several classes of syntax definitions are distinguished: modifier constructs, relative constructs.

We assume below that the input string is,
{$$w = w_1 \ldots w_n$$}
A substring {$w_{i+1} \ldots w_j$} is said to span the positions {$i \cdots j$}, so the whole input string {$w$} spans the positions {$0 \cdots n$}.

Parse items have the form
{$$ [i \cdots j; A \rightarrow \alpha \circ \beta \bullet \gamma; f(\vec{x}); \mu; \theta; \Phi] $$}
where {$\alpha, \beta, \gamma, \mu, \theta, \vec{x} $} can be empty, {$ f = \alpha \beta \gamma \textit{ as } A $} are [[(SyntaxDefinition#)instantiation]]s of [[syntax definition]]s, {$ \Phi $} is an [[types/incremental constraint]] on types,
{$A$} is a type, and {$\alpha, \beta, \gamma$} are sequences of [[(lexer#)tokens]] and [[Types/argument type]]s. {$\circ$} and {$\bullet$} are just markers, not operators.
{$\mu$} is a sequence of (unapplied) modifiers, {$\theta$} is a sequence of insertions with their positions.
A {$Cat(A)$} for a type or an argument type {$A$} is a type [[types/category]]: an atom that can be used to index syntax definitions. {$Mod(f)$} tells whether syntax definition {$f$} is a modifier s.d., and {$Rel(f)$} whether it is a relative s.d. When applied to a term, {$Mod$} and {$Rel$} tell, whether they hold for some syntax definition contained within that term. '''TODO:''' linguistically, they should tell whether they hold for the head syntax definition of a term ("head" doesn't mean "root").

{$Rel$} means that a term has no gaps, insertions nor errors and contains a relative construct, like ''whom, which, whose''. {$Gaps$} lists all occurrences of gaps in a term. {$ATy$} tells the argument type for a subterm occurrence (the argument type in the enclosing syntax definition).

{$NT(\alpha)$} (read: nonterminals of {$\alpha$}) is the sequence resulting from erasing tokens in {$\alpha$}. {$M$} denotes a modifier term, and {$ModTy(M)$} is an argument type, it tells the so called [[(SyntaxDefinition#)modifier-type]] of the modifier syntax definition in {$M$}.
{$PosU$} is a function updating positions of insertions when they are collected down the parse items. It silently takes any arguments that are needed to do the update.

''Comment:'' if a modifier has form {$ f = \alpha \textit{ as } A $}, it doesn't mean that {$A = ModTy(f)$}. {$A$} is a grammatical type of the modifier, important when building complex modifiers like ''very quickly'', ''the day before yesterday''.

We write {$ [i \cdots j; A \rightarrow \alpha \bullet \beta; f(\vec{x}); \mu; \theta; \Phi] $} for {$ [i \cdots j; A \rightarrow \circ \alpha \bullet \beta; f(\vec{x}); \mu; \theta; \Phi] $},
and {$ [i \cdots j; A; f(\vec{x}); \mu; \theta; \Phi] $} for any item {$ [i \cdots j; A \rightarrow \alpha \bullet; f(\vec{x}); \mu; \theta; \Phi] $}.

{$C \leq B$} means the constraint that type {$C$} is proper for argument type {$B$}. Below, {$\Phi_0$} is reserved for an initial incremental constraint, corresponding to Speagram type [[types/context]] prior to invoking parser.

Parsing algorithm consists of the following inference rules. A rule is not applicable when the resulting constraint is not satisfiable.

!!! Auxiliary rules

:Relativization:
{$$ \frac{ \begin{array}{c} { [i \cdots j; A; f(\vec{x}); \mu; \theta; \Phi_1] } \\ { [j \cdots k; B \rightarrow \alpha \bullet \beta; g(\vec{y}); \nu; \psi; \Phi_2] } \end{array} }{ \begin{array}{c} [i \cdots k; B; [\triangle_1 := f(\vec{x})]g(\vec{y},\vec{\triangle}); \mu, \nu; \\ \psi, PosU(\theta); \Phi_1 \wedge \Phi_2 \wedge A \leq ATy(\triangle_1)] \end{array} } \; \begin{array}{c} Rel(f(\vec{x})) \wedge |NT(\beta)| = |\vec{\triangle}| \wedge \\ Gaps(g(\vec{y}, \vec{\triangle})) = \{ \triangle_1 \} \end{array} $$}

!!! Rules that are always applied whenever possible

:Modifier-elim:
{$$ \frac{ [i \cdots j; A; f(\vec{x}); \mu,M,\nu; \theta; \Phi_1] }{ [i \cdots j; A; M(f(\vec{x})); \mu,\nu; \theta; \Phi_1 \wedge A \leq ModTy(M)] } $$}

!!! Main rules

!!!! ''bullet-right'' rules

:Combine:
{$$ \frac{ [i \cdots j; A \rightarrow \alpha \bullet B \beta; f(\vec{x}); \mu; \theta; \Phi_1] \qquad [j \cdots k; C; g(\vec{y}); \nu; \psi; \Phi_2] }{ [i \cdots k; A \rightarrow \alpha B \bullet \beta; f(\vec{x},g(\vec{y})); \mu,\nu; \theta,PosU(\psi); \Phi_1 \wedge \Phi_2 \wedge C \leq B] } $$}

:Scan:
{$$ \frac{ [i \cdots j; A \rightarrow \alpha \bullet w_{j+1} \beta; f(\vec{x}); \mu; \theta; \Phi] }{ [i \cdots j+1; A \rightarrow \alpha w_{j+1} \bullet \beta; f(\vec{x}); \mu; \theta; \Phi] } $$}

:Modifier-intro:
{$$ \frac{ [i \cdots j; A \rightarrow \alpha \bullet \beta; f(\vec{x}); \mu; \theta; \Phi_1] \qquad [j \cdots k; C; g(\vec{y}); \nu; \psi; \Phi_2] }{ [i \cdots k; A \rightarrow \alpha \bullet \beta; f(\vec{x}); \mu,g(\vec{y}),\nu; \theta, PosU(\psi); \Phi_1 \wedge \Phi_2] } \quad Mod(g(\vec{y})) $$}

:Predict+Combine: for ''nonlexical'' syntax definitions, we index by categories instead of tokens
{$$ \frac{ [i \cdots j; C; g(\vec{y}); \mu; \theta; \Phi_1] }{ [i \cdots j; A \rightarrow B \bullet \alpha; f(g(\vec{y})); \mu; PosU(\theta); \Phi_1 \wedge C \leq B] } \quad \begin{array}{c} NT (\alpha) = \alpha \wedge \\ Cat(C) = Cat(B) \end{array} $$}

:Predict+Scan:
{$$ \frac{ }{ [i \cdots i+1; A \rightarrow \alpha \circ w_{i+1} \bullet \beta; f(); ; ; \Phi_0] } \quad NT(\alpha) = \alpha $$}

!!!! ''circle-left'' rules

:Combine:
{$$ \frac{ [j \cdots k; A \rightarrow \alpha B \circ \beta \bullet \gamma; f(\vec{x}); \mu; \theta; \Phi_1] \qquad [i \cdots j; C; g(\vec{y}); \nu; \psi; \Phi_2] }{ [i \cdots k; A \rightarrow \alpha \circ B \beta \bullet \gamma; f(g(\vec{y}),\vec{x}); \mu,\nu; \theta,PosU(\psi); \Phi_1 \wedge \Phi_2 \wedge C \leq B] } $$}

:Modifier-intro:
{$$ \frac{ [j \cdots k; A \rightarrow \alpha \circ \beta \bullet \gamma; f(\vec{x}); \mu; \theta; \Phi_1] \qquad [i \cdots j; C; g(\vec{y}); \nu; \psi; \Phi_2] }{ [i \cdots k; A \rightarrow \alpha \circ \beta \bullet \gamma; f(\vec{x}); \mu,g(\vec{y}),\nu; \theta, PosU(\psi); \Phi_1 \wedge \Phi_2] } \; Mod(g(\vec{y})) $$}

We will call '''Combine''' and '''Modifier-intro''' as '''basic circle-left rules'''.

:Combine+Insertion:
{$$ \begin{array}{c} { [k \cdots l; A \rightarrow \alpha B \circ \beta \bullet \gamma; f(\vec{x}); \mu_1; \theta_1; \Phi_1] } \\ { [i \cdots j; C; g(\vec{y}); \mu_2; \theta_2; \Phi_2] } \\ { [j \cdots k; D \rightarrow \delta \bullet \rho; h(\vec{z}); \mu_3; \theta_3; \Phi_3] } \\ \overline{ \begin{array}{c} [i \cdots l; A \rightarrow \alpha \circ B \beta \bullet \gamma; f(g(\vec{y}),\vec{x}); \mu_1,\mu_2,\mu_3; \\ (h (\vec{z}, \vec{\triangle}),|\alpha|),\theta_1,PosU(\theta_2), PosU(\theta_3); \\ \Phi_1 \wedge \Phi_2 \wedge \Phi_3 \wedge C \leq B] \end{array} } \end{array} \quad \begin{array}{c} |\vec{\triangle}| = |NT(\rho)| \wedge \\ \textit{no "basic} \\ \textit{circle-left} \\ \textit{rule" applies} \end{array} $$}

:Combine+Relativization:
{$$ \begin{array}{c} { [k \cdots l; A \rightarrow \alpha B \circ \beta \bullet \gamma; f(\vec{x}); \mu_1; \theta_1; \Phi_1] } \\ { [i \cdots j; C; g(\vec{y}); \mu_2; \theta_2; \Phi_2] } \\ { {\bf{Relativization}} \vdash [j \cdots k; D; h(\vec{z}); \mu_3; \theta_3; \Phi_3] } \\ \overline{ \begin{array}{c} [i \cdots l; A \rightarrow \alpha \circ B \beta \bullet \gamma; f(g(\vec{y}),\vec{x}); \mu_1,\mu_2,\mu_3; \\ (h (\vec{z}),|\alpha|),\theta_1,PosU(\theta_2), PosU(\theta_3); \\ \Phi_1 \wedge \Phi_2 \wedge \Phi_3 \wedge C \leq B] \end{array} } \end{array} \begin{array}{c} \textit{no "basic} \\ \textit{circle-left} \\ \textit{rule" applies} \end{array} $$}

:Gap:
{$$ \frac{ [i \cdots j; A \rightarrow \alpha B \circ \beta \bullet \gamma; f(\vec{x}); \mu; \theta; \Phi] }{ [i \cdots j; A \rightarrow \alpha \circ B \beta \bullet \gamma; f(\triangle, \vec{x}); \mu; \theta; \Phi] } \quad \begin{array}{c} \textit{no other} \\ \textit{"circle-left"} \\ \textit{rule applies} \end{array} $$}

!!! Collecting passive parse items (closed edges)

:Collect: This rule is not well specified yet. Minimal partition is a hard problem, so some choice of heuristic is needed.
{$$ \frac{ [i \cdots j; A; f(\vec{x}); \Phi_1] \qquad [j \cdots k; B; g(\vec{y}); \Phi_2] }{ [i \cdots k; (A, B); C(f(\vec{x}), g(\vec{y})); \Phi_1 \wedge \Phi_2 ] } \quad \begin{array}{c} \textit{smallest such } i \\ \textit{biggest such } k \end{array} $$}

(:toc:)

!! Omówione propozycje projektów

Propozycje są tylko szkicem terytorium. Niektóre są bardziej jednorodne, niektóre mniej -- te wymagają wyboru ścieżki, którą się chce pójść, np. bardziej teoretycznej, z implementacją prostego ''toy universe'' do testowania możliwości, albo bardziej technicznej, skupionej na "realistycznym" zastosowaniu.

!!! [[#formacje]] Formacje

W wielu zadaniach interesuje nas doprowadzenie agentów (robotów) do rozmieszczenia o zadanym wzorze i/lub skoordynowane przemieszczanie się agentów, np. żeby w miarę możliwości utrzymywali dany wzór rozmieszczenia. Przeczytaj lub przejrzyj: [[http://citeseer.ist.psu.edu/balch00social.html | Social Potentials for Scalable Multi-Robot Formations]], [[http://people.xiph.org/~jm/papers/lemay_icra2004.pdf | Autonomous Initialization of Robot Formations]], [[http://citeseer.ist.psu.edu/600765.html | A General Algorithm for Robot Formations Using Local Sensing and Minimal Communication]], [[http://citeseer.ist.psu.edu/balch99behaviorbased.html | Behavior-based Formation Control for Multi-robot Teams]].

Zaprogramuj ("rozwiąż") w [[OpenSteer]] różne zadania formacji boidów:
* "obsadzenie" zadanej konfiguracji: ułożenie boidów w zadany wzór i zatrzymanie ich; wzorem może być okrąg, romb, klucz (literka V), literka Y, itd.
* "obsadzenie" konfiguracji (wzoru jak wyżej) i poruszanie się w niej wzdłóż ścieżki, z wymijaniem przeszkód (czy można regulować stosunek ilości drogi nadłożonej przez poszczególne boidy do stopnia zaburzenia formacji?)
* dla zadań jak wyżej, włączanie do formacji świeżo przybywających boidów (wymaga to przegrupowania zazwyczaj)
* zmiana konfiguracji na inny wzór, np. po przekroczeniu przez grupę zadanego progu liczebności
* jeśli liczebność grupy przekroczy zadany próg, to formacja ma się przegrupować na dwie mniejsze (raczej zgrubsza równoliczne) formacje, o tym samym kształcie (ewentualnie o kształcie z zadanego zbioru kształtów, dobieranie kształtu dającego w danej sytuacji najlepszy czas przegrupowywania może być ciekawe)

Przeczytaj [[Impossibility of Gathering by a Set of Autonomous Mobile Robots -> http://sbrinz.di.unipi.it/~peppe/Articoli/Riviste/TCSsirocco05Rev2.pdf]], [[Hard Tasks for Weak Robots: The Role of Common Knowledge in Pattern Formation by Autonomous Mobile Robots -> http://citeseer.ist.psu.edu/flocchini99hard.html]]. Zbadaj, jakie minimalne wymagania względem agentów uda ci się osiągnąć w rozwiązaniu poszczególnych zadań:
* pamięć zbiorowa (współdzielona pomiędzy agentami)
* pamięć indywidualnych agentów
* komunikacja przez przekazywanie wiadomości (nadawca wybiera odbiorcę, wiele wiadomości naraz - komunikacja asynchroniczna)
* komunikacja przez rozgłaszanie (odbiorca wybiera nadawcę, nadawca może rozgłaszać tylko jeden komunikat naraz)
* dostęp do agentów przez globalne identyfikatory
* dostęp do agentów tylko przez lokalizację "wizualną" (agent ma dostęp do anonimowych sąsiadów w zadanym promieniu, możliwe dodatkowe ograniczenie: tylko do agentów przed sobą, w ramach zadanego kąta widzenia)

!!! Uczenie się (indukcja) sieci behawioralnych

Sieci zachowań są paradygmatem łączącym podejście "niskiego poziomu" sieci neuronowych, z podejściami symbolicznymi "wysokiego poziomu". Elemantami sieci behawioralnej są możliwe zachowania agenta (zachowania "atomowe", bazowe). Krawędziami sieci przepływa "energia aktywacyjna": węzeł, który zgromadzi jej więcej, ma większą szansę na "odpalenie", czyli wykonanie związanego z nim zachowania. Z zachowaniami związane są warunki wstępne, które muszą być spełnione, jeśli zachowanie ma być wykonane, oraz spodziewane rezultaty zachowania. Krawędzie łączą zachowania, jeśli rezultaty jednego przyczyniają się do spełnienia warunków wstępnych drugiego. W sieci są też uwzględnione cele agenta, krawędzie biegną od celów do zadań, które się do spełnienia tych celów przyczyniają. Przeczytaj [[http://citeseer.ist.psu.edu/maes89how.html | ''How To Do the Right Thing'', Pattie Maes (1989)]] oraz [[http://www.whitestein.com/resources/papers/ecai2004.pdf | Extended Behavior Networks for Behavior Selection in Dynamic and Continuous Domains]], może też [[http://alumni.media.mit.edu/~rhodes/Papers/pronomes.html | Pronomes in Behavior Nets]].

Budowanie skutecznej sieci behawioralnej może być bardzo czasochłonne. Fajnie byłoby, gdyby taka sieć mogła powstać automatycznie. Ten sam mechanizm pozwoliłby jej na bieżąco dostosowywać się do zmieniających się warunków środowiska. Przeczytaj [[http://www.iss.whu.edu.cn/degaris/papers/thesis/Thesis-Ch9.pdf | Hugo deGaris, PhD Thesis, Chapter 9: Other Work]], strony 22-23 (291-292 w pracy), dostosuj opisany mechanizm do "Extended Behavior Networks". Przeczytaj też przeglądowy artykuł [[http://citeseer.ist.psu.edu/42923.html | Modeling Adaptive Autonomous Agents]]. Możesz też przeczytać [[http://ccrg.cs.memphis.edu/tutorial/tutorial.html | How Minds Work]] / [[http://ccrg.cs.memphis.edu/tutorial/PDFs/SchemaMechanism.pdf | Schema Mechanism]] ([[http://ccrg.cs.memphis.edu/tutorial/3.4/audio_pp.html | wersja multimedialna]]): włącz techniki "teorii schematów" w swój mechanizm uczenia sieci zachowań.

Możliwa dziedzina zastosowania: Uczenie się agentów zyskuje dodatkowy wymiar, gdy ich środowiskiem są inni agenci, przyjaźni (z pokrywającymi się celami) i wrodzy (z przeciwstawnymi celami). Wykorzystując [[RoboCup Soccer Simulator -> http://sf.net/projects/sserver]], lub [[OpenSteer]], zaprogramuj uczących się graczy drużyny piłkarskiej. Przeczytaj [[Extended Behavior Networks for the magmaFreiburg Team -> http://citeseer.ist.psu.edu/dorer99extended.html]], porównaj sieci behawioralne z architekturą zastosowaną w [[http://citeseer.ist.psu.edu/deboer02incremental.html | The Incremental Development of a Synthetic Multi-Agent System: The UvA Trilearn 2001 Robotic Soccer Simulation Team]].

!!! Naśladowanie

Zazwyczaj różni agenci dysponują różnymi możliwościami. Uniemożliwia to agentowi uczącemu się dokładną imitację zachowań. Przeczytaj [[Learning How to Do Things with Imitation -> http://citeseer.ist.psu.edu/339624.html]]. Ponadto, agent działa dla osiągnięcia swoich celów, które mogą się nie pokrywać z celami, dla których działa "nauczyciel". Przeczytaj [[Reinforcement Learning with Imitation in Heterogeneous Multi-Agent Systems -> http://citeseer.ist.psu.edu/35684.html]]. Porównaj eksperymentalnie przedstawione w tych pracach algorytmy. Możesz zaproponować własny (ciekawszy) problem testowy.

Działanie przez naśladowanie często wykorzystuje się w robotyce lub środowiskach "rzeczywistości wirtualnej". Celami "niskiego poziomu" tych działań (środkami do realizacji "wyższych" celów) są zadania "inverse kinematics", ilustrując: "jak poruszyć ręką, aby chwycić kubek w pudełku", albo bardziej złożone zadania (w animacji nazywane czasami "retargetting", jeśli mamy rozwiązanie wzorcowe), np. jak poruszać kończynami, aby się przemieszczać. Zadania te możemy rozwiązywać budując zachowanie od podstaw, traktując problem jako zadanie optymalizacji nieliniowej (zapoznaj się z [[http://math.ucsd.edu/~sbuss/ResearchWeb/ikmethods/index.html | Introduction to Inverse Kinematics with Jacobian Transpose, Pseudoinverse and Damped Least Squares methods]]). Zachowanie możemy też składać łącząc i dostosowując zachowania prostsze; repertuar zachowań pierwotnych musimy wtedy zaprogramować ręcznie lub pozyskać innymi metodami (zadanie ciekawe same w sobie). Przeczytaj [[http://citeseer.ist.psu.edu/jenkins00primitivebased.html | Primitive-Based Movement Classification for Humanoid Imitation]]. W jaki sposób wyniki z poprzedniego akapitu stosują się tutaj? W naśladowaniu zazwyczaj istotna jest segmentacja obserwowanych działań, zapoznaj się z [[Self-Segmentation of Sequences: Automatic Formation of Hierarchies of Sequential Behaviors -> http://citeseer.ist.psu.edu/286643.html]] (patrz też poniżej: zastosowano proste segmentowanie w momentach ustania ruchu). Zaprogramuj ramię z dwoma stawami naśladujące zachowanie ramienia z trzema stawami, lub ciekawszy problem, wykorzystując składanie zachowań bazowych.

Zachowania służą celom agentów, realizowanym w ramach społeczności agentów. Często obserwując zachowania wnioskujemy o celach agentów. Przeczytaj [[Imitation as a First Step to Social Learning in Synthetic Characters: A Graph-based Approach -> http://alumni.media.mit.edu/~daphna/sca_final_electronic.pdf]]. Zaprogramuj środowisko analogiczne do zaprezentowanego w tej pracy. Agent może mieć różne strategie wyboru agentów do naśladowania, zapoznaj się z [[Human’s Meta-cognitive Capacities and Endogenization of Mimetic Rules in Multi-Agents Models -> http://www.uni-koblenz.de/~essa/ESSA2003/ChavalariasESSA03.pdf]] lub [[http://girardianlectionary.net/covr2004/Chavalariasabst.pdf | Metareflexive Mimetism: The prisoner free of the dilemma]]. Możesz zaprogramować środowisko do testowania różnych strategii.

Dalsza literatura:
* [[http://www.aisb.org.uk/publications/proceedings/aisb05/3_Imitation_Final.pdf | Proceedings of the Third International Symposium on Imitation in Animals and Artifacts]]
* [[http://ecagents.istc.cnr.it/dllink.php?id=214&type=Document | The progress drive hypothesis: an interpretation of early imitation]]

!!! Information Retrieval Agents

Linki:
* [[http://www.idsia.ch/~juergen/interest.html |  JĂźrgen Schmidhuber's Curious Agents]]
* [[http://www.ii.uni.wroc.pl/%7Etju/Wyszukiwanie07/wyszukiwanie07.html | Wyszukiwanie informacji w sieci]], wykład Tomasza Jurdzińskiego
* [[http://cogprints.org/473/ | Contexts, Oracles, and Relevance]] Akman, Varol and Surav, Mehmet (1995) ''We focus on how we should define the relevance of information to a context for information processing agents, such as oracles.''
* [[http://www.linkedin.com/answers?viewQuestion=&questionID=36716&askerID=1287400 | If you could build the perfect search engine for you, what would it do?]] LinkedIn Answers

!! Nowe propozycje projektów

!!! Systemy wieloagentowe w ocenianiu / planowaniu / projektowaniu miast / budynków / etc.

* [[http://www.geographie.ruhr-uni-bochum.de/agklima/envimet/documents/papers/climbot2003.pdf | ASSESSING URBAN MICROCLIMATE USING MULTI-AGENT SIMULATIONS: A NEW APPROACH TO ANSWER AN OLD PROBLEM?]], [[http://www.botworld.info/]]
* [[Integrated urban system modelling: methodology and case study using multi-agent systems -> http://www.mssanz.org.au/modsim05/papers/daniell.pdf]]
* [[Multi-Agent Systems for the Simulation of Land-Use and Land-Cover Change: A Review -> http://mason.gmu.edu/~dparker3/MASLUCC_annals_final.pdf]]
* [[http://people.arch.usyd.edu.au/~rob/publications/thesis/ |  Curious Design Agents and Artificial Creativity: A Synthetic Approach to the Study of Creative Behaviour]]

!!! Symulacje agentowe w antropologii poznawczej

* [[http://era.anthropology.ac.uk/Simulate/index.html | Computer-based Simulation Modelling for Anthropologists]]
* [[http://jasss.soc.surrey.ac.uk/1/4/2.html | An Open Mind is not an Empty Mind: Experiments in the Meta-Noosphere]]
* [[http://www.cs.gmu.edu/~eclab/projects/mason/publications/siena.pdf | Mnemonic Structure and Sociality: A Computational Agent-Based Simulation Model]]
* [[http://cogprints.org/3056/ | Bootstrapping grounded symbols by minimal autonomous robots]] Vogt, Paul (2000)

!!! Psychologia poznawcza a hybrydowe architektury agentów

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Ówiadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Niektóre zagadnienia: [[http://ai.eecs.umich.edu/cogarch0/ | A Survey of Cognitive and Agent Architectures]].

!! Początkowe propozycje zadań

# ([[OpenSteer]]) [[Boidy poruszające się w formacjach -> #formacje]]. W programach nie wykorzystuj narzuconej z góry trajektorii ani nie przechowuj informacji o wszystkich boidach, posługuj się tylko "lokalnymi" obserwacjami boidów. Formacje powinny się dostosowywać do ilości boidów w grupie.
## Zaprogramuj boidy poruszające się w trzech wymiarach tak, aby samoczynnie formowały "klucze".
## Zaprogramuj boidy poruszające się na płaszczyźnie tak, aby poruszające się grupy samoczynnie formowały okręgi (n-kąty foremne). Prędkość okręgu powinna zgrubsza pokrywać się z prędkością boidów (wykluczamy sytuację, w której boidy większość energii marnują na jeżdżenie w kółko).
# (Włąsna implementacja) Zaprogramuj algorytm wychodzenia z labiryntu oraz wizualizację jego działania. (Wizualizacja powinna być prosta.)
# ([[JADE]]) Zaprogramuj system dystrybucji zasobów obliczeniowych jako system aukcyjny (''Vickrey's Auction''). Zadaniem obowiązkowym na pracownię jest zaprogramowanie jakiejś minimalnej, uproszczonej formy systemu.
** Modelujemy sieć komputerową, w której każdy komputer ma określoną moc obliczeniową (dalej nazywaną {$MIPS$}) i określoną pamięć operacyjną.
** Zadania wykonywane w sieci wymagają określonej ilości {$MI$} do wykonania, oraz dla uproszczenia określonej ilości pamięci w każdej chwili wykonywania.
** Komputer może wykonywać {$n$} zadań jednocześnie, przy czym każdemu zadaniu przydziela ustaloną ilość mocy obliczeniowej, tak że {$i$}te zadanie wykonuje się w czasie {$\frac{MI_i}{MIPS_i}$}, oraz {$MIPS_1 + \dots + MIPS_n \leq MIPS$}. Podobnie suma pamięci wymaganych przez poszczególne zadania jest mniejsza od ilości pamięci dostępnej na komputerze.
** Zleceniodawca zadania wyznacza minimalną moc obliczeniową jakiej wymaga oraz maksymalną cenę jaką może zapłacić.
** Komputer, który chce i może wykonać zadanie, proponuje swoją cenę, nie znając propozycji innych komputerów.
** Zleceniodawca wybiera komputer, który zaproponował najniższą cenę, ale wypłaca mu drugą najniższą kwotę (najniższą cenę spośród pozostałych propozycji).
** Celem komputerów jest zarobienie jak najwięcej w dłuższym okresie.
** Zaprogramuj agentów modelujących komputery w sieci i agentów modelujących zleceniodawców. Dla celów symulacji zaprogramuj generator zleceń.
** Porównaj kilka strategii dla agentów-komputerów.
# ([[RoboCup Soccer Simulator -> http://sf.net/projects/sserver]] - preferowany, lub [[OpenSteer]]) Zaprogramuj graczy drużyny piłkarskiej. Porównaj strategie m.in.:
** gry pozycyjnej (gracze mają przydzielone obszary aktywności)
** krycia (gracze mają przydzielonych kontrgraczy)
** aktywnego szukania wolnego pola gry

Zachowania służą celom agentów, realizowanym w ramach społeczności agentów. Często obserwując zachowania wnioskujemy o celach agentów. Przeczytaj [[Imitation as a First Step to Social Learning in Synthetic Characters: A Graph-based Approach -> http://alumni.media.mit.edu/~daphna/sca_final_electronic.pdf]]. Zaprogramuj środowisko analogiczne do zaprezentowanego w tej pracy. Agent może mieć różne strategie wyboru agentów do naśladowania, zapoznaj się z [[Human’s Meta-cognitive Capacities and Endogenization of Mimetic Rules in Multi-Agents Models -> http://www.uni-koblenz.de/~essa/ESSA2003/ChavalariasESSA03.pdf]] lub [[http://girardianlectionary.net/covr2004/Chavalariasabst.pdf | Metareflexive Mimetism: The prisoner free of the dilemma]]. Możesz zaprogramować środowisko do testowania różnych strategii.

* [[http://www.idsia.ch/~juergen/interest.html |  JĂźrgen Schmidhuber's Curious Agents]]

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Zachowania służą celom agentów, realizowanym w ramach społeczności agentów. Często obserwując zachowania wnioskujemy o celach agentów. Przeczytaj [[Imitation as a First Step to Social Learning in Synthetic Characters: A Graph-based Approach -> http://alumni.media.mit.edu/~daphna/sca_final_electronic.pdf]]. Zaprogramuj środowisko analogiczne do zaprezentowanego w tej pracy. Agent może mieć różne strategie wyboru agentów do naśladowania, zapoznaj się z [[Human’s Meta-cognitive Capacities and Endogenization of Mimetic Rules in Multi-Agents Models -> http://www.uni-koblenz.de/~essa/ESSA2003/ChavalariasESSA03.pdf]] lub [[http://girardianlectionary.net/covr2004/Chavalariasabst.pdf | Metareflexive Mimetism: The prisoner free of the dilemma]]. Możesz zaprogramować środowisko do testowania różnych strategii.

* [[http://www.idsia.ch/~juergen/interest.html |  JĂźrgen Schmidhuber's Curious Agents]]

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Ówiadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Zachowania służą celom agentów, realizowanym w ramach społeczności agentów. Często obserwując zachowania wnioskujemy o celach agentów. Przeczytaj [[Imitation as a First Step to Social Learning in Synthetic Characters: A Graph-based Approach -> http://alumni.media.mit.edu/~daphna/sca_final_electronic.pdf]]. Zaprogramuj środowisko analogiczne do zaprezentowanego w tej pracy. Agent może mieć różne strategie wyboru agentów do naśladowania, zapoznaj się z [[Human’s Meta-cognitive Capacities and Endogenization of Mimetic Rules in Multi-Agents Models -> http://www.uni-koblenz.de/~essa/ESSA2003/ChavalariasESSA03.pdf]] lub [[http://girardianlectionary.net/covr2004/Chavalariasabst.pdf | Metareflexive Mimetism: The prisoner free of the dilemma]]. Możesz zaprogramować środowisko do testowania różnych strategii.

Dalsza literatura: [[http://www.aisb.org.uk/publications/proceedings/aisb05/3_Imitation_Final.pdf | Proceedings of the Third International Symposium on Imitation in Animals and Artifacts]].

* [[http://www.idsia.ch/~juergen/interest.html |  Jürgen Schmidhuber's Curious Agents]]

!!! Systemy wieloagentowe w planowaniu (projektowaniu) miast

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup); zapoznaj się z architekturami [[AGI.]], które siłą rzeczy są hybrydowe. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Ówiadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup). Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Budowanie skutecznej sieci behawioralnej może być bardzo czasochłonne. Fajnie byłoby, gdyby taka sieć mogła powstać automatycznie. Ten sam mechanizm pozwoliłby jej na bieżąco dostosowywać się do zmieniających się warunków środowiska. Przeczytaj [[http://www.iss.whu.edu.cn/degaris/papers/thesis/Thesis-Ch9.pdf | Hugo deGaris, PhD Thesis, Chapter 9: Other Work]], strony 22-23 (291-292 w pracy), dostosuj opisany mechanizm do "Extended Behavior Networks". Przeczytaj też przeglądowy artykuł [[http://citeseer.ist.psu.edu/42923.html | Modeling Adaptive Autonomous Agents]]. Przeczytaj [[http://ccrg.cs.memphis.edu/tutorial/tutorial.html | How Minds Work]] / [[http://ccrg.cs.memphis.edu/tutorial/PDFs/SchemaMechanism.pdf | Schema Mechanism]] ([[http://ccrg.cs.memphis.edu/tutorial/3.4/audio_pp.html | wersja multimedialna]]). Włącz techniki "teorii schematów" w swój mechanizm uczenia sieci zachowań.

Budowanie skutecznej sieci behawioralnej może być bardzo czasochłonne. Fajnie byłoby, gdyby taka sieć mogła powstać automatycznie. Ten sam mechanizm pozwoliłby jej na bieżąco dostosowywać się do zmieniających się warunków środowiska. Przeczytaj [[http://www.iss.whu.edu.cn/degaris/papers/thesis/Thesis-Ch9.pdf | Hugo deGaris, PhD Thesis, Chapter 9: Other Work]], strony 22-23 (291-292 w pracy), dostosuj opisany mechanizm do "Extended Behavior Networks". Przeczytaj też przeglądowy artykuł [[http://citeseer.ist.psu.edu/42923.html | Modeling Adaptive Autonomous Agents]].

Uczenie się agentów zyskuje dodatkowy wymiar, gdy ich środowiskiem są inni agenci, przyjaźni (z pokrywającymi się celami) i wrodzy (z przeciwstawnymi celami). Wykorzystując [[RoboCup Soccer Simulator -> http://sf.net/projects/sserver]], lub [[OpenSteer]], zaprogramuj uczących się graczy drużyny piłkarskiej. Przeczytaj [[Extended Behavior Networks for the magmaFreiburg Team -> http://citeseer.ist.psu.edu/dorer99extended.html]], porównaj sieci behawioralne z architekturą zastosowaną w [[http://citeseer.ist.psu.edu/deboer02incremental.html | The Incremental Development of a Synthetic Multi-Agent System: The UvA Trilearn 2001 Robotic Soccer Simulation Team]].

Alternatywnie, zaproponuj i zaimplementuj inne zastosowanie dla adaptujących się sieci aktywacyjnych.

Zachowania służą celom agentów, realizowanym w ramach społeczności agentów. Często obserwując zachowania wnioskujemy o celach agentów. Przeczytaj [[Imitation as a First Step to Social Learning in Synthetic Characters: A Graph-based Approach -> http://alumni.media.mit.edu/~daphna/sca_final_electronic.pdf]]. Zaprogramuj środowisko analogiczne do zaprezentowanego w tej pracy. Agent może mieć różne strategie wyboru agentów do naśladowania, zapoznaj się z [[Human’s Meta-cognitive Capacities and Endogenization of Mimetic Rules in Multi-Agents Models -> http://www.uni-koblenz.de/~essa/ESSA2003/ChavalariasESSA03.pdf]] lub [[http://girardianlectionary.net/covr2004/Chavalariasabst.pdf | Metareflexive Mimetism: The prisoner free of the dilemma]]. Możesz zaprogramować środowisko do testowania różnych strategii.

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych, np. [[http://www.ict.csiro.au/staff/Mikhail.Prokopenko/AORC%20papers/6-A%20hybrid%20agent%20architecture%20for%20dynamic%20and%20unpredictable%20environments.pdf | A Hybrid Agent Architecture for Dynamic and Unpredictable Environments]] (przykład dla RoboCup). Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, np.: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk. Przeczytaj np. [[http://www.cs.nott.ac.uk/~bsl/G53DIA/ | G53DIA Designing Intelligent Agents]] / [[http://www.cs.nott.ac.uk/~bsl/G53DIA/Slides/Hybrid-Architectures.pdf | Hybrid architectures]] i wybrane dalsze materiały o architekturach hybrydowych. Zaimplementuj agenta hybrydowego o architekturze opartej na obranej teorii psychologicznej oraz środowisko testowe i przetestuj przewidywania teorii. W przypadku proponowanej książki, zamodeluj świadomość w architekturze agenta, np. jej rolę w formowaniu pamięci epizodycznej.

!!! Teoria świadomości a hybrydowe architektury agentów

Projekt dotyczy związków architektury agentów i wyników psychologii poznawczej. Przypomnij sobie opowiadanie "Ananke" z cyklu "Przygody pilota Pirxa" Stanisława Lema. Zapoznaj się z jakąś całościową propozycją z dziedziny psychologii poznawczej, proponuję: książka "Czuję, myślę, jestem. Świadomość i procesy psychiczne w ujęciu poznawczym" Aliny Kolańczyk.

# ([[OpenSteer]]) [[Boidy poruszające się w formacjach -> #formacje]]. W programach nie wykorzystuj narzuconej z góry trajektorii ani nie przechowuj informacji o wszystkich boidach, posługuj się tylko "lokalnymi" obserwacjami boidów. Formacje powinny się dostosowywać do ilości boidów w grupie.
## Zaprogramuj boidy poruszające się w trzech wymiarach tak, aby samoczynnie formowały "klucze".
## Zaprogramuj boidy poruszające się na płaszczyźnie tak, aby poruszające się grupy samoczynnie formowały okręgi (n-kąty foremne). Prędkość okręgu powinna zgrubsza pokrywać się z prędkością boidów (wykluczamy sytuację, w której boidy większość energii marnują na jeżdżenie w kółko).
# (Włąsna implementacja) Zaprogramuj algorytm wychodzenia z labiryntu oraz wizualizację jego działania. (Wizualizacja powinna być prosta.)
# ([[JADE]]) Zaprogramuj system dystrybucji zasobów obliczeniowych jako system aukcyjny (''Vickrey's Auction''). Zadaniem obowiązkowym na pracownię jest zaprogramowanie jakiejś minimalnej, uproszczonej formy systemu.
** Modelujemy sieć komputerową, w której każdy komputer ma określoną moc obliczeniową (dalej nazywaną {$MIPS$}) i określoną pamięć operacyjną.
** Zadania wykonywane w sieci wymagają określonej ilości {$MI$} do wykonania, oraz dla uproszczenia określonej ilości pamięci w każdej chwili wykonywania.
** Komputer może wykonywać {$n$} zadań jednocześnie, przy czym każdemu zadaniu przydziela ustaloną ilość mocy obliczeniowej, tak że {$i$}te zadanie wykonuje się w czasie {$\frac{MI_i}{MIPS_i}$}, oraz {$MIPS_1 + \dots + MIPS_n \leq MIPS$}. Podobnie suma pamięci wymaganych przez poszczególne zadania jest mniejsza od ilości pamięci dostępnej na komputerze.
** Zleceniodawca zadania wyznacza minimalną moc obliczeniową jakiej wymaga oraz maksymalną cenę jaką może zapłacić.
** Komputer, który chce i może wykonać zadanie, proponuje swoją cenę, nie znając propozycji innych komputerów.
** Zleceniodawca wybiera komputer, który zaproponował najniższą cenę, ale wypłaca mu drugą najniższą kwotę (najniższą cenę spośród pozostałych propozycji).
** Celem komputerów jest zarobienie jak najwięcej w dłuższym okresie.
** Zaprogramuj agentów modelujących komputery w sieci i agentów modelujących zleceniodawców. Dla celów symulacji zaprogramuj generator zleceń.
** Porównaj kilka strategii dla agentów-komputerów.
# ([[RoboCup Soccer Simulator -> http://sf.net/projects/sserver]] - preferowany, lub [[OpenSteer]]) Zaprogramuj graczy drużyny piłkarskiej. Porównaj strategie m.in.:
** gry pozycyjnej (gracze mają przydzielone obszary aktywności)
** krycia (gracze mają przydzielonych kontrgraczy)
** aktywnego szukania wolnego pola gry

* komunikacja przez przekazywanie informacji (nadawca wybiera odbiorcę, wiele informacji naraz - komunikacja asynchroniczna)

Sieci zachowań są paradygmatem łączącym podejście "niskiego poziomu" sieci neuronowych, z podejściami symbolicznymi "wysokiego poziomu". Elemantami sieci behawioralnej są możliwe zachowania agenta (zachowania "atomowe", bazowe). Krawędziami sieci przepływa "energia aktywacyjna": węzeł, który zgromadzi jej więcej, ma większą szansę na "odpalenie", czyli wykonanie związanego z nim zachowania. Z zachowaniami związane są warunki wstępne, które muszą być spełnione, jeśli zachowanie ma być wykonane, oraz spodziewane rezultaty zachowania. Krawędzie łączą zachowania, jeśli rezultaty jednego przyczyniają się do spełnienia warunków wstępnych drugiego. W sieci są też uwzględnione cele agenta, krawędzie biegną od celów do zadań, które się do spełnienia tych celów przyczyniają. Przeczytaj [[http://citeseer.ist.psu.edu/maes89how.html | ''How To Do the Right Thing'', Pattie Maes (1989)]] oraz [[http://www.whitestein.com/resources/papers/ecai2004.pdf | Extended Behavior Networks for Behavior Selection in Dynamic and Continuous Domains]].

Zazwyczaj różni agenci dysponują różnymi możliwościami. Uniemożliwia to agentowi uczącemu się dokładną imitację zachowań. Przeczytaj [[Learning How to Do Things with Imitation | http://citeseer.ist.psu.edu/339624.html]]. Ponadto, agent działa dla osiągnięcia swoich celów, które mogą się nie pokrywać z celami, dla których działa "nauczyciel". Przeczytaj [[Reinforcement Learning with Imitation in Heterogeneous Multi-Agent Systems -> http://citeseer.ist.psu.edu/35684.html]]. Porównaj eksperymentalnie przedstawione w tych pracach algorytmy. Możesz zaproponować własny (ciekawszy) problem testowy.

ObowiÄ…zkowe jest rozwiÄ…zanie zadaÅ„, które robimy na pracowni, w
postaci "to rzeczywiście działa", tzn. można uprościć treść / warunki
zadania, o ile to go nie strywializuje, nie oczekuję pełnych rozwiązań
uwzględniających wszystkie propozycje z treści. Rozwiązanie ich
stanowi warunek konieczny zaliczenia, poza tym ocena jest na podstawie
projektów/referatów. Treść ciekawszych zadaÅ„ można wybrać na temat
projektu.

Tzn. w tej chwili obowiÄ…zuje tylko zadanie 3 z poprzedniej pracowni. [[~lukstafi]] March 27, 2007, at 06:45 PMlukstafi

# ([[OpenSteer]]) ''Boidy poruszające się w formacjach''. W programach nie wykorzystuj narzuconej z góry trajektorii ani nie przechowuj informacji o wszystkich boidach, posługuj się tylko "lokalnymi" obserwacjami boidów. Formacje powinny się dostosowywać do ilości boidów w grupie.

** Komputer może wykonywać {$n$} zadań jednocześnie, przy czym każdemu zadaniu przydziela ustaloną ilość mocy obliczeniowej, tak że {$i$}te zadanie wykonuje się w czasie {$\frac{MIPS_i}{MI_i}$}, oraz {$MIPS_1 + \dots + MIPS_n \leq MIPS$}. Podobnie suma pamięci wymaganych przez poszczególne zadania jest mniejsza od ilości pamięci dostępnej na komputerze.

# () Zaprogramuj algorytm wychodzenia z labiryntu oraz wizualizację jego działania.

# (OpenSteer) ''Boidy poruszające się w formacjach''. W programach nie wykorzystuj narzuconej z góry trajektorii ani nie przechowuj informacji o wszystkich boidach, posługuj się tylko "lokalnymi" obserwacjami boidów. Formacje powinny się dostosowywać do ilości boidów w grupie.

# Zaprogramuj algorytm wychodzenia z labiryntu oraz wizualizację jego działania.
# (JADE) Zaprogramuj system dystrybucji zasobów obliczeniowych jako system aukcyjny (''Vickrey's Auction''). Zadaniem obowiązkowym na pracownię jest zaprogramowanie jakiejś minimalnej, uproszczonej formy systemu.

# (JADE) Zaprogramuj system dystrybucji zasobów obliczeniowych jako system aukcyjny (''Vickret's Auction''). Zadaniem obowiązkowym na pracownię jest zaprogramowanie jakiejś minimalnej, uproszczonej formy systemu.

# (JADE) Zaprogramuj system dystrybucji zasobów obliczeniowych jako system aukcyjny. Zadaniem obowiązkowym na pracownię jest zaprogramowanie jakiejś minimalnej, uproszczonej formy systemu.

** Porównaj kilka strategii agentów-komputerów.

# (JADE) Zaprogramuj system dystrybucji zasobów obliczeniowych jako system aukcyjny.

** Modelujemy sieć komputerową, w której każdy komputer ma określoną moc obliczeniową (mierzoną w {$MIPS$}) i określoną pamięć operacyjną.

** Zleceniodawca wybiera komputer, który zaproponował najniższą cenę, ale wypłaca mu cenę drugą najniższą kwotę (najniższą cenę spośród pozostałych propozycji).

** Komputer mo&#380;e wykonywa&#263; {$n$} zada&#324; jednocze&#347;nie, przy czym ka&#380;demu zadaniu przydziela ustalon&#261; ilo&#347;&#263; mocy obliczeniowej, tak &#380;e {$i$}te zadanie wykonuje si&#281; w czasie {$\frac{MIPS_i}{MI_i}$}, oraz {$MIPS_1 + \dots + MIPS_n <= MIPS$}. Podobnie suma pami&#281;ci wymaganych przez poszczeg&#243;lne zadania jest mniejsza od ilo&#347;ci pami&#281;ci dost&#281;pnej na komputerze.

** Komputer mo&#380;e wykonywa&#263; {$n$} zada&#324; jednocze&#347;nie, przy czym ka&#380;demu zadaniu przydziela ustalon&#261; ilo&#347;&#263; mocy obliczeniowej, tak &#380;e {$i$}te zadanie wykonuje si&#281; w czasie {$\frac{MIPS_i, MI_i}$}, oraz {$MIPS_1 + \dots + MIPS_n <= MIPS$}. Podobnie suma pami&#281;ci wymaganych przez poszczeg&#243;lne zadania jest mniejsza od ilo&#347;ci pami&#281;ci dost&#281;pnej na komputerze.

## Zaprogramuj boidy poruszaj&#261;ce si&#281; na p&#322;aszczy&#378;nie tak, aby poruszaj&#261;ce si&#281; grupy samoczynnie formowa&#322;y okr&#281;gi (n-k&#261;ty foremne).
# Zaprogramuj algorytm wychodzenia z labiryntu oraz wizualizacj&#281; jego dzia&#322;ania.

# Zaprogramuj algorytm wychodzenia z labiryntu oraz wizualizacjê jego dzia³ania.

# (OpenSteer) ''Boidy poruszaj&#261;ce si&#281; w formacjach''. W programach nie wykorzystuj narzuconej z g&#243;ry trajektorii ani nie przechowuj informacji o wszystkich boidach, pos&#322;uguj si&#281; tylko "lokalnymi" obserwacjami boid&#243;w.

# (OpenSteer) Boidy poruszaj&#261;ce si&#281; w formacjach. W programach nie wykorzystuj narzuconej z g&#243;ry trajektorii ani nie przechowuj informacji o wszystkich boidach, pos&#322;uguj si&#281; tylko "lokalnymi" obserwacjami boid&#243;w.