20. 疑念の留保(Suspension of disbelief)
• 演劇を見るときに疑問を持たない
– 疑問を持つほうが認知負荷が低い
Brian R Duffy, Karolina Zawieska, Suspension of Disbelief in Social Robotics,
International Conference on Social Robotics, pp. 484–489, 2012/9.
80. BEL 𝑂𝑡𝑡𝑜
(BEL 𝑀𝑜𝑙𝑖𝑡𝑧
Is Otto, VILLAGESIDE ) → BEL 𝑂𝑡𝑡𝑜
(Is(Molitz, hunter))
Is x, attacked ∩ AX(Is x, live ) → Is x, guarded
Is x, VILLAGESIDE → Is x, HUMAN
Do Molitz, know, Is Albin, attacked
BEL 𝑀𝑜𝑙𝑖𝑡𝑧
Is Otto, HUMAN
BELy
Is x, VILLAGESIDE → BELy
(Do y, know, Is x, 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 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
Is Albin, seer
𝑩𝑬𝑳 𝑴𝒐𝒍𝒊𝒕𝒛
Is x, seer → Is x, VILLAGESIDE
BEL 𝑀𝑜𝑙𝑖𝑡𝑧
Is Albin, VILLAGESIDE
𝑩𝑬𝑳 𝑶𝒕𝒕𝒐
𝑓𝑎𝑐𝑡: 事実
𝑟𝑢𝑙𝑒: 規則からの推論
estimation: 推測
𝑟𝑎𝑡𝑖𝑜𝑛𝑎𝑙 𝑎𝑐𝑡: 合理的行動
ℎ𝑒𝑢𝑟𝑖𝑠𝑡𝑖𝑐𝑠: 経験則
「占い師は嘘付かない」
「2人の占い師の一人が人間を人間と
占ったら、そいつが本物」
「オットーは人間」
「アルビンが占い師」
「占い師は人間」
「アルビンは襲撃されたが生きてた」
「襲撃されて生きてるなら護衛成功」
「アルビン護衛」
「村側なら人間」
「モーリッツがオットー村側と信じる」 「モーリッツは狩人!」
「モーリッツはアルビン人間と考えてる」
「人間と信じてるなら、たぶんその人は襲われたと知ってる」
「アルビン占い師」
「モーリッツはアルビン襲撃されたと知ってる」
「襲撃先を知ってるのは狩人だけ」