The Soar 9 Tutotial 笔记

part 1 simple soar programs

2 building a simple soar agent using rules

2.4 hello world rule : soar

soar的规则写法：

sp { hello-world
	# 条件
    (state <s> ^type state) 
-->
	# 动作
    (write | Hello world|)
    (halt)
  }

2.5 working memory

工作记忆中包含soar智能体的世界及其内部推理的动态信息。包含传感器数据，中间计算，当前的operators和goals。在soar中，工作记忆被组织为图结构。例如下图 1 ：

和图 2：

图1 和图2中的工作记忆由节点和连接构成。图中的S1,B1,B2,A和blue都是节点，block，table，name,color和superstate是连接。节点分为两类：1.identifiers;2.constants。可以发出连接的节点为identifiers,其它的（终止节点）节点叫作constants。
在soar中，所有的节点会被soar自动建立，它们是一个字母加数字的形式。在soar中，属性的前面有这个：“^”.只有identifiers有属性。
工作记忆其实是由identifiers、attribute（属性）和值（value）构成，值就是由属性引导的指向的节点，它可以是constants和identifiers。上面的图由如何工作记忆的元素（elements）

S1 ^superstate nil
S1 ^io I1
S1 ^type state
I1 ^output-link I2
I1 ^input-link I3

这是工作记忆最小的内容。
享有相同的identifiers的工作记忆的元素构成了object。上图的三个工作记忆的元素共同享有identifiers S1就构成了这个状态的object。构成object 的工作记忆元素叫作augmentations。object常常表示为使用括号括起来的augmentation的列表。如下面所示：

(S1 ^io I1 ^superstate nil ^type state)
(I1 ^input-link I3 ^output-link I2)

一个工作记忆的object常常表示现实世界中的something。例如墙，一片食物等。单个的augmentation表示性质（properties），如颜色，大小，重量。对于不同的soar的任务，工作记忆中的内容是不同的，例如下图：

工作记忆常常包括object，它不表示实际存在的东西，只是概念上的things，例如S1.S1祖师其它的object，relation和properties。
soar不要求任何可能的属性和constants的声明，实际上，一些soar在执行过程中，产生新的attributes和constants。（soar编辑器，VisualSoar，要求声明工作记忆元素来检查我们的跪着（rules）中的错误）

2.6 hello-world rule：soar details

代码：

sp { hello-world
    (state <s> ^type state)
-->
    (write |Hello world|)
    (halt)
  }

在soar中，当soar智能体被创建时，它就有(s1 ^type state)在工作记忆中，这表明智能体已经存在了。所以我们可以通过监测这个结构(s1 ^type state)来判断是否智能体已经存在。S1知识一个任意的符号，可能不是智能体每次运行的identifiers。我们需要测试是否有identifiers，而不是测试特定的值。这就是变量要做的—it matches any symbol in working memory with the only constraint being that all occurrences of the same variable in a rule match the same symbol. A variable can match an identifier, an attribute, or a value, depending on its position in a condition – if it is first in a condition it will match the identifier, second the attribute, and third the value. 变量使用“<”“>”表示。“|”中间加入想要打印的字符串。

3 building simple agents using operators

operators做出动作，这个动作可以是in mind或者作用于world。