Sensing Action and Knowledge Reasoning Independent of Designer

This paper proposes a method for action reasoning independent of designer. It is needed that the external designer writes out axioms for the agents when expressing their sensing actions and knowledge reasoning in traditional situation calculus action theory, and agent´s knowledge in action reasoning is described by an accessibility relation K(s´, s). Because K(s´, s) must be defined by the designer in advance, this kind of knowledge expression is dependent of the. designer. So, the action reasoning including sensing actions and knowledge is a kind of reasoning depending on the designer. In this paper, the traditional situation calculus action theory is expanded in proper way. A formal expression for sensors is added into the formal language of the action theory, and agentpsilas knowledge is defined as the contents of its knowledge base. The agentpsilas knowledge base can be updated automatically by formal describing for sensors and substituting instances for variables in the action effect axioms (or successor state axioms). Then agent can do action reasoning independent of the designer.