A Type-Theoretic Approach

Abstract |

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 }

Last modified: Sat Nov 11 20:36:50 CET 2006 |