機率軟邏輯（PSL，Probabilistic soft logic）在Groovy語言中的規則規範

標籤：子集   nbsp   檔案   lock   檔案載入   運算子   model   weight   機率   

1. 內聯文法

??規則示範如下，權重和平方必須指定具體參數。同時，使用內聯文法的變數必須以大寫字母開頭。

model.add(   rule: ( Likes(A, ‘Dogs‘) & Likes(B, ‘Dogs‘) ) >> Friends(A, B),   weight: 5.0,   squared: true);

??由於內聯文法必須是Groovy文法的子集，因此不支援以下運算子變體：

&&
||
->
<<
<-
!

??請注意，所有不受支援的運算子都支援變體。 算術規則是不支援內聯文法的。

2. 字串文法

??規則形如:

model.add(        rule: "( Likes(A, ‘Dogs‘) & Likes(B, ‘Dogs‘) ) >> Friends(A, B)",        weight: 5.0,        squared: true ); // 與上述形式相同作用的規則 model.add(        rule: "5.0: ( Likes(A, ‘Dogs‘) && Likes(B, ‘Dogs‘) ) -> Friends(A, B) ^2" ); // 上述規則的未加權（約束）形式model.add(        rule: "( Likes(A, ‘Dogs‘) && Likes(B, ‘Dogs‘) ) -> Friends(A, B)" ); // 算術約束. model.add(        rule: "Likes(A, +B) = 1 ." );

??字串文法因為可以不遵守groovy文法，所以所有運算子的可以用，同時指定權重和平方也靈活的多。

3. 批量字串文法

??規則示範如下:

model.addRules("""           1: ( Likes(A, ‘Dogs‘) & Likes(B, ‘Dogs‘) ) >> Friends(A, B) ^2           Likes(A, +B) = 1 . """); // 從檔案載入多個規則。 model.addRules(new FileReader("myRules.txt"));

??可以使用addRules（）方法一次添加多個規則，每個規則佔一行，每條規則必須定義權重和平方。

4. 約束

??約束（限制條件）是未加權的算術規則。制定一個算術規則，可以明確地指定或者不指定它是未加權的（在規則末尾是否使用句點）。

// 用句點明確指出一個未加權規則（約束）model.add(        rule: "Likes(A, +B) = 1 ." ); // 含蓄指出未加權規則model.add(        rule: "Likes(A, +B) = 1" );

 

機率軟邏輯（PSL，Probabilistic soft logic）在Groovy語言中的規則規範