| Research in this area has led, for example, to the axiomatization of some BDI implementations, as well as to formal logical descriptions such as Anand Rao and Michael Georgeff's BDICTL. | Так например исследования в данной области привели к аксиомизации некоторых реализаций модели BDI, и к появлению описаний в формальной логике таких как BDICTL (Anand Rao и Michael Georgeff, 1995). |
| An important aspect of the BDI software model (in terms of its research relevance) is the existence of logical models through which it is possible to define and reason about BDI agents. | Важным аспектом модели BDI в теоретическом смысле является наличие логических моделей, с помощью которых возможно определить и затем изучать поведение агентов BDI модели. |