search query: @indexterm tools / total: 59
reference: 14 / 59
| Author: | Gaines, B. Shaw, M. |
| Title: | Embedding formal knowledge models in active documents |
| Journal: | Communications of the ACM
1999 : JAN, VOL. 42:1, p. 57-64 |
| Index terms: | COMMUNICATION MODELS TOOLS |
| Language: | eng |
| Abstract: | Computational symbolic models are powerful tools for making ideas explicit because they support the formal definition of all the terms in an argument, and these formal definitions may be used to compute the consequences of a set of arguments. In particular, once ideas are fully explicit, in symbolic form, they may be used as part of an information system with the guarantee that the same reasoning is being applied to all cases. A typical example of where this is desirable is in the implementation of the procedures of a corporation. |
SCIMA