Softwarový model Belief-Desire-Intention (BDI) (obvykle označovaný jednoduše, ale nejednoznačně, jako BDI) je softwarový model vyvinutý pro programování inteligentních agentů. Povrchně charakterizovaný implementací přesvědčení, tužeb a záměrů agenta, ve skutečnosti používá tyto koncepty k řešení konkrétního problému v programování agenta. V podstatě poskytuje mechanismus pro oddělení činnosti výběru plánu (z knihovny plánů nebo aplikace externího plánovače) od provádění aktuálně aktivních plánů. V důsledku toho jsou agenti BDI schopni vyvážit čas strávený zvažováním plánů (výběrem toho, co dělat) a prováděním těchto plánů (dělat to). Třetí činnost, vytváření plánů na prvním místě (plánování), nespadá do rozsahu modelu a je ponechána na návrháři systému a programátorovi.
Aby bylo dosaženo tohoto oddělení, softwarový model BDI implementuje základní aspekty teorie lidského praktického uvažování Michaela Bratmana (také označované jako Belief-Desire-Intention, nebo BDI). To znamená, že implementuje pojmy víry, touhy a (zejména) záměru, způsobem inspirovaným Bratmanem. Pro Bratmana jsou záměr a touha jak pro-postoje (mentální postoje týkající se jednání), ale záměr je odlišen jako chování kontrolující pro-postoj. On identifikuje závazek jako rozlišovací faktor mezi touhou a záměrem, s tím, že to vede k (1) časové perzistenci v plánech a (2) dalším plánům na základě těch, ke kterým se již zavázal. Softwarový model BDI tyto otázky částečně řeší. Časová perzistence, ve smyslu explicitního odkazu na čas, není zkoumána. Hierarchická povaha plánů je snadněji realizovatelná: plán se skládá z řady kroků, z nichž některé mohou vyvolat jiné plány. Hierarchická definice plánů sama o sobě implikuje jakousi časovou perzistenci, protože zastřešující plán zůstává v platnosti, zatímco vedlejší plány jsou prováděny.
Důležitým aspektem softwarového modelu BDI (z hlediska jeho výzkumného významu) je existence logických modelů, jejichž prostřednictvím je možné definovat a usuzovat o BDI agentech. Výzkum v této oblasti vedl například k axiomatizaci některých BDI implementací, stejně jako k formálním logickým popisům, jako je Anand Rao a BDICTL Michaela Georgeffa. Ten kombinuje vícemodální logiku (s modalitami představujícími přesvědčení, touhy a záměry) s temporální logikou CTL*. Nedávno Michael Wooldridge rozšířil BDICTL o definici LORA (logika racionálních agentů) začleněním akční logiky. V zásadě LORA umožňuje usuzovat nejen o jednotlivých agentech, ale také o komunikaci a další interakci v multiagentním systému.
Softwarový model BDI je úzce spojen s inteligentními agenty, ale sám o sobě nezajišťuje všechny charakteristiky spojené s takovými agenty. Umožňuje například agentům mít soukromé přesvědčení, ale nenutí je být soukromými. Nemá také co říci o komunikaci agentů. Softwarový model BDI je v konečném důsledku pokusem vyřešit problém, který má více co do činění s plány a plánováním (jejich výběrem a provedením) než s programováním inteligentních agentů.
BDI agent je specifický typ omezeného racionálního softwarového agenta, prodchnutý specifickými mentálními postoji, viz: Beliefs, Desires and Intentions (BDI).
Tato část definuje idealizované architektonické složky systému BDI.
Tato část definuje idealizovaný BDI interpreter, který poskytuje základ PRS lináže BDI systémů:
Tento základní algoritmus byl rozšířen v mnoha ohledech, například na podporu plánování dopředu, automatizovanou týmovou práci a cíle údržby.
Omezení a kritiky
Softwarový model BDI je jedním z příkladů argumentační architektury pro jediný racionální agent a jedním z problémů v širším multiagentním systému. Tato část vymezuje rozsah problémů pro softwarový model BDI a zdůrazňuje známá omezení architektury.