Agentbaserad databehandling inom Articular Intelligence har gett upphov till ett antal olika och konkurrerande förslag för agentprogrammeringsspråk. Agenter, i den bemärkelsen att vi använder den, är komplexa mentala entiteter som består av övertygelser, mål och avsikter. Av flera skäl har det varit dags att utvärdera och jämföra de olika förslagen till agentspråk. Ett av de främsta skälen är enligt vår mening avsaknaden av en allmän semantisk ram som utgör en lämplig grund för språkjämförelse. Vårt mål är att så mycket som möjligt använda formella metoder från programmeringssemantikens område. I denna uppsats ger vi en formell inbäddning av agentspråket AgentSpeak(L) på vårt eget agentspråk 3APL. I detta syfte har vi en uppfattning om simulering baserad på språkens formella operationella semantik. Huvudresultatet av pappret är ett bevis på att 3APL kan simulera AgentSpeak(L). Som en följd av detta har 3APL minst samma uttryckskraft som AgentSpeak(L). Jämförelsen ger några nya insikter i agentspråkens egenskaper. Ett av resultaten är att AgentSpeak(L) kan förenklas avsevärt.
REF jämför formellt agentspråken AgentSpeak(L) och 3APL och visar att det förra kan inbäddas i det senare.
A Formal Embedding of AgentSpeak(L) in 3APL
{'venue': 'Australian Joint Conference on Artificial Intelligence', 'journal': None, 'mag_field_of_study': ['Computer Science']}