25. 「モーリッツがオットー村側と信じる」「モーリッツは狩人!」
BEL푂푡푡표(BEL푀표푙푖푡푧 Is Otto, VILLAGESIDE ) → BEL푂푡푡표(Is(Molitz, hunter))
Is x, VILLAGESIDE → Is x, HUMAN
Is x, attacked ∩ AX(Is x, live ) → Is x, guarded
「村側なら人間」
BEL푀표푙푖푡푧 Is Otto, HUMAN
「襲撃されて生きてるなら護衛成功」
Is y, HUMAN ∩ Do x, tell, Is(x, seer)
∩ Do x, tell, Is y, HUMAN ∩ (Do ∀z except x, tell, Is(z, seer)
∩ Do z, tell, Is y, wolf ) → Is x, seer
Is Otto, HUMAN
BELy Is x, VILLAGESIDE → BELy(Do y, know, Is x, attacked )
Is Albin, seer
Do Molitz, know, Is Albin, attacked
Is Albin, attacked
AX(Is Albin, live )
Is Albin, guarded
Is x, seer ∩ Do x, tell, Is y, HUMAN → Is x, HUMAN
푟푎푡푖표푛푎푙 푎푐푡: 合理的行動
ℎ푒푢푟푖푠푡푖푐푠: 経験則
BEL푀표푙푖푡푧 Is Albin, seer
Is(x, hunter) ∩ B(Is y, guarded ) ↔ Do(x, know, Is(y, attacked))
푩푬푳푴풐풍풊풕풛
Is x, seer → Is x, VILLAGESIDE
BEL푀표푙푖푡푧 Is Albin, VILLAGESIDE
푩푬푳푶풕풕풐
푓푎푐푡: 事実
푟푢푙푒: 規則からの推論
estimation: 推測
「占い師は嘘付かない」
「2人の占い師の一人が人間を人間と
占ったら、そいつが本物」
「オットーは人間」
「アルビンが占い師」
「占い師は人間」
「アルビンは襲撃されたが生きてた」
「アルビン護衛」
「モーリッツはアルビン人間と考えてる」
「人間と信じてるなら、たぶんその人は襲われたと知ってる」
「アルビン占い師」
「モーリッツはアルビン襲撃されたと知ってる」
「襲撃先を知ってるのは狩人だけ」