výuka

8. přednáška (30. listopadu)

Problém synchronizace a donucení známý z objektového prostředí se v MAS neřeší. Agenti jsou autonomní neexistuje způsob, jak jej k něčemu donutit.

Řečovým aktem neměním svět (i když i to je ta specifických okolností možné), ale snažím se změnit domněnky příjemce zprávy.

Pokud po příjemci chci, aby něco vykonal (např. protože to je část plánu mého záměru a já to sám neumím), musím věřit tomu, že žádanou akci příjemce umí vykonat a že věří tomu, že ji umí. Výsledkem je, že věřím, že po příjemci chci, aby tuto akci vykonal, a tedy že příjemce věří, že já věřím, že po něm chci, aby ji vykonal. To se dá zjednodušit na to, že příjemce věří, že po něm chci, aby akci vykonal.

KIF (Knowledge Interchange Format) vychází z logiky prvního řádu, dokáže popsat vlastnosti objektů (konceptů), vztahy mezi nimi a vlastnosti univerza (domény).

KQML (Knowledge and Query Manipulation Language) je obálkou komunikačního protokolu nad vlastním obsahem zprávy, odděluje sémantiku komuniakčního protokolu od sémantiky samotné zprávy. Mnoho navzájem nekompatibilních verzí, pokus o sjednocení: FIPA ACL.

Ontologie je specifikace konceptualizace.

Contract Net. Odběratel (manažer) O hledá vhodného dodavatele D.

1. O vyhlásí znění úkolu (popis úkolu, požadované schopnosti agenta, jak má vypadat nabídka, časový limit na zaslání nabídky).

2. D obdrží znění úkolu, vyhodnotí své schopnosti a odpoví (sestaví nabídku).

3. O obdrží nabídky, vyhodnotí je a vybere vítěze.

4. Vybraný D je informován o svém vítězství, provede úkol a oznámí výsledky.

5. O obdrží výsledky a zpracuje je.

Čtení

KQML

FIPA ACL

KIF

Contract Net — FIPA specifikace

Knihovna ontologií