För att stödja den praktiska utvecklingen av intelligenta agenter, flera programmeringsspråk har införts som införlivar begrepp från agentlogik: å ena sidan har vi språk som införlivar övertygelser och planer (dvs. procedurmål), och å andra sidan språk som genomför begreppen tro och (deklarativa) mål. Vi föreslår agent programmeringsspråket Dribble, där dessa inslag av procedurmässiga och deklarativa mål kombineras. Språket Dribble innehåller således trosuppfattningar och mål såväl som planeringsfunktioner. Tanken är, att en Dribble agent bör kunna välja en plan för att nå ett mål från där det är vid en viss tidpunkt. För att göra det, har agenten övertygelser, mål och regler att välja planer och att skapa och ändra planer. Dribble levereras med en formellt definierad operationell semantik och ovanpå denna semantik konstrueras en dynamisk logik som kan användas för att specificera och verifiera egenskaper hos Dribble-agenter. Korrespondensen mellan logiken och den operativa semantiken etableras.
En logik för att bevisa egenskaper Dribble agenter presenteras i REF, baserat på dynamisk logik snarare än på CTL.
Agent programming in dribble: from beliefs to goals using plans
{'venue': "AAMAS '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}