syntreenet 1.0.0b5

Free logics from PEGs

syntreenet有助于任何有限域形式的轻松开发 任何一种语言所描述的理论都是可能的。

它提供了一个性能良好、可扩展的知识库。 production system，规则和事实相互作用，产生新的规则和 事实。本文中的事实是提供的pegs中的顶级产品，并且 规则基本上是由一组事实构成的，这些事实作为条件和 另一组事实作为祭奠。

它只依赖于erik rose的优秀的Parsimoniouspeg解析器。

Example Usage

让我们从一个简单的语法开始，用它我们可以构建三元组 主语、谓语和宾语，有两个谓语 从而产生事物的分类。举个例子 更简单的是，我们将使用ascii字符串“element of”代替unicode∈， 用“子集”代替。

语法可能如下：

fact        = word ws pred ws word
pred        = element / subset
element     = "element-of"
subset      = "subset-of"
word        = ~"[a-z0-9]+"
ws          = ~"\s+"

有了这个，我们可以得到如下事实：

a element-of b
b subset-of c
c subset-of d

在这种语言之上，我们可能需要一个逻辑，如果前面的3 事实被添加到知识库中，它还将具有以下内容：

a element-of c
a element-of d
b subset-of d

为此，我们需要一个逻辑，其中的变量范围超过“字”的生产。 因此，我们修改语法，将“word”规则替换为：

word        = v_word / __var__
v_word      = ~"[a-z0-9]+"

有了这个语法，我们现在可以建立一个知识库，并添加适当的规则 对于我们的目的：

>>>fromsyntreenetimportKnowledgeBase>>>grammar="""
>>>    fact        = word ws pred ws word
>>>    pred        = element / subset
>>>    element     = "element-of"
>>>    subset      = "subset-of"
>>>    word        = v_word / __var__
>>>    v_word      = ~"[a-z0-9]+"
>>>    ws          = ~"\s+"
>>> """>>>kb=KnowledgeBase(grammar)>>>kb.tell("X1 element-of X2 ; X2 subset-of X3 -> X1 element-of X3")>>>kb.tell("X1 subset-of X2 ; X2 subset-of X3 -> X1 subset-of X3")

现在我们可以向知识库中添加事实，并查询它们 注意事项：

>>>kb.tell("a element-of b")>>>kb.tell("b subset-of c")>>>kb.tell("c subset-of d")>>>kb.query("a element-of b")True>>>kb.query("a element-of d")True>>>kb.query("c element-of d")False>>>kb.query("X1 subset-of d")[{'X1':'b'},{'X1':'c'}]

Goals

可扩展性：

添加新事实或规则的数量实际上是o（1）加上 知识库中已存在的事实。理论上，这是由于 持有数据（事实和规则）的DAG 通过查阅Python词典进行搜索。实际上，我得到了 相当恒定的值，每一个事实只有十分之几毫秒（这个 取决于语法的复杂性），达到我的能力。 笔记本电脑（总计约200万条事实和规则）。

普遍性：

标题中的“free”是指 pegs描述的形式语言：syntreenet对 它处理任何特定逻辑的语法基础 时刻。

清除并测试代码：

代码遵循可读性的最佳实践，并经过99%的测试 覆盖范围包括分支分析。

Detailed Usage

$ pip install syntreenet
$ python
>>> import syntreenet

$ git clone https://git.sr.ht/~enriquepablo/syntreenet
$ cd syntreenet/
$ virtualenv venv
$ source venv/bin/activate
$ python setup.py develop easy_install syntreenet[testing]
$ nose2