-When do we undertake and how do we control such inferences?
-How do we formally specify the semantics of a knowledge base?
-How do we deal with incomplete knowledge?
-How do we extract the knowledge of an expert to initially “stock” the knowledge base?
-How do we automatically acquire new knowledge as time goes on so that knowledge base can be kept current?