Planning with Sensing Actions and Individual Knowledge of Agent

To finish a task agent needs to do two things: planning and acting. Actions included in the classical planning are usually primitive actions. For complex tasks the planning must contain sensing actions and knowledge of the agent. High-level intelligent agents need to have the ability to sense the external environment independent of the designer and to apply their knowledge in planning. Action theories in situation calculus is a typical approach for describing the planning with sensing action and knowledge, where the change of knowledge is regarded as an epistemic fluent described by situation accessibility relation K(s´, s). But since agent can not determine which situation is accessible from a given situation, this approach depends on the designer who writes the axioms for agent. Zhou proposed an extended situation calculus language L_SCS for describing action reasoning independent of the designer. In this paper, we give the concept about individual knowledge of agent, and research on the properties of agent´s individual knowledge based on L_SCS. We also give an example to illustrate our approach can solve more issues than the existing approach.