Author(s)

I.A. Budyachevsky & V.A. Vittikh

Abstract

To develop the engineering theories [1] it is proposed the concept of knowledge-based calculus (KBC), which is a deductive system that realizes object-oriented inference approach. A semantic information from initial setting of a problem while composing and solving of constraint satisfaction problems is widely used during such approach. An example that illustrates applying of KBC during kinematic analysis and synthesis of mechanisms is given. 1 Introduction Possibilities of estimation of products' behaviour and features at the early stages of design are crucial to an engineer. For example, one of the standard tests of a new automobile prototype is analysis of the acceleration of a vehicle and its fuel consum

Keywords