enriquepablo 0.1.0b4

单词

术语结构的主要组成部分是单词。

首先，有几个预定义的单词： 单词， 动词 ， 名词 ， 数字 ， 事物 和 存在

新单词的定义是将它们与现有单词相关联。

两个词之间可以建立两种关系。

我们将在下面看到， 这些关系在形式上类似于集合论关系 "是"的元素，"是"的子集。

在英语中，我们把第一种关系表示为"是类型的"， 它表示为：

word1 is a word2.

所以我们可以说 word1 是 word2 类型， 根据单词2定义 word1 （因此， word2 必须在之前定义，或者是预定义的）。 第二种关系用英语表示为"is subtype of"， 在术语上：

a word1 is a word2.

因此，我们可以说 word1 是 word2 的一个子类型， 还定义了 word1 在 word2 方面。 在预定义的单词中，给出了这些关系：

word is a word.
verb is a word.
a verb is a word.
noun is a word.
a noun is a word.
thing is a noun.
a thing is a word.
exist is a verb.
a exist is a word.
number is a word.
a number is a word.

要定义一个新词，你要把它和一个已有的词联系起来。例如：

a person is a thing.
a man is a person.
a woman is a person.
john is a man.
sue is a woman.

这些关系具有连续性，由两个隐式规则给出：

A is a B; a B is a C -> A is a C.
a A is a B; a B is a C -> a A is a C.

因此，从以上所有方面来看，例如，我们有：

thing is a word.
person is a word.
person is a noun.
john is a word.
a man is a thing.
john is a thing.
sue is a person.
...

用语言，我们可以建立事实。 一个事实由一个动词和任意数量的（带标签的）对象组成。

动词是特殊的词，因为它们决定 事实的修正者他们。 这些修饰语是单词，并且有标签。 要定义一个新动词， 你先提供一个祖先动词 （或由冒号分隔的一系列祖先动词） 事实上，可以作为动词修饰语的词的类型， 与他们的标签相关。 例如：

to love is to exist, subj a person, who a person.

可以理解为： 爱被定义为存在的一个子类型， 当用于事实时，它可以接受一个 类型的主题person 以及一个标记为"谁"的对象，也属于"人"类型。

原语动词是exist， 它只是定义了一个类型为thing的subj对象。 有更多预定义的动词， 当我们用术语解释时间的处理时，我们将看到它的用途。

事实

事实是由一个动词和一些宾语构成的。 它们在括号里。例如，我们可能有这样一个事实：

(love john, who sue).

主语宾语是特殊的：所有动词都有它， 事实上，它没有标上 subj ， 它只是在动词之后取代主语。

动词继承其祖先的宾语类型。原语动词存在 只接受一个对象， subj ，类型为 word ，由所有其他动词继承。 所以，如果我们定义一个动词：

to adore is to love.

它将有一个类型为person的对象。如果爱慕提供了 一个新的对象，它会被添加到继承的对象中。 新动词可以重写继承的对象类型，以提供原始对象的子类型 对象类型 （就像我们在上面对subj所做的那样；subj被预定义为 word 类型）

事实就是语言， "一等公民"， 可以用在任何可以用词的地方。 事实是存在类型的词，也是动词类型的词， was<；verb>；是用于构建事实的动词。 所以我们的事实是 （爱约翰，谁休）是爱。

事实上，对象可以是任何类型的（a word ，a verb ，a noun ，a thing ， a 数字 ）。此外，它们也可以是事实（类型 exist ）。 所以，如果我们定义一个动词，比如：

word1 is a word2.

0

然后我们可以建立如下事实：

word1 is a word2.

1

事实上：

word1 is a word2.

2

规则

我们可以建立规则，在现有（或新添加的）规则的基础上生成新的事实。 一条规则有两组事实，条件（先给出）和连续性。每一组的事实 事实用分号（连词）分隔，符号 ->； （含义）分隔条件 从圣餐中。 一个简单的规则可能是：

word1 is a word2.

3

知识库中的事实与规则的条件相匹配， 当一条规则的所有条件都符合一致的事实时， 这些连续性被添加到知识库中。所需的连贯性 匹配事实中涉及条件中的变量。

我们可以在规则中使用变量。它们是逻辑变量，只用于匹配单词， 范围仅限于使用的规则。我们通过 将它可以匹配的单词类型的名称大写，并附加任意数量的 数字。例如，变量person1可以匹配任何人，比如 苏 或 约翰 。对于变量，我们可以建立如下规则：

word1 is a word2.

4

如果我们有这个规则，而且还有这个规则，系统将得出结论 （爱苏，约翰）。

变量可以匹配整个事实。例如，用我们定义的动词，我们可以 建立一个规则，例如：

word1 is a word2.

5

有了这个，和 （想要john，what（love sue，who john））。 ，系统将得出结论 （爱苏，约翰）。

与动词（或名词）匹配的变量有一种特殊的形式，即它们的前缀是 动词（或名词）的名称，以便h动词（或名词），是前缀动词（或名词）的子类型。 例如，使用上面的单词，我们可以制定一个规则，例如：

word1 is a word2.

6

在本例中， loveverb1 将同时匹配 love 和 adore ，因此两者都匹配 （爱约翰，谁起诉） 和 （爱约翰，谁起诉） 会得出结论 （爱苏，谁约翰）或（爱苏，谁约翰）。

对于更详细的示例，我们可以定义一个新动词：

word1 is a word2.

7

还有一条规则：

word1 is a word2.

8

然后， （允许约翰去崇拜） 会让他去崇拜，而不是去爱。

我们可以使用与任何单词或事实匹配的单词变量，例如 word1 。

在条件下，我们可能需要匹配一个完整的事实，同时匹配一些 它的组成词。为此，我们在事实前加上名字 用冒号分隔的事实变量。这样，上述规则将变为：

word1 is a word2.

9

整数

整数的类型是 数字 。 我们不定义数字，只是用数字。 在python中可以转换为整数类型的任何字符序列 是数字，例如： 1

数字变量只由一个大写字母和一个整数组成，如 n1 ， p3 ，或 f122

蟒蛇状态

在规则中，我们可以添加一个用python测试条件的部分，或者在其中生成 现有变量之外的新变量。这主要用于测试算术条件 以及执行算术运算。本节是在条件之后放置的， 在符号之间。测试结果放在 条件 python变量，如果其计算结果为 false ，则不会触发规则。

举个例子，让我们设想一些新术语：

a word1 is a word2.

0

现在，我们可以建立一个规则，例如：

a word1 is a word2.

1

如果我们有：

a word1 is a word2.

2

系统将（仅）断定 （john输入，其中 俱乐部重大事件）

否定

我们可以使用两种否定，古典否定和 失败否定。

经典否定

任何事实都可以通过前置 来否定！ 到动词：

a word1 is a word2.

否定的事实和非否定的事实是一样的。 只有否定的事实才能与否定的事实相匹配， 它们可以在规则中断言或使用。 否定的唯一特殊之处是 制度不允许事实及其否定 在同一个知识库中：它将警告矛盾 会拒绝冒犯的事实。

失败否定

在pythonic条件下，我们可以使用函数runtime.count 有一个字符串参数，一个术语事实（可能有变量）， 它将返回数据库中与给定事实匹配的事实数。 我们可以用这个来检验 在知识库中，因此会因失败而否定。

必须小心使用 count 函数。 如果输入的事实可能符合pythonic count 条件， 它本身决不会触发任何规则。 规则由符合正常条件的事实激活； 而pythonic条件只能允许或中止 那些激活。 换句话说，当一个事实被添加， 它是在所有规则的正常条件下测试的， 如果它激活了任何规则，就会测试蟒蛇的情况。 可以看到这种行为的一个例子 这里 。 如果您检查上一个链接中的本体， 你会发现这显然是错误的； 这就是我说必须小心的原因。 数数是及时的， 不建议在没有激活时间的情况下使用它。

a word1 is a word2.

a word1 is a word2.

a word1 is a word2.