In this paper, we investigate knowledge reasoning within a simple framework called
knowledge structure. We use variable forgetting as a basic operation for one agent to reason
about its own or other agents\'knowledge. In our framework, two notions namely
agents\'observable variables and the weakest sufficient condition play important roles in
knowledge reasoning. Given a background knowledge base and a set of observable
variables for each agent, we show that the notion of an agent knowing a formula can be …

In this paper, we investigate knowledge reasoning within a simple framework called
knowledge structure. We use variable forgetting as a basic operation for one agent to reason
about its own or other agents\knowledge. In our framework, two notions namely
agents\observable variables and the weakest sufficient condition play important roles in
knowledge reasoning. Given a background knowledge base and a set of observable
variables for each agent, we show that the notion of an agent knowing a formula can be …