Le modèle de logiciel de croyance – désir – intention (généralement appelé simplement BDI) est un modèle de logiciel développé pour programmer des agents intelligents. Superficiellement caractérisé par la mise en œuvre des croyances, des désirs et des intentions d`un agent, il utilise en fait ces concepts pour résoudre un problème particulier dans la programmation des agents. En substance, il fournit un mécanisme permettant de séparer l`activité de sélection d`un plan (à partir d`une bibliothèque de plans ou d`une application de planificateur externe) de l`exécution de plans actuellement actifs. Par conséquent, les agents de BDI sont en mesure d`équilibrer le temps consacré à la réflexion sur les plans (choisir quoi faire) et exécuter ces plans (le faire). Une troisième activité, la création des plans en premier lieu (planification), n`est pas dans le cadre du modèle, et est laissée au concepteur et programmeur du système. Il est important de s`assurer que l`utilisateur n`a pas à travailler dur pour localiser les informations dont ils ont besoin ou la partie droite d`une page qui est pertinente à leurs besoins-comme si elles le font, ce qui devrait être les étapes d`un entonnoir de vente, peut faiter et échouer. La recherche supplémentaire et la compréhension sur la façon dont les recherches sont menées, seront utiles pour créer une présentation efficace des offres, de sorte qu`ils correspondent exactement aux attentes de l`utilisateur-leur «intention de recherche». Afin d`obtenir cette séparation, le modèle de logiciel de BDI implémente les principaux aspects de la théorie de Michael Bratman de raisonnement pratique humain (également appelé croyance-désir-intention, ou BDI). C`est-à-dire qu`elle met en œuvre les notions de croyance, de désir et d`intention (en particulier), d`une manière inspirée par Bratman. Pour Bratman, la croyance et le désir sont à la fois Pro-attitudes (attitudes mentales concernées par l`action), mais l`intention se distingue comme un comportement de contrôle Pro-attitude. Il identifie l`engagement comme le facteur distinctif entre le désir et l`intention, notant qu`il conduit à (1) la persistance temporelle dans les plans et (2) d`autres plans sont faits sur la base de ceux auxquels il est déjà engagé. Le modèle de logiciel BDI aborde partiellement ces problèmes. La persistance temporelle, dans le sens d`une référence explicite au temps, n`est pas explorée.

La nature hiérarchique des plans est plus facile à mettre en œuvre: un plan se compose d`un certain nombre d`étapes, dont certaines peuvent invoquer d`autres plans. La définition hiérarchique des plans lui-même implique une sorte de persistance temporelle, puisque le plan global reste en vigueur alors que des plans subsidiaires sont en cours d`exécution. Un aspect important du modèle de logiciel BDI (en termes de pertinence de la recherche) est l`existence de modèles logiques à travers lesquels il est possible de définir et de raisonner sur les agents BDI. La recherche dans ce domaine a conduit, par exemple, à l`axiomatisation de certaines implémentations de BDI, ainsi qu`à des descriptions logiques formelles telles que Anand Rao et BDICTL de Michael Georgeff. Ce dernier combine une logique multimodale (avec des modalités représentant les croyances, les désirs et les intentions) avec la logique temporelle CTL *. Plus récemment, Michael Woolf a étendu BDICTL pour définir LORA (la logique des agents rationnels), en incorporant une logique d`action.