Permalink
Browse files

[VRG]

- updated the docs.

git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@933 625e195c-0704-0410-94f2-f261ee9f2fe7
  • Loading branch information...
1 parent ecf39c8 commit 5d9d41fa655c782a35dbcbd096097bb819ee7a57 agent committed Dec 26, 2006
Showing with 71 additions and 33 deletions.
  1. +10 −1 doc/KB.html
  2. +10 −1 doc/KB.pod
  3. +43 −31 doc/Overview.html
  4. +8 −0 doc/Overview.pod
View
@@ -59,6 +59,7 @@
<li><a href="#d6aacab6bfe2b5c4cdead5fbd0d4d7d4bcecd3eb20DBC">知识库的完整性自检与 DBC</a></li>
<li><a href="#d6aacab6bfe2b5c420Subversion20b2d6bfe2">知识库的 Subversion 仓库</a></li>
<li><a href="#TODO">TODO</a></li>
+ <li><a href="#COPYRIGHT">COPYRIGHT</a></li>
<li><a href="#SEE20ALSO">SEE ALSO</a></li>
</ul>
<!-- INDEX END -->
@@ -125,6 +126,9 @@
<p>特别地,以问号 (<code>?</code>) 起始的标识符为 XClips 变量,如 <code>?alpha</code>, <code>?m</code> 之类;否则为常量,如
<code>beta</code> 和 <code>l</code>.</p>
<p>变量一般用于规则,而常量一般出现在事实中。</p>
+<p>这些其实都是 XClips 语言的语法。有关 XClips 语言的更多信息,请参见我的``Introduction to XClips''
+讲座的幻灯片:</p>
+<p><a href="http://perlcabal.org/~agentzh/slides/xclips/xclips.pdf">http://perlcabal.org/~agentzh/slides/xclips/xclips.pdf</a></p>
<p>
</p>
<hr />
@@ -623,7 +627,7 @@
<hr />
<h1><a name="d6aacab6bfe2b5c420Subversion20b2d6bfe2">知识库的 Subversion 仓库</a></h1>
<p>您总是可以从下面的 Subversion (SVN) 仓库取得最新版本的 VRG 知识库:</p>
-<p><a href="http://svn.berlios.de/svnroot/repos/unisimu/VRG/knowledge">http://svn.berlios.de/svnroot/repos/unisimu/VRG/knowledge</a></p>
+<p><a href="https://svn.berlios.de/svnroot/repos/unisimu/VRG/knowledge">https://svn.berlios.de/svnroot/repos/unisimu/VRG/knowledge</a></p>
<p>
</p>
<hr />
@@ -638,6 +642,11 @@
<p>
</p>
<hr />
+<h1><a name="COPYRIGHT">COPYRIGHT</a></h1>
+<p>Copyright 2006 by Agent Zhang (章亦春). All rights reserved.</p>
+<p>
+</p>
+<hr />
<h1><a name="SEE20ALSO">SEE ALSO</a></h1>
<p><a href="././Overview.html">the Overview manpage</a></p>
<table border="0" width="100%" cellspacing="0" cellpadding="3">
View
@@ -66,6 +66,11 @@ C<beta>
���һ�����ڹ��򣬶��һ���������ʵ�С�
+��Щ��ʵ���� XClips ���Ե��﷨���й� XClips ���Եĸ����Ϣ����μ��ҵ�"Introduction to XClips"
+����Ļõ�Ƭ��
+
+L<http://perlcabal.org/~agentzh/slides/xclips/xclips.pdf>
+
=head1 ֪ʶ��Ľ�ģ����
VRG ֪ʶ������Ͽ��Է�Ϊ���֣�һ������弸�οռ��е�������������ռ���
@@ -568,7 +573,7 @@ VRG
�����ǿ��Դ������ Subversion (SVN) �ֿ�ȡ�����°汾�� VRG ֪ʶ�⣺
-L<http://svn.berlios.de/svnroot/repos/unisimu/VRG/knowledge>
+L<https://svn.berlios.de/svnroot/repos/unisimu/VRG/knowledge>
=head1 TODO
@@ -583,6 +588,10 @@ L<http://svn.berlios.de/svnroot/repos/unisimu/VRG/knowledge>
=back
+=head1 COPYRIGHT
+
+Copyright 2006 by Agent Zhang (���ഺ). All rights reserved.
+
=head1 SEE ALSO
L<Overview>
View
@@ -2,7 +2,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>Overview - VRG 专家系统概览</title>
-<link rel="stylesheet" href="Active.css" type="text/css" />
+<link rel="stylesheet" href="perl.css" type="text/css" />
<link rev="made" href="mailto:" />
</head>
@@ -18,40 +18,42 @@
<ul>
- <li><a href="#name">NAME</a></li>
- <li><a href="#author">AUTHOR</a></li>
- <li><a href="#version">VERSION</a></li>
- <li><a href="#vrg_________">VRG 是什么?</a></li>
- <li><a href="#___________vrg_________________">用户如何向 VRG 描述自己的问题?</a></li>
- <li><a href="#_______________vrg_______">用户该如何运行 VRG 系统?</a></li>
- <li><a href="#vrg________________png_________________">VRG 是如何绘制这些 PNG 格式的有向图的?</a></li>
- <li><a href="#vrg_____________________________________">VRG 在证明结果的描述上还有哪些特别之处?</a></li>
- <li><a href="#vrg___________________">VRG 经过了怎么的测试?</a></li>
- <li><a href="#___________________vrg_____________">哪些立体几何问题是 VRG 无法求解的?</a></li>
- <li><a href="#vrg_______________________________">VRG 的知识库是使用什么语言描述的?</a></li>
- <li><a href="#vrg_______________________________">VRG 在底层采用了什么样的推理引擎?</a></li>
- <li><a href="#vrg___________________________">VRG 可以运行在哪些操作系统上?</a></li>
- <li><a href="#_________vrg_">如何获取 VRG ?</a></li>
- <li><a href="#_________vrg_____________">如何加入 VRG 的开发工作?</a></li>
+ <li><a href="#NAME">NAME</a></li>
+ <li><a href="#AUTHOR">AUTHOR</a></li>
+ <li><a href="#VERSION">VERSION</a></li>
+ <li><a href="#VRG20cac7cab2c3b4a3bf">VRG 是什么?</a></li>
+ <li><a href="#d3c3bba7c8e7bacecff220VRG20c3e8caf6d7d4bcbab5c4cecacce2a3bf">用户如何向 VRG 描述自己的问题?</a></li>
+ <li><a href="#d3c3bba7b8c3c8e7baced4cbd0d020VRG20cfb5cdb3a3bf">用户该如何运行 VRG 系统?</a></li>
+ <li><a href="#VRG20cac7c8e7bacebbe6d6c6d5e2d0a920PNG20b8f1cabdb5c4d3d0cff2cdbcb5c4a3bf">VRG 是如何绘制这些 PNG 格式的有向图的?</a></li>
+ <li><a href="#VRG20d4dad6a4c3f7bde1b9fbb5c4c3e8caf6c9cfbbb9d3d0c4c4d0a9ccd8b1f0d6aeb4a6a3bf">VRG 在证明结果的描述上还有哪些特别之处?</a></li>
+ <li><a href="#VRG20beadb9fdc1cbd4f5c3b4b5c4b2e2cad4a3bf">VRG 经过了怎么的测试?</a></li>
+ <li><a href="#c4c4d0a9c1a2cce5bcb8bacececacce2cac720VRG20cedeb7a8c7f3bde2b5c4a3bf">哪些立体几何问题是 VRG 无法求解的?</a></li>
+ <li><a href="#VRG20b5c4d6aacab6bfe2cac7cab9d3c3cab2c3b4d3efd1d4c3e8caf6b5c4a3bf">VRG 的知识库是使用什么语言描述的?</a></li>
+ <li><a href="#VRG20d4dab5d7b2e3b2c9d3c3c1cbcab2c3b4d1f9b5c4cdc6c0edd2fdc7e6a3bf">VRG 在底层采用了什么样的推理引擎?</a></li>
+ <li><a href="#VRG20bfc9d2d4d4cbd0d0d4dac4c4d0a9b2d9d7f7cfb5cdb3c9cfa3bf">VRG 可以运行在哪些操作系统上?</a></li>
+ <li><a href="#c8e7bacebbf1c8a120VRG203f">如何获取 VRG ?</a></li>
+ <li><a href="#c8e7bacebcd3c8eb20VRG20b5c4bfaab7a2b9a4d7f7a3bf">如何加入 VRG 的开发工作?</a></li>
+ <li><a href="#COPYRIGHT">COPYRIGHT</a></li>
+ <li><a href="#SEE20ALSO">SEE ALSO</a></li>
</ul>
<!-- INDEX END -->
<hr />
<p>
</p>
-<h1><a name="name">NAME</a></h1>
+<h1><a name="NAME">NAME</a></h1>
<p>Overview - VRG 专家系统概览</p>
<p>
</p>
<hr />
-<h1><a name="author">AUTHOR</a></h1>
+<h1><a name="AUTHOR">AUTHOR</a></h1>
<p>章亦春 &lt;<a href="mailto:agentzh@gmail.com">agentzh@gmail.com</a>&gt;</p>
<p>3030602110 计算机0304班</p>
<p>计算机科学与通信工程学院 江苏大学</p>
<p>
</p>
<hr />
-<h1><a name="version">VERSION</a></h1>
+<h1><a name="VERSION">VERSION</a></h1>
<pre>
Maintainer: Agent Zhang &lt;agentzh@gmail.com&gt;
Date: 24 Dec 2006
@@ -60,7 +62,7 @@
<p>
</p>
<hr />
-<h1><a name="vrg_________">VRG 是什么?</a></h1>
+<h1><a name="VRG20cac7cab2c3b4a3bf">VRG 是什么?</a></h1>
<p>VRG 是一个立体几何定性问题证明系统。比如下面这样的问题都可以使用
VRG 进行证明:</p>
<ol>
@@ -93,7 +95,7 @@
<p>
</p>
<hr />
-<h1><a name="___________vrg_________________">用户如何向 VRG 描述自己的问题?</a></h1>
+<h1><a name="d3c3bba7c8e7bacecff220VRG20c3e8caf6d7d4bcbab5c4cecacce2a3bf">用户如何向 VRG 描述自己的问题?</a></h1>
<p>用户通过一种类似几何语言的“用户语言”向 VRG 描述自己的问题。</p>
<p>例如上面的第 1 题可以用 VRG 用户语言表达如下:</p>
<pre>
@@ -141,7 +143,7 @@
<p>
</p>
<hr />
-<h1><a name="_______________vrg_______">用户该如何运行 VRG 系统?</a></h1>
+<h1><a name="d3c3bba7b8c3c8e7baced4cbd0d020VRG20cfb5cdb3a3bf">用户该如何运行 VRG 系统?</a></h1>
<p>用户首先使用 VRG 用户语言描述自己的立体几何问题,并将之保存到
一个磁盘文件,并使用 <code>.vrg</code> 作为文件扩展名。然后使用下面的命令行
进行求解:</p>
@@ -174,61 +176,71 @@
<p>
</p>
<hr />
-<h1><a name="vrg________________png_________________">VRG 是如何绘制这些 PNG 格式的有向图的?</a></h1>
+<h1><a name="VRG20cac7c8e7bacebbe6d6c6d5e2d0a920PNG20b8f1cabdb5c4d3d0cff2cdbcb5c4a3bf">VRG 是如何绘制这些 PNG 格式的有向图的?</a></h1>
<p>VRG 在内部使用 AT&amp;T 的自由软件库 Graphviz 来生成所有的有向图。</p>
<p>
</p>
<hr />
-<h1><a name="vrg_____________________________________">VRG 在证明结果的描述上还有哪些特别之处?</a></h1>
+<h1><a name="VRG20d4dad6a4c3f7bde1b9fbb5c4c3e8caf6c9cfbbb9d3d0c4c4d0a9ccd8b1f0d6aeb4a6a3bf">VRG 在证明结果的描述上还有哪些特别之处?</a></h1>
<p>对于多证明目标的题目,VRG 在判断不成立时,会显式地指出具体是哪些目标是未决的。
而对于题目自身的条件是彼此冲突的,比如两个几何元素既平行又垂直了,VRG 也会显
式地指出冲突所涉及的细节(比如哪两个元素冲突了,是哪两个关系冲突了)。</p>
<p>
</p>
<hr />
-<h1><a name="vrg___________________">VRG 经过了怎么的测试?</a></h1>
+<h1><a name="VRG20beadb9fdc1cbd4f5c3b4b5c4b2e2cad4a3bf">VRG 经过了怎么的测试?</a></h1>
<p>我已使用高中数学教材中所有的公理、定义、定理和推论对 VRG 进行了测试(在 VRG
的测试集中即对应 sanity.t 文件),此外,我还使用高三时候积累的所有相关的高考复习
题对 VRG 进行了测试(在测试集中即对应 senior.t 文件)。</p>
<p>
</p>
<hr />
-<h1><a name="___________________vrg_____________">哪些立体几何问题是 VRG 无法求解的?</a></h1>
+<h1><a name="c4c4d0a9c1a2cce5bcb8bacececacce2cac720VRG20cedeb7a8c7f3bde2b5c4a3bf">哪些立体几何问题是 VRG 无法求解的?</a></h1>
<p>对于涉及定量关系的几何问题是无法用 VRG 进行求解的,比如角度计算问题、线段长度
之类。VRG 是定性求解系统,它只能处理“垂直”、“平行”、“线在面上”这样的定性关系。</p>
<p>
</p>
<hr />
-<h1><a name="vrg_______________________________">VRG 的知识库是使用什么语言描述的?</a></h1>
+<h1><a name="VRG20b5c4d6aacab6bfe2cac7cab9d3c3cab2c3b4d3efd1d4c3e8caf6b5c4a3bf">VRG 的知识库是使用什么语言描述的?</a></h1>
<p>VRG 的知识库全部是使用我自主设计和实现的通用目的专家系统编程语言 XClips 进行描述的,
在 VRG 源代码目录中,对应 <em>knowledge/*.xclp</em> 这些文件。</p>
<p>由于使用了可扩展的 XClips 语言,VRG 的知识库非常简洁,非常清晰。</p>
<p>
</p>
<hr />
-<h1><a name="vrg_______________________________">VRG 在底层采用了什么样的推理引擎?</a></h1>
+<h1><a name="VRG20d4dab5d7b2e3b2c9d3c3c1cbcab2c3b4d1f9b5c4cdc6c0edd2fdc7e6a3bf">VRG 在底层采用了什么样的推理引擎?</a></h1>
<p>VRG 在底层使用了美国航空航天局约翰逊太空中心开发的正向链推理机 CLIPS. 事实上,
VRG 系统与 CLIPS 的交互全部是通过 XClips 系统来完成的。XClips 正是建筑在
CLIPS 之上的。</p>
<p>值得一提的是,CLIPS 是发布在公共域(public domain)中的,因此可以将之用于任何目的。</p>
<p>
</p>
<hr />
-<h1><a name="vrg___________________________">VRG 可以运行在哪些操作系统上?</a></h1>
+<h1><a name="VRG20bfc9d2d4d4cbd0d0d4dac4c4d0a9b2d9d7f7cfb5cdb3c9cfa3bf">VRG 可以运行在哪些操作系统上?</a></h1>
<p>VRG 的构件和依赖项都是高度可移植的,包括 CLIPS, perl, Graphviz, 因此可以不加修
改地运行在包括 Windows, Linux, FreeBSD, Solaris 在内的多种操作系统上。目前,
我只在 Windows XP 和 Windows 2000 上进行过测试。</p>
<p>
</p>
<hr />
-<h1><a name="_________vrg_">如何获取 VRG ?</a></h1>
+<h1><a name="c8e7bacebbf1c8a120VRG203f">如何获取 VRG ?</a></h1>
<p>您总是可以从下面的 SVN 仓库获得 VRG 最新版本的源代码:</p>
<p><a href="http://svn.berlios.de/svnroot/repos/unisimu/VRG">http://svn.berlios.de/svnroot/repos/unisimu/VRG</a></p>
<p>
</p>
<hr />
-<h1><a name="_________vrg_____________">如何加入 VRG 的开发工作?</a></h1>
+<h1><a name="c8e7bacebcd3c8eb20VRG20b5c4bfaab7a2b9a4d7f7a3bf">如何加入 VRG 的开发工作?</a></h1>
<p>如果您想帮助完善 VRG 系统,请发送电子邮件告知作者。谢谢!</p>
+<p>
+</p>
+<hr />
+<h1><a name="COPYRIGHT">COPYRIGHT</a></h1>
+<p>Copyright 2006 by Agent Zhang (章亦春). All rights reserved.</p>
+<p>
+</p>
+<hr />
+<h1><a name="SEE20ALSO">SEE ALSO</a></h1>
+<p><a href="././KB.html">the KB manpage</a></p>
<table border="0" width="100%" cellspacing="0" cellpadding="3">
<tr><td class="block" valign="middle">
<big><strong><span class="block">&nbsp;Overview - VRG 专家系统概览</span></strong></big>
View
@@ -194,3 +194,11 @@ L<http://svn.berlios.de/svnroot/repos/unisimu/VRG>
=head1 ��μ��� VRG �Ŀ�������
�������������� VRG ϵͳ���뷢�͵����ʼ���֪���ߡ�лл��
+
+=head1 COPYRIGHT
+
+Copyright 2006 by Agent Zhang (���ഺ). All rights reserved.
+
+=head1 SEE ALSO
+
+L<KB>

0 comments on commit 5d9d41f

Please sign in to comment.