Abstrakt. Procedurresonemangssystemet (PRS) är den bäst etablerade agentarkitekturen som för närvarande finns tillgänglig. Det har använts i många stora industriella tillämpningar, allt från feldiagnos på rymdfärjan till flygledning och affärsprocesskontroll. Teorin om PRS-liknande system har också studerats i stor utsträckning: inom det intelligenta forskarsamhället är trosbekännelsemodellen (BDI) av praktiskt resonemang som ligger till grund för PRS utan tvekan den dominerande kraften i den rationella myndighetens teoretiska grundvalar. Trots intresset för PRS- och BDI-agenter har det ännu inte gjorts något fullständigt försök att exakt specificera beteendet hos verkliga PRS-system. Detta har lett till utvecklingen av en rad system som hävdar att de överensstämmer med PRS-modellen, men som skiljer sig från den i många viktiga avseenden. Vårt mål i detta dokument är att rätta till detta utelämnande. Vi tillhandahåller en abstrakt formell modell av ett idealiserat dMARS-system (det senaste genomförandet av PRS-arkitekturen), som exakt definierar de centrala datastrukturer som finns inom arkitekturen och de operationer som manipulerar dessa strukturer. Vi fokuserar särskilt på dmars-planer, eftersom dessa är det viktigaste verktyget för att programmera dmars-agenter. Specifikationen vi presenterar kommer att göra det möjligt att enkelt utveckla andra implementeringar av PRS, och kommer att fungera som ett riktmärke mot vilket framtida arkitektoniska förbättringar kan utvärderas.
Inverno et al REF föreslog en abstrakt formell modell, dMARS, för BDI-arkitekturen.
A Formal Specification of dMARS
{'venue': 'Lecture Notes in Computer Science', 'journal': 'Lecture Notes in Computer Science', 'mag_field_of_study': ['Computer Science']}