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

Maria Mach-Król, Krzysztof Michalik
2015 Proceedings of the 2015 Federated Conference on Computer Science and Information Systems  
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
more » ... mporal knowledge base system, and elaborating detailed V&V steps.
doi:10.15439/2015f78 dblp:conf/fedcsis/Mach-KrolM15 fatcat:ulglmfaupvhdliikfwr6ku5nbe