Knowledge-based Calculus:A Logical-computational Framework ForEngineering Theories
I.A. Budyachevsky, V.A. Vittikh · WIT transactions on information and communication technologies · 1970
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.