WIT Press

Knowledge-based Calculus: A Logical-computational Framework For Engineering Theories

Price

Free (open access)

Paper DOI

10.2495/AI960471

Volume

16

Pages

10

Published

1996

Size

63 kb

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