Loading...
Please wait, while we are loading the content...
Similar Documents
An expert system for correctness of symbolic computation.
| Content Provider | CiteSeerX |
|---|---|
| Author | Tjandra, I. A. Calmet, J. |
| Abstract | This paper is concerned with an expert system for correctness of symbolic mathematical computation. Basically, the system may aid the user in: (i) specifying correct abstract computational structures and their models, (ii) completing the sets of properties by means of a learning method and (iii) determining the correct domain in which a mathematical computation must be performed. The system is built upon a shell for hybrid knowledge representation. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Symbolic Computation Mathematical Computation Symbolic Mathematical Computation Correct Abstract Computational Structure Expert System Correct Domain Hybrid Knowledge Representation Learning Method |
| Content Type | Text |
| Resource Type | Article |