Active Knowledge Structures for Natural Language Processing

ViewGen is a dynamic beliefs management system. It generates multiple belief environments from different points of view. The basic inference mechanism in ViewGen is default reasoning That is, unless there is evidence to the contrary, the agents are assumed to have the same beliefs as the system. CP is a general knowledge representation system. It allows data, as facts, and domain knowledge, as definitions, to be separated, but it does not allow for nested beliefs. That is, CP only allows reasoning from one point of view, instead of allowing multiple viewpoints, as ViewGen does. An integrated reasoning system has been designed which combines CP and ViewGen, and a prototype system has been implemented. Below is a discussion of the architecture of the system, and the representation and organization of belief and knowledge. First, we present an overview of the capabilities of Conceptual Programming and give a simple example of the representations it uses.