Category Archives: VRG

KB – VRG 知识库简介

NAME KB – VRG 知识库简介 AUTHOR Agent Zhang (章亦春) <agentzh at gmail dot com> VERSION Maintainer: Agent Zhang <agentzh at gmail dot com> Date: 26 Dec 2006 Last Modified: 26 Dec 2006 Version: 0.01 DESCRIPTION 这篇文档将简要地介绍一下 VRG 立体几何定性证明系统的知识库。如果您对 VRG 项目还不熟悉,请先阅读该项目的 … Continue reading

Posted in VRG | Leave a comment

Overview – VRG 专家系统概览

NAME Overview – VRG 专家系统概览 AUTHOR 章亦春 <agentzh at gmail dot com> 计算机科学与通信工程学院 江苏大学 VERSION Maintainer: Agent Zhang <agentzh at gmail dot com> Date: 24 Dec 2006 Last Modified: 24 Dec 2006 Version: 0.01 VRG 是什么? VRG 是一个立体几何定性问题证明系统。比如下面这样的问题都可以使用VRG 进行证明: 若直线 … Continue reading

Posted in VRG | Leave a comment

XClips 与 VRG

前些日子我本打算为本周的专家系统课程制做两组幻灯片。一组是《Introduction to XClips》,介绍我基于 CLIPS 设计的专家系统编程语言;一组是《Introduction to VRG》,介绍我用 XClips 语言编写的 立体几何自动化证明系统 VRG。但由于时间的关系,只完成了第一组。第二组我真的累了,暂时不想做了(尽管有更多更激动人心的东西值得介绍)。 《Introduction to XClips》这一组幻灯片,共 94 张。制做这套幻灯的过程是非常令人愉快的,尽管有些辛苦。呵呵。这是我第一次为自己设计和实现的专家系统语言编写幻灯,激动啊~~ 如果您在江大校外,可以从这里下载 PPT 格式的幻灯: http://svn.berlios.de/svnroot/repos/unisimu/Slides/xclips/xclips.ppt 将上面的 .ppt 改为 .pdf 可以取得 PDF 格式的版本。 如果您在江大校内,则可以从江大医学院的服务器上获取: http://yxy.ujs.edu.cn/images/xclips.ppt 或者 http://yxy.ujs.edu.cn/images/xclips.pdf 经过 10 天的努力,VRG 和 XClips 这两个项目从无到有,从小到大。 高中数学书上几乎所有的立体几何部分的公理、定理现在都能正确地为我的专家系统所证明啦。对应的测试文件如下: http://svn.berlios.de/svnroot/repos/unisimu/VRG/t/sanity.t 另外,我使用高三时搜集的许多高考复习题轰炸它,也全部为它轻松搞定。对应的测试文件如下: … Continue reading

Posted in VRG | 2 Comments