Automation of intellectual activity
V.I. Razumov, L.I. Ryzenko, V.P. Sizikov
Keywords: model, system, information, concept, computer, interface
Abstract
Basing on the theory of dynamic information systems (DIS) the authors set the way to atomize reasoning. They define leading operations on models of the DIS type (decodings, convolutions, mutations) and relations between concepts (primitives, derivatives, integrals, differentials), as well as between concepts and interpretations (developments and their centers, stickings, stratifications) that makes possible to build models of reasoning. The said way is realized in the software product "Cognitive assistant" which is a prototype of a researcher automated workplace. The computer interface and procedures of device handling are described ( http://thoughtring.com). |
