第六章解题功能.doc

第六章 推理功能 自从计算机发明以来，人们总是不断地研究怎样利用计算机来为我们服务；而人工智能方面经历近几十年的发展，取得颇多的成绩，自动推理正是其中的一部分。本软件的解题功能应用了自动推理和知识工程研究领域的最先进的成果，不仅可以提供详细的解题推理过程，而且在工作区的推理库中以信息树的形式为你提供相关的知识点，这也正是本软件中重要、精彩的部分，人工智能的体现之一。 我们来看看“推理”菜单的子菜单，如图6-1。一旦作好图形，添加需要的辅助条件或条件，然后直接单击“自动推理”，计算机将根据图形信息及辅助条件进行推理。 6.1 添加辅助条件或结论 (仅适用于超级画板、平面几何和新世纪版) 有些条件在作图的时候作不出来，或者很难作出来，也可能是当初忘了作，比如：线段的长度、线段间的比例关系等等，但是，在解题过程中又必须用到，面对这个问题我们是否就束手无策了呢？当然不会，单击菜单命令“解题|条件”，在弹出如6-2图所示的对话框，你就可以把你所需要的条件附加进去了。 比如线段线段(equalOfSegment B C C D);”，即线段BC与线段CD相等。 需要注意：只有选取的对象满足选取的类型需要的前提，“增加已知”和“增加结论”按钮才会被激活。例如若在“对象选取”栏，只有点B、C、D三个点，那么这不符合线段相等的条件（四个点，分别为两线段的端点），自然不构成条件被增