AgentSpeak
| Paradigm | Agentorienterad programmering |
|---|---|
| Designad av | Anand Rao |
| Dök först upp | 1996 |
| Stora implementeringar | |
| Jason | |
AgentSpeak är ett agentorienterat programmeringsspråk . Den är baserad på logisk programmering och BDI-arkitekturen (belief-desire-intention software model) för ( kognitiva ) autonoma agenter . Språket hette ursprungligen AgentSpeak(L) , men blev mer populärt som AgentSpeak, en term som också används för att referera till varianterna av originalspråket.
Historia
1996 skapade Anand Rao ett logikbaserat agentprogrammeringsspråk baserat på BDI-arkitekturen och kallade det AgentSpeak(L). Detta blev en mycket citerad artikel i litteraturen om multi-agent system . I sin ursprungliga uppfattning var AgentSpeak ett abstrakt agentprogrammeringsspråk som syftade till att hjälpa förståelsen av relationen mellan praktiska implementeringar av BDI-arkitekturen såsom processuella resonemangssystem (PRS) och formaliseringen av idéerna bakom BDI-arkitekturen med hjälp av modal logik .
Olika författare bidrog till den ytterligare formaliseringen av AgentSpeak(L)-språket, till exempel. De senaste åren har språket återupplivats både inom forskning och utveckling. När det gäller forskning har det arbetats både med förlängningar av AgentSpeak samt med formell verifiering av AgentSpeak-program med hjälp av modellkontroll. Språket är också ett av de mest populära agentorienterade språken på grund av utvecklingen av Jason-plattformen.
AgentSpeak(L) är också det mest framträdande sättet att utveckla lösningen för Multi-Agent-programmeringstävlingen från början av tävlingen fram till den senaste upplagan.
Exempel
Hello World-programmet i AgentSpeak(L), baserat på Jason:
//Tro som indikerar meddelandet som ska skrivas ut. meddelande ("Hej världen!"). //Initialt mål !start. //Planera +!start: meddelande(M) <- .print(M). //Intern åtgärd från Jason för att skriva ut ett meddelande.Se även
externa länkar
- AgentSpeak på SourceForge är en tolk för en förlängning av AgentSpeak.