×

Knowledge representation and problem solving in the intelligent computer algebra system STRAMS. (English) Zbl 1079.68626

Summary: The paper discusses the intelligent computer algebra system STRAMS being under development at the Faculty of Mathematics and Informatics, Sofia University. The functional facilities and the architecture of STRAMS are briefly described. The presentation focuses on issues related to the suggested knowledge representation formalism, the structure and the contents of the knowledge base of STRAMS and the implemented mathematical problem solving and learning mechanisms.

MSC:

68T30 Knowledge representation
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68W30 Symbolic computation and algebraic computation
68T05 Learning and adaptive systems in artificial intelligence

Software:

STRAMS
PDFBibTeX XMLCite