Research output: Contribution to journal › Article › peer-review
A relation between a visual-phenomenological, logical, and procedural interpretation of knowledge in the computer-aided knowledge engineering (CAKE) technology of knowledge extraction is considered. The conversion of two-dimensional syntactical constructs of conceptional and functional structures of a subject domain to some monadic theory of first-order logic is shown. A sketch of a (procedural) inference engine corresponding to models of subject domains formalized by the author is also described.
Original language | English |
---|---|
Pages (from-to) | 309-314 |
Number of pages | 6 |
Journal | Journal of Computer and Systems Sciences International |
Volume | 35 |
Issue number | 2 |
State | Published - 1 Dec 1996 |
ID: 41105159