BDI模型（belief-desire-intention model），文学-语言文字-计算语言学及语料库语言学-计算语言学，在智能会话代理系统中，利用用户的信念（belief）、期望（desire）和意图（intention）等信息进行语用推理从而解释出会话中隐含意义的形式模型。为了建模，要对BDI模型中的基本概念进行形式化，提出形式化的定义。在BDI模型中，把“S相信命题P”表示为二元谓词B(S,P)，其中的B表示“信念”。关于“信念”的推理可以通过一些公理来实现。例如，“A相信命题P，并且A相信命题Q，则A相信命题P和Q”可以形式地定义为：B(A,P)B(A,Q)B(A,PQ)在BDI模型中，“期望”的形式化定义是基于谓词WANT的，“S期望P为真”可形式地定义为：WANT(S,P)或W(S,P)其中，W是WANT的简写，P可以是一些行为的状态或实施动作。如果ACT是一个行为的名称，那么，W(S,ACT(H))表示“S想让H来实施行为ACT”。