Model of the intellectual analysis of dynamic processes with the use of an indistinct-temporal conclusion on the simulating columns
Sergey Kovalev · 2003
The problems of modeling the poorly formalized dynamic processes in intellectual systems on the basis of indistinctly-temporal graph models is considered. In order to present the knowledge in a system a general of temporal logic on indistinct events is used. A method of indistinct-inference in a dynamic knowledge base, based on a search of isomorphic superpositions of the indistinct graphs, is offered.