AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language Export

@inproceedings{rao96agentspeakl, abstract = {Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification perspective and a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem-proving or model-checking in these expressive specification logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In...}, address = {Eindhoven, The Netherlands}, author = {Rao, Anand S.}, booktitle = {Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World}, citeulike-article-id = {423204}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.1476}, editor = {van Hoe, Rudy}, keywords = {agent\_oriented\_programming, depth}, posted-at = {2005-12-06 04:39:31}, priority = {0}, title = {{A}gent{S}peak({L}): {BDI} Agents Speak Out in a Logical Computable Language}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.1476}, year = {1996} }

TY - CONF ID - rao96agentspeakl L3 - citeulike-article-id:423204 N2 - Belief-Desire-Intention (BDI) agents have been investigated by many researchers from both a theoretical specification perspective and a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theorem-proving or model-checking in these expressive specification logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In... AD - Eindhoven, The Netherlands TI - {A}gent{S}peak({L}): {BDI} Agents Speak Out in a Logical Computable Language T2 - Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World KW - agent_oriented_programming KW - depth AU - Rao, Anand A2 - van Hoe, Rudy PY - 1996/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.1476 ER -