Structuring and Using a Knowledge Base of Mathematical Concepts:
A Type-Theoretic Approach

This paper describes an approach to representing mathematical concepts in a knowledge base which is structured by a subsumption relation between concepts. Two kinds of concepts are examined: Propositional concepts, with the subsumption relation given by a generalized implication, and parameterized theories, with the subsumption relation given by theory morphisms. It is shown which kinds of reasoning activities can be supported by such a knowledge base. A type theory in which the entities to be represented are first-class objects serves as formal framework.
 

Online Copy

Available as Postscript (ca 140 KB)
 

BibTeX Entry

@InProceedings{Strecker:96a,
  author = 	 {Martin Strecker and Marko Luther and Matthias Wagner},
  title = 	 {Structuring and Using a Knowledge Base of Mathematical Concepts:
                  A Type-Theoretic Approach},
  booktitle = 	 {ECAI-96 Workshop on Representation of mathematical
                  knowledge},
  pages =        {23--26},
  year =	 1996
}