[DOC] Update readme for kb

abl/abducer/readme.md

@@ -129,7 +129,7 @@ _需要注意: 传入的 prolog 程序中需要有 `logic_forward` 的实现,
 
 # `abducer_base.py`
 
-可以使用`abducer_base.py`中实现的方法帮助进行反绎. 使用的方法为实例化 `AbducerBase` 类, 并向其中传入 `kb` 即可. 
+可以使用`abducer_base.py`中实现的方法帮助进行反绎. 使用的方法为实例化 `AbducerBase` 类, 并向其中传入 `kb` 即可.
 
 > 比如, MNIST_add 中可以在定义 `kb1` 之后, 继续构建
 >
@@ -155,6 +155,8 @@ _需要注意: 传入的 prolog 程序中需要有 `logic_forward` 的实现,
   > 比如, MNIST_add 中的`pred_res`为 [2,9], `key`为 18, 首先使用零阶优化会得到应该修改的伪标记的 index 为 0, 接着代入`pred_res`, `key` 和修改的 index([0]) 到`kb.py`的`address_by_idx`中, 在其中会先得到修改 index 处的伪标记后所有可能的逻辑输入为 [0,9],[1,9],[3,9],[4,9],[5,9],[6,9],[7,9],[8,9],[9,9], 其中 [9,9] 是符合逻辑的, 则输出 [9,9].
   >
   > 再比如, HED 中`pred_res`为[1,0,1,'=',1], (`key`默认设置为`None`). 首先使用零阶优化会得到应该修改的伪标记的 index 为 1, 代入到`kb.py`的`address_by_idx`可以得到修改 index 处的伪标记后所有可能的逻辑输入为 [1,1,1,'=',1],[1,'+',1,'=',1],[1,'=',1,'=',1], 其中 [1,'+',1,'=',1] 是符合逻辑的, 则输出 [1,'+',1,'=',1].
+  
+  _注：零阶优化中同样支持`max_address`的限制, 但是暂时没有设置支持`require_more_address`._
 
 ## 何为“最有可能的”