深層学習以降のAI研究の流れの中で、特に、基盤モデルにおけるchain of thought promptingやfactual groundingに焦点を当て、基盤モデルが論理的推論などの意識レベルの処理を学習したと言えるかについて考察する。
時間が許せば、深層学習によるpostdictionの可能性等についても論じる。
While utilizing various robots as research tools, we will clarify aspects of human communication and interaction and apply them to the design of social robots. While complementing each other's weaknesses, bring out their strengths!
A characteristic of information processing performed by humans is that it consists of both System 1 that performs fast automatic processing and System 2 that performs slow conscious processing. In this lecture, I will introduce computational models for A) natural language understanding/generation and B) understanding the state of mind from the perspective of Systems 1 and 2, providing an opportunity to think about what intelligence is.
(The lecture is given in Japanese, but most slides are written in English.)
人が行う情報処理の特徴は、自動的な速い処理を行う System 1 と意識的な遅い処理を行う System 2 の両方で成り立っていることである。本講義では、A)自然言語理解/生成、B)心の状態の理解―それぞれの計算モデルをSystem 1, System 2の観点から紹介し、知能とは何かを考えるきっかけを提供する。
(講義は日本語で行いますが、主要なスライドは英語で書かれています。)
Expressing and understanding dialogue act: Is it an explicit or an implicit process?
It must be implicit because:
- The age of acquisition
- Reaction time
Additional evidence
- People tend to give postdictive explanations that are not always correct for what they did.
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人の占い師の一人が人間を人間と
占ったら、そいつが本物」
「オットーは人間」
「アルビンが占い師」
「占い師は人間」
「アルビンは襲撃されたが生きてた」
「襲撃されて生きてるなら護衛成功」
「アルビン護衛」
「村側なら人間」
「モーリッツがオットー村側と信じる」 「モーリッツは狩人!」
「モーリッツはアルビン人間と考えてる」
「人間と信じてるなら、たぶんその人は襲われたと知ってる」
「アルビン占い師」
「モーリッツはアルビン襲撃されたと知ってる」
「襲撃先を知ってるのは狩人だけ」