SlideShare a Scribd company logo
1 of 6
Download to read offline
2020/7/14 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 1/6
HUMANOTE/⾔葉⽅程式の公開問題集
⼀⼈ひとりの⾔葉が、世界のAIたちの思考になる
 ⇒ 世界の多様性と思考の完全性(モレなく考える)への貢献
の機会を⼀⼈ひとりのユーザーに
↓解答と詳しい解説については、電話:090-5347-2931 FAX:076-213-5239 ⼜はメー
ル:info@humanote.xyzにてお問合せください。
問
題
I
D
内容
公開⽇、更
新⽇、等
1
「アイスクリームが好き」
のみとすると
⾔葉⽅程式「アイスクリームが$X」の答え(以後「⾔葉⽅程式の解」とい
う)は何か︖
※1 「$X」は変数(へんすう)と呼ばれ、どんな⾔葉でも、⽂全体でもい
れることができます。
※2 このように変数を⼀つ以上含む問いは「オープンクエスチョン」と呼
ぶことにします。
※3 「のみとする」ような考え⽅(他に知識がない閉じた世界を仮定する
こと)を「閉世界仮説」とよびます。
2020/07/11
2 「アイスクリームが好き」
のみとすると
問い「︖アイスクリームが好き」の答えは︖
2020/07/11
2020/7/14 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 2/6
※1 このように変数(へんすう)がない問いは「クローズドクエスチョ
ン」と呼ばれ、「はい/いいえ」で答えます。
3
【知識リスト】「
アイスクリームが好き
アイスクリームは冷たい
好きなものは$B :- $Aが好き ; $Aは$B ;
」
のみが与えられたとき、
⾔葉⽅程式「好きなものは$X」の答え(解)は︖
※1 「好きなものは$B :- $Aが好き ; $Aは$B ;」のようなものを「ルー
ル」(=「推論規則」)と呼びます。
※2 ルールの中では同じ変数には⼀通りの解釈(ぴったりした答えの割
当)では同じ値(⽂字列)が⼊ります。
※3 複数通りの解釈では複数の値(の組合せ)が⼊る場合もあります。
※4 変数のスコープはそのルールの中だけです。変数の名前は別のルール
には影響しません。
2020/07/13
4
【知識リスト】「
圭介はアイスクリームが好き
アイスクリームは冷たい
$Xが好きなものは$B :- $Xは$Aが好き ; $Aは$B ;
」
のみが与えられたとき、
⾔葉⽅程式「$Xが好きなものは$Y」の答え(解)は︖
※1 「圭介はアイスクリームが好き」等、条件部分が存在しない⽂字列
(「変数」もない)を「事案」と呼びます。
※2 5W1H等が特定された具体的な場⾯に当てはめた「事案」を「事
実」(伝統的なPrologでは「fact」)と呼びます。
※3 事実を⽰す⽂字列の⼀部(部分⽂字列)で表現された固有名詞(例
「圭介」)は、同性同名の⼈たちではなく、同⼀の⼈、物、出来事、等を指
します。
2020/07/13
5 ⾔葉⽅程式において、複数の「事案/事実」と複数の「ルール」を組み合わ
せてできる「根拠ツリー」は、「理論」に近いか︖「論理」に近いか︖
※例えば、以下の【知識リスト】(2-4は事実、5はルール)と【問い】と
【根拠ツリー】があったとします。
【知識リスト】
====================================================
2: 名前はけいすけ
3: 好きな食べ物はカレー
4: カレーはからい
5: 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xは$Y ;
2020/07/13
2020/7/14 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 3/6
====================================================
【問い】
-> ?僕が食べたものは$Y
【根拠ツリー】
====================================================
:$Y = からい
?僕が食べたものは$Y
[5] 僕が食べたものは$Y :- 好きな食べ物は$X ; $Xは$Y ;
-
3 好きな食べ物はカレー
-
4 カレーはからい
=
6
「太郎と次郎と三郎は兄弟」とあるとき「$Aと$Bは兄弟」の解は︖
※1 ⾔葉⽅程式では、このような問題を「多⻑⼀致」を含む問題と呼ぶ。
※2 「多⻑⼀致」は、「⾃由⽂」による思考プログラミング(論理プログ
ラミングを含む)に特徴的な問題である。
2020/07/14
7
「HUMANOTE/⾔葉⽅程式」における思考の完全性と健全性について
例を挙げて説明せよ。
※1 再現率・適合率との関係についても説明があるとなおよい。
※2 偽陰性・偽陽性との関係にも⾔及するとなおよい。
※3 理論と論理の関係と対⽐してふれてもよい。
2020/07/14
8
思考が完全でないと、どのように困ったことになるか。
※逆に完全「すぎる」と、どのように困ったことになりそうか。 2020/07/14
9
思考が健全でないと、どのように困ったことになるか。
※逆に健全「すぎる」と、どのように困ったことになりそうか。 2020/07/14
©2016-2020 ナレルシステム株式会社 All rights reserved.
☆備考
◆授業の例(2017.3.3登録のYoutube動画)
◆情報処理学会2019冬のプログラミングシンポジウム(2020.1.11)
◆HUMANOTEパンフレット⇒ HUMANOTEのみPDF
◆β版ダウンロード(WIN10⽤)⇒ VECTOR
◆全機能マニュアル(更新中β)
◆画⾯例
2020/7/14 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 4/6
< 配布元︓ナレルシステム株式会社
責任者︓中村圭介
問合せ︓keisukebecome@icloud.com FAX:076-213-5239
HP等︓https://knowrel.com
2020/7/14 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 5/6
Q&A
【Q1】
 Prologとの違いは︖
【A1】
 Prologは30年前から勉強⽤に使っており、いまでも⼤変尊敬しております。Prol
ogにおける構成要件(条件⇒効果)の表現や⽂同⼠の単⼀化(変数の束縛、すり合わせ)と同
等のことができないと「論理的な思考」の最も重要な部分(述語論理の基本)のない「偏ったA
I教材」になるのでは︖と個⼈的に考えてきました。
 しかし、Prologの「好き(太郎,花⼦)」という表現は、「太郎は花⼦が好き」等という
⾃然な⽇本語に⽐べて、プログラム⾔語の引数表現や数学の2次⽅程式の解表現に慣れていない
⽅々(⼩学⽣や⼀般の⼤⼈)にとって、あまりなじみのあるものではなく、とにかく事実や規則
を⾃分なりに書いてみることができず、論理プログラミングや論理的思考を普及する妨げになっ
てきたと考えております。
 そこで、「太郎は花⼦が好き」「たろさは花ちゃんにほれぎみ」など、⾃由な「⽂型」と「語
彙」(英語等も可)を許容しつつ、基本的な述語論理を、思考(プログラミング)の⾃由と(形
式的な)健全性に役⽴てられるシステムを⽬指し、10年ぐらい前から開発してきました。
 その他の違いとしましては、「,」、「( )」、「[ ]」、カットオペレータ等を基本的に
使わないため、リスト表現や関数が現状で扱えないこと等です。
 そのかわり、個⼈的価値観や、強い否定(科学的、道徳的禁⽌)、インターネットサイト等か
2020/7/14 HUMANOTEの公開問題集
https://humanote.xyz/WORKBOOK/ 6/6
らの他⼈知識や最新情報の動的な引⽤を容易にしている、等のいろんな⼯夫をしてきました。
 Prologはその考え⽅(ホーン節、単⼀化等)を神のように尊敬しつつも、既存のいかな
るディストリビューション/バージョンのソースコード等も参考にせず、DLL等含め引⽤・流
⽤せずに国内(⽯川県)でゼロから開発しました。

More Related Content

More from Keisuke NAKAMURA

言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3Keisuke NAKAMURA
 
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案Keisuke NAKAMURA
 
ijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_accepttedijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_accepttedKeisuke NAKAMURA
 
米国特許庁への意見書と補正書
米国特許庁への意見書と補正書米国特許庁への意見書と補正書
米国特許庁への意見書と補正書Keisuke NAKAMURA
 
自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現Keisuke NAKAMURA
 
第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違い第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違いKeisuke NAKAMURA
 
自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装Keisuke NAKAMURA
 
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」Keisuke NAKAMURA
 
Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8Keisuke NAKAMURA
 
Humanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-examHumanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-examKeisuke NAKAMURA
 
Personalizing carriculum of personal AI speaker by think-programming
Personalizing carriculum of personal AI speaker by think-programmingPersonalizing carriculum of personal AI speaker by think-programming
Personalizing carriculum of personal AI speaker by think-programmingKeisuke NAKAMURA
 
N tkaga2018 sample_src_code
N tkaga2018 sample_src_codeN tkaga2018 sample_src_code
N tkaga2018 sample_src_codeKeisuke NAKAMURA
 
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモJSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモKeisuke NAKAMURA
 
「自分の心と言葉で考える」練習シート
「自分の心と言葉で考える」練習シート「自分の心と言葉で考える」練習シート
「自分の心と言葉で考える」練習シートKeisuke NAKAMURA
 
emesseKanazawa2018 presented document for general purpose AI
emesseKanazawa2018 presented document for general purpose AIemesseKanazawa2018 presented document for general purpose AI
emesseKanazawa2018 presented document for general purpose AIKeisuke NAKAMURA
 
Humanote3 3 manual 2018.5.20a
Humanote3 3 manual 2018.5.20aHumanote3 3 manual 2018.5.20a
Humanote3 3 manual 2018.5.20aKeisuke NAKAMURA
 
Linked openruleについて for_knowledge_connector2018_01_11_2101
Linked openruleについて for_knowledge_connector2018_01_11_2101Linked openruleについて for_knowledge_connector2018_01_11_2101
Linked openruleについて for_knowledge_connector2018_01_11_2101Keisuke NAKAMURA
 

More from Keisuke NAKAMURA (20)

言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3言葉方程式による論理型プログラミングの例題サンプル1-3
言葉方程式による論理型プログラミングの例題サンプル1-3
 
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
言葉方程式思考プログラミングによる論理的思考力鍛錬のご提案
 
ijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_accepttedijcai2020_submitted_paper_but_not_acceptted
ijcai2020_submitted_paper_but_not_acceptted
 
米国特許庁への意見書と補正書
米国特許庁への意見書と補正書米国特許庁への意見書と補正書
米国特許庁への意見書と補正書
 
自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現自由文思考プログラミング【007】 OR(又は)の一表現
自由文思考プログラミング【007】 OR(又は)の一表現
 
第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違い第2回:自由文思考プログラミングと他との違い
第2回:自由文思考プログラミングと他との違い
 
Humanote s01
Humanote s01Humanote s01
Humanote s01
 
Humanote202012leaflet
Humanote202012leafletHumanote202012leaflet
Humanote202012leaflet
 
自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装自由文思考プログラミング環境における手続的機能の実装
自由文思考プログラミング環境における手続的機能の実装
 
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
NT金沢2019でデモした「少ないデータから法則を学習するオモチャ」
 
Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8Kanazawa ideaconetst2018 8
Kanazawa ideaconetst2018 8
 
Humanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-examHumanote j-tech-startup-summit-2nd-exam
Humanote j-tech-startup-summit-2nd-exam
 
Personalizing carriculum of personal AI speaker by think-programming
Personalizing carriculum of personal AI speaker by think-programmingPersonalizing carriculum of personal AI speaker by think-programming
Personalizing carriculum of personal AI speaker by think-programming
 
N tkaga2018 sample_src_code
N tkaga2018 sample_src_codeN tkaga2018 sample_src_code
N tkaga2018 sample_src_code
 
N tkaga2018
N tkaga2018N tkaga2018
N tkaga2018
 
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモJSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
JSSST2018 poster 日本ソフトウエア科学会第35回大会ポスター&デモ
 
「自分の心と言葉で考える」練習シート
「自分の心と言葉で考える」練習シート「自分の心と言葉で考える」練習シート
「自分の心と言葉で考える」練習シート
 
emesseKanazawa2018 presented document for general purpose AI
emesseKanazawa2018 presented document for general purpose AIemesseKanazawa2018 presented document for general purpose AI
emesseKanazawa2018 presented document for general purpose AI
 
Humanote3 3 manual 2018.5.20a
Humanote3 3 manual 2018.5.20aHumanote3 3 manual 2018.5.20a
Humanote3 3 manual 2018.5.20a
 
Linked openruleについて for_knowledge_connector2018_01_11_2101
Linked openruleについて for_knowledge_connector2018_01_11_2101Linked openruleについて for_knowledge_connector2018_01_11_2101
Linked openruleについて for_knowledge_connector2018_01_11_2101
 

Recently uploaded

東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2Tokyo Institute of Technology
 
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptUniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptyuitoakatsukijp
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024koheioishi1
 
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ssusere0a682
 
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料Takayuki Itoh
 
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学ssusere0a682
 
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationYukiTerazawa
 

Recently uploaded (7)

東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
 
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptUniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
 
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
 
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
 
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
 
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
 

Humanote_言葉方程式の公開問題集