%0 Journal Article
%T AUV Mental Logic<br>AUV心智逻辑*
%A LIU Hai bo
%A GU Guo chang
%A SHEN Jing
%A KONG Xiao dong
%A <br>刘海波
%A 顾国昌
%A 沈晶
%A 孔晓东
%J 计算机应用研究
%D 2006
%I 
%X In order to represent the mental states and process the mental actions of AUV,this paper extends the BDI logic that proposed by Rao and Georgeff.Combining modal logic and temporal logic,a first-order logic system,called AML(AUV Mental Logic),with modal operators such as BEL,GOAL,CAP,INT and temporal operators such as L,N,P,F,H,and G,is defined.The AML semantics is given based on Kripke's possible world semantic model.The AML axioms and rules are constructed and the soundness and the completeness of the system are proved.AML can be a powerful approach to construct AUV mental model,which will bridge the gap between the agent theories and their applications in robotics.
%K BDI<br>自治水下机器人
%K 智能体
%K 心智逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=7A9BA8955FF693AD&yid=37904DC365DD7266&vid=EA389574707BDED3&iid=F3090AE9B60B7ED1&sid=50BBDFAC8381694B&eid=847B14427F4BF76A&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10