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.