AUV Mental Logic
AUV心智逻辑*

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.