Validation and Verification of Temporal Knowledge as an Important Aspect of Implementing a Temporal Knowledge Base System Supporting Organizational Creativity

The paper is devoted to the problem of temporal knowledge validation and verification during the process of implementing a system supporting organizational creativity. The motivation for implementing a temporal knowledge base system is presented, the implementation methodology is outlined, and the V&V (validation&verification) process is described in detail, using an example of the Logos reasoning tool. The main achievements of the paper are: elaborating a new implementation methodology for a temporal knowledge base system, and elaborating detailed V&V steps.