Representation of mathematical knowledge

  • J. Calmet
  • I. A. Tjandra
Communications Logic For Artificial Intelligence
Part of the Lecture Notes in Computer Science book series (LNCS, volume 542)


We describe a method to build an environment for processing mathematical domains of computation. Basically, the environment may aid the user in: (i) specifying correct abstract computational structures and their models, (ii) completing the sets of properties of operators 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 hybrid knowledge representation system.


expert system mathematical domains of computation knowledge bases 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ba et al.]
    Bachmaier, L., Dershowitz, N., Hsiang, J.: Proof Orderings for Equational Proof; Proc. LISC 86, 346–357.Google Scholar
  2. [Bi]
    Bibel, W.: Automated Theorem Proving; Vieweg; 1982.Google Scholar
  3. [Be]
    Belnap N.D.: A Useful Four-Valued Logic; in “Modern Uses of Multiple-Valued Logic”, ed. G. Epstein and J.M. Dunn, on: Reidel, 1977, pp. 8–37.Google Scholar
  4. [Bit]
    Bittencourt G.: An Architecture for Hybrid Knowledge Representation; Ph D Thesis; Universität Karlsruhe; 1990.Google Scholar
  5. [Br et al.]
    Brachman R.J., Fikes R.E., Levesque H.J.: KRYPTON: A Functional Approach to Knowledge Representation; IEEE Computer, 16 (10), pp. 67–73, 1983.Google Scholar
  6. [Ho et al.]
    Horty J.F., Thomason R.H., Touretzky D.S.: A Skeptical Theory of Inheritance in Nonmonotonic Semantic Nets; Report CMU-CS-87-175, Carnegie-Mellon Univ., 1987.Google Scholar
  7. [Kn,Be]
    Knuth D.E., Bendix P.B.: Simple Word Problems in Universal Algebras; OXFORD, 263–298; 1967.Google Scholar
  8. [Ma,Mo]
    Martelli A., Montanari U.: An Efficient Unification Algorithm; ACM-TOPLAS, 4(2), pp. 258–282, 1982.Google Scholar
  9. [Mi et al]
    Mitchell T.M., Keller R.M., Kedar-Ceballi S.T.: Explanation-Based Generalization: A Unifying View; Machine Learning 1 47–80; Kluwer Academic Publishers; 1986.Google Scholar
  10. [Pa]
    Patel-Schneider P.F.: A Decidable First-Order Logic for Knowledge Representation; Proceedings of IJCAI 9, pp. 455–458, 1985.Google Scholar
  11. [Wa]
    Waldinger, R.: Achieving Several Goals Simultaneously; in Machine Intelligence 6 (eds. E. Elcock and D. Michie), 94–136, Ellis Horwood; 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • J. Calmet
    • 1
  • I. A. Tjandra
    • 1
  1. 1.Department of Computer Science Institut für Algorithmen und Kognitive SystemeUniversity of KarlsruheKarlsruheGermany

Personalised recommendations