2015
DOI: 10.15439/2015f78
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: Abstract-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… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2016
2016
2020
2020

Publication Types

Select...
3
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(4 citation statements)
references
References 6 publications
0
4
0
Order By: Relevance
“…Our future work will focus on practical assessment of process models with the time related logic specification and the possibility of validation and verification of such models [61] or compliance checking [62], especially with the existing tools which uses temporal knowledge [63], [64]. One of the possible directions is related to integration of timed process models with timed rules models for complex reasoning on contex data [65], [66].…”
Section: Discussionmentioning
confidence: 99%
“…Our future work will focus on practical assessment of process models with the time related logic specification and the possibility of validation and verification of such models [61] or compliance checking [62], especially with the existing tools which uses temporal knowledge [63], [64]. One of the possible directions is related to integration of timed process models with timed rules models for complex reasoning on contex data [65], [66].…”
Section: Discussionmentioning
confidence: 99%
“…Underlying the application of this KBS approach for CITs selection, the computational inference process aims to emulate experts¨ability to scope the context in which the design team is inserted and recognize, which techniques may address their creative needs. As creativity is primarily a team activity, a fluid information sharing helps teams to cocreate (Mach-Kr ol and Michalik, 2015). Many of the CITs selected in this research focus on allowing such information sharing, surpassing possible blockages.…”
Section: Creativity Innovation and Techniquesmentioning
confidence: 99%
“…The further works over the system development should also concern requirements engineering aspects [15], [16], as well as temporal issues of the system [17], [18].…”
Section: Use Cases and System Scenariosmentioning
confidence: 99%