Dynamic Knowledge Representation as a Formalization Conveyor for Manmade Systems With Useful Impulse

Abstract

Many manmade systems, from tea clippers to banking database management tools, exhibit an important common feature that a useful impulse is produced and functionates in them, being affected by favorable or unfavorable circumstances. While some of these systems are highly formalized, others remain operated or investigated quite intuitively. Their structural similarity urges one to think of conveying of experience of formalization from most to least formalized systems, but this process itself needs formal grounds to avoid the errors of inadequate formalization. In this chapter, a solution in the dynamic knowledge representation method and underlying theory of multitudes are sought.