Модель убеждений, желаний и намерений (англ. belief, desire, and intention (BDI) model) - это модель программирования интеллектуальных агентов. Образно модель описывает убеждения, желания и намерения каждого агента, однако непосредственно применительно к конкретной задаче агентного программирования. По сути, модель предоставляет механизм позволяющий разделить процесс выбора агентом плана (из набора планов или внешнего источника генерации планов) от процесса исполнения текущего плана, выбранного ранее. Как следствие, агенты повинующиеся данной модели способны уравновешивать время затрачиваемое ими на выбор и отсеивание будущих планов со временем исполнения выбранных планов. Процесс непосредственного синтеза планов (планирование) в модели не описывается и остаётся на откуп программного дизайнера или программиста.
Для достижения разделения активности агентов, в модели BDI применяются главным образом концепции развитые Michael Bratman в его одноимённой теории о практической мысли человека. То есть понятия убеждений, желаний, и в особенности, намерений в данной модели заимствованы у Братмана. У последнего желания и намерения считаются "про-отношениями" (pro-attitudes), из которых проистекает действие, но намерение воспринимается как контрольное про-отношение более высокого порядка. Он определяет понятие обязательства как фактора разделяющего желания от намерений, замечая, что во-первых, обязательство устанавливает временное постоянство в следовании определённому плану, и во-вторых, последующие планы строятся на основе тех, которые агент уже принял как обязательные к исполнению. Модель программирования BDI частично позволяет практическую реализацию указанных концепций. Однако временное постоянство в понимании непосредственно прошедшего времени с момента начала следования конкретному плану не рассматривается. А иерархичность планов отражается довольно простым способом: каждый план состоит из набора шагов, на каждом из которых может инициироваться очередной новый план. В такой иерархии естественным образом заложена то самое временное постоянство указанное выше, ведь каждый новый план по сути является продолжением предыдущего, а агент продолжает следовать общему плану следуя его более поздним частностям.
Важным аспектом модели BDI в теоретическом смысле является наличие логических моделей, с помощью которых возможно определить и затем изучать поведение агентов BDI модели. Так например исследования в данной области привели к аксиомизации некоторых реализаций модели BDI, и к появлению описаний в формальной логике таких как BDICTL (Anand Rao и Michael Georgeff, 1995). В BDICTL объединены много-модальная логика (описывающая в модальностях убеждения, желания и намерения) и темпоральная логика CTL*. Позднее Майкл Вулдридж расширил BDICTL до LORA (the Logic Of Rational Agents (логика рациональных агентов)), используя логику действий (action logic). LORA позволяет рассматривать не только поведение отдельных агентов, но и процессы взаимодействий в многоагентной системе, таких как, например, передача информации.
Модель программного обеспечения BDI тесно связана с интеллектуальными агентами, но сама по себе она не обеспечивают все характеристики таких агентов. Например, она позволяет агентам иметь личные убеждения, но не указывает прямо на то, что они обязательно должны быть личными. В ней также ничего не указано про общение между агентами. В конечном счете, программная модель BDI является попыткой решить проблему более тесно связанную с выбором и реализацией планов, чем непосредственно с программированием интеллектуальных агентов.
В этой секции приводятся компоненты структуры идеализированной BDI системы.