关于计算机代数系统专家帮助系统的设计
符号计算
2014-05-30 v2 广义相对论与量子宇宙学
摘要
我们在此仅讨论Smart Help的设计性质、复杂性和工具，Smart Help是一个用于辅助计算机代数系统用户的专家帮助设施。尽管这里介绍的专家帮助系统特别面向REDUCE（基于我们之前使用该系统的经验），但我们指出Smart Help的概念可以扩展到其他计算机代数系统。技术上，Smart Help是一个基于MANTRA特定实现的生产系统，MANTRA是一个混合知识表示系统，其中REDUCE作为附加知识表示模块集成。由于MANTRA的启发式层尚未实现，目前由Lisp语言本身表示，Smart Help用Lisp编码，并驻留在MANTRA的同一Lisp会话中。Smart Help的原型目前正在SUN工作站上实验运行。
引用
@article{arxiv.1405.6885,
title = {On the design of an expert help system for computer algebra systems},
author = {Renato P. dos Santos and Waldir L. Roque},
journal= {arXiv preprint arXiv:1405.6885},
year = {2014}
}
备注
4 pages; fixed author names