Performance support systems such as the AGD.

如agd绩效支持系统等。

Below: a composite of the original King's Quest 2, to the right, and the AGD Interactive remake.

下面是一副《国王密使2》的合成图：右边是原版的，左边是AGD互动公司重新开发的。

Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.

目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。