使用 OCaml 的 Hopfield 网络

Question

我目前正在尝试使用 Ocaml 构建一个 hopfield 网络。我无法制作一些函数来让这一切正常工作，并且不知道如何完成它们。

第一个是能量函数。

这是我的功能：

let rec energy(state, weightMatrix) =
if  weightMatrix == [] then 0.0
else
    (hd(state) *. hd(weightMatrix))/2.0 +. energy(tl(state),tl(weightMatrix));;

state 是它所处的状态，而 weightMatrix 是权重矩阵。它遵循等式：

这方面的一个例子是：

state =  = [1.0; -1.0; 1.0; -1.0] and 
weight = [[0.; -1.; 1.; -1.]; [-1.; 0.; -1.; 1.];[1.; -1.; 0.; -1.];[-1.; 1.; -1.; 0.]]


# energy(state,weight);;
- : float = -6.

当我运行我的函数时，我在函数的最后一行收到以下错误：

Error: This expression has type float but an expression was expected of type
     int

编辑：修复上述错误后，我现在遇到了这个错误：

Error: This expression has type float list list
   but an expression was expected of type float list
   Type float list is not compatible with type float

我认为我的问题可以从这里看出：

I am getting: val energy : float list * float list -> float = <fun>
but want: val energy : float list * float list list -> float = <fun> 

还有，

我必须创建两个函数来进入网络中的下一个状态，但我无法从逻辑上思考如何完成。我的功能大纲是：

let nextState(currentState, weightMatrix, alpha) =

;;

如果有人能帮我解决这个问题，那就太好了！

Answer 1

第一个错误是/引起的，是整数除法。你可能想要/.。很容易忘记浮动运算符中的点。

我对您的状态转换功能了解不够，无法提供任何建议，抱歉。

Answer 2

我的测试说：

# let rec energy (state, weightMatrix) =
if  weightMatrix == [] then 0.0
else
      (hd(state) *. hd(weightMatrix))/. 2.0 +. energy(tl(state),tl(weightMatrix));;
val energy : float list * float list -> float = <fun>

# let st  = [1.0; -1.0; 1.0; -1.0];;
val st : float list = [1.; -1.; 1.; -1.]

# let wg = [[0.; -1.; 1.; -1.]; [-1.; 0.; -1.; 1.];[1.; -1.; 0.; -1.];[-1.; 1.; -1.; 0.]];;
val wg : float list list =
  [[0.; -1.; 1.; -1.]; [-1.; 0.; -1.; 1.]; [1.; -1.; 0.; -1.];
   [-1.; 1.; -1.; 0.]]

# energy (st, wg);;
Error: This expression has type float list list
       but an expression was expected of type float list
       Type float list is not compatible with type float 

绝对正确。重量头是一个列表。您不能像那样将列表除以 2.0。

我不懂你要计算的公式，我只能说：你必须分解list列表。